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()
2597 	if (!(edx & (1 << 5)))  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()
2615 		has_invariant_tsc = edx & (1 << 8);  in process_cpuid()
2623 	__get_cpuid(0x6, &eax, &ebx, &ecx, &edx);  in process_cpuid()
2643 		eax_crystal = ebx_tsc = crystal_hz = edx = 0;  in process_cpuid()
2644 		__get_cpuid(0x15, &eax_crystal, &ebx_tsc, &crystal_hz, &edx);  in process_cpuid()