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()
2703 	if (!(edx & (1 << 5)))  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()
2721 		has_invariant_tsc = edx & (1 << 8);  in process_cpuid()
2729 	__get_cpuid(0x6, &eax, &ebx, &ecx, &edx);  in process_cpuid()
2749 		eax_crystal = ebx_tsc = crystal_hz = edx = 0;  in process_cpuid()
2750 		__get_cpuid(0x15, &eax_crystal, &ebx_tsc, &crystal_hz, &edx);  in process_cpuid()