SGX_CPUID_EPC - Linux

Symbol: SGX_CPUID_EPC

arch/x86/kernel/cpu/sgx/main.c

cpuid_count(SGX_CPUID, i + SGX_CPUID_EPC, &eax, &ebx, &ecx, &edx);

tools/testing/selftests/sgx/main.c

__cpuid_count(SGX_CPUID, section + SGX_CPUID_EPC, eax, ebx, ecx, edx);