1 #include <cpuid.h> 2 3 int main(void) 4 { 5 unsigned int eax = 0, ebx = 0, ecx = 0, edx = 0; 6 return __get_cpuid(0x15, &eax, &ebx, &ecx, &edx); 7 } 8