Lines Matching refs:uint64_t
28 uint64_t reserved0; /* 0x0000 */
37 uint64_t plaint_att_flags; /* 0x0030 */
52 static void test_attest_v1(uint64_t page) in test_attest_v1()
83 uvcb.arcb_addr = (uint64_t)&attest_req->arcb; in test_attest_v1()
84 uvcb.measurement_address = (uint64_t)attest_req->measurement; in test_attest_v1()
86 uvcb.add_data_address = (uint64_t)attest_req->additional; in test_attest_v1()
90 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
95 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
100 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
107 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
112 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
122 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
127 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
136 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
139 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
144 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
149 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
153 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
157 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
162 cc = uv_call(0, (uint64_t)&uvcb); in test_attest_v1()
170 static void test_attest(uint64_t page) in test_attest()
185 cc = uv_call(0, (uint64_t)&uvcb); in test_attest()
190 cc = uv_call(0, (uint64_t)&uvcb); in test_attest()
198 uint64_t page; in main()
217 page = (uint64_t)alloc_page(); in main()