Searched refs:tcs_page (Results 1 – 3 of 3) sorted by relevance
74 uint64_t tcs_page; member
73 void *tcs = (void *)op->tcs_page; in do_encl_init_tcs_page()
1362 init_tcs_page_op.tcs_page = (unsigned long)tcs; in TEST_F()