Searched refs:SGX_CPUID_EPC_SECTION (Results 1 – 3 of 3) sorted by relevance
26 #define SGX_CPUID_EPC_SECTION 0x1 macro
805 if (type != SGX_CPUID_EPC_SECTION) { in sgx_page_cache_init()
341 if (type != SGX_CPUID_EPC_SECTION) in get_total_epc_mem()