Searched defs:sgx_epc (Results 1 – 4 of 4) sorted by relevance
65 static inline uint64_t sgx_epc_above_4g_end(SGXEPCState *sgx_epc) in sgx_epc_above_4g_end()
59 SGXEPCState sgx_epc; member
56 SGXEPCState *sgx_epc = &pcms->sgx_epc; in sgx_epc_realize() local
298 SGXEPCState *sgx_epc = &pcms->sgx_epc; in pc_machine_init_sgx_epc() local