Searched refs:SGXEPCState (Results 1 – 5 of 5) sorted by relevance
51 typedef struct SGXEPCState { struct59 } SGXEPCState; argument65 static inline uint64_t sgx_epc_above_4g_end(SGXEPCState *sgx_epc) in sgx_epc_above_4g_end()
59 SGXEPCState sgx_epc;
32 memset(&pcms->sgx_epc, 0, sizeof(SGXEPCState)); in pc_machine_init_sgx_epc()
298 SGXEPCState *sgx_epc = &pcms->sgx_epc; in pc_machine_init_sgx_epc()302 memset(sgx_epc, 0, sizeof(SGXEPCState)); in pc_machine_init_sgx_epc()
56 SGXEPCState *sgx_epc = &pcms->sgx_epc; in sgx_epc_realize()