2678 	unsigned int eax, ebx, ecx, edx, max_level;  in process_cpuid()  local
2681 	eax = ebx = ecx = edx = 0;  in process_cpuid()
2683 	__get_cpuid(0, &max_level, &ebx, &ecx, &edx);  in process_cpuid()
2685 	if (ebx == 0x756e6547 && edx == 0x49656e69 && ecx == 0x6c65746e)  in process_cpuid()
2690 			(char *)&ebx, (char *)&edx, (char *)&ecx);  in process_cpuid()
2692 	__get_cpuid(1, &fms, &ebx, &ecx, &edx);  in process_cpuid()
2711 	ebx = ecx = edx = 0;  in process_cpuid()
2712 	__get_cpuid(0x80000000, &max_level, &ebx, &ecx, &edx);  in process_cpuid()
2720 		__get_cpuid(0x80000007, &eax, &ebx, &ecx, &edx);  in process_cpuid()
2729 	__get_cpuid(0x6, &eax, &ebx, &ecx, &edx);  in process_cpuid()
2754 			if (debug && (ebx != 0))  in process_cpuid()