1996 	unsigned int eax, ebx, ecx, edx, max_level;  in check_cpuid()  local
1999 	eax = ebx = ecx = edx = 0;  in check_cpuid()
2001 	__get_cpuid(0, &max_level, &ebx, &ecx, &edx);  in check_cpuid()
2003 	if (ebx == 0x756e6547 && edx == 0x49656e69 && ecx == 0x6c65746e)  in check_cpuid()
2008 			(char *)&ebx, (char *)&edx, (char *)&ecx);  in check_cpuid()
2010 	__get_cpuid(1, &fms, &ebx, &ecx, &edx);  in check_cpuid()
2029 	ebx = ecx = edx = 0;  in check_cpuid()
2030 	__get_cpuid(0x80000000, &max_level, &ebx, &ecx, &edx);  in check_cpuid()
2039 	__get_cpuid(0x80000007, &eax, &ebx, &ecx, &edx);  in check_cpuid()
2050 	__get_cpuid(0x6, &eax, &ebx, &ecx, &edx);  in check_cpuid()
2051 	has_aperf = ecx & (1 << 0);  in check_cpuid()
2054 	has_epb = ecx & (1 << 3);  in check_cpuid()