Searched refs:SGX_CPUID (Results 1 – 2 of 2) sorted by relevance
37 #define SGX_CPUID 0x12 macro
1071 cpuid_count(SGX_CPUID, 0x2, cp); in sgx_get_epc_area()