Searched refs:SGX_CPUID_EPC_INVALID (Results 1 – 3 of 3) sorted by relevance
24 #define SGX_CPUID_EPC_INVALID 0x0 macro
804 if (type == SGX_CPUID_EPC_INVALID) in sgx_page_cache_init()
338 if (type == SGX_CPUID_EPC_INVALID) in get_total_epc_mem()