SGX_CPUID
cpuid_count(SGX_CPUID, 0, &eax, &ebx, &ecx, &edx);
cpuid_count(SGX_CPUID, 1, &eax, &ebx, &ecx, &edx);
cpuid_count(SGX_CPUID, i + SGX_CPUID_EPC, &eax, &ebx, &ecx, &edx);
__cpuid_count(SGX_CPUID, section + SGX_CPUID_EPC, eax, ebx, ecx, edx);
__cpuid_count(SGX_CPUID, 0x0, eax, ebx, ecx, edx);