Searched refs:SGX_CPUID (Results 1 – 3 of 3) sorted by relevance
| /linux/arch/x86/kernel/cpu/sgx/ |
| A D | driver.c | 156 cpuid_count(SGX_CPUID, 0, &eax, &ebx, &ecx, &edx); in sgx_drv_init()
165 cpuid_count(SGX_CPUID, 1, &eax, &ebx, &ecx, &edx); in sgx_drv_init()
|
| A D | main.c | 685 cpuid_count(SGX_CPUID, i + SGX_CPUID_EPC, &eax, &ebx, &ecx, &edx); in sgx_page_cache_init()
|
| /linux/arch/x86/include/asm/ |
| A D | sgx.h | 20 #define SGX_CPUID 0x12 macro
|
Completed in 7 milliseconds