2572 	unsigned int eax, ebx, ecx, edx, max_level;  in process_cpuid()  local
2575 	eax = ebx = ecx = edx = 0;  in process_cpuid()
2577 	__get_cpuid(0, &max_level, &ebx, &ecx, &edx);  in process_cpuid()
2579 	if (ebx == 0x756e6547 && edx == 0x49656e69 && ecx == 0x6c65746e)  in process_cpuid()
2584 			(char *)&ebx, (char *)&edx, (char *)&ecx);  in process_cpuid()
2586 	__get_cpuid(1, &fms, &ebx, &ecx, &edx);  in process_cpuid()
2605 	ebx = ecx = edx = 0;  in process_cpuid()
2606 	__get_cpuid(0x80000000, &max_level, &ebx, &ecx, &edx);  in process_cpuid()
2614 		__get_cpuid(0x80000007, &eax, &ebx, &ecx, &edx);  in process_cpuid()
2623 	__get_cpuid(0x6, &eax, &ebx, &ecx, &edx);  in process_cpuid()
2648 			if (debug && (ebx != 0))  in process_cpuid()