Searched refs:sgx_epc_above_4g_end (Results 1 – 2 of 2) sorted by relevance
65 static inline uint64_t sgx_epc_above_4g_end(SGXEPCState *sgx_epc) in sgx_epc_above_4g_end() function
684 return sgx_epc_above_4g_end(&pcms->sgx_epc); in pc_above_4g_end()