max_intel_level    89 arch/x86/boot/cpuflags.c 	u32 max_intel_level, max_amd_level;
max_intel_level   101 arch/x86/boot/cpuflags.c 		cpuid(0x0, &max_intel_level, &cpu_vendor[0], &cpu_vendor[2],
max_intel_level   104 arch/x86/boot/cpuflags.c 		if (max_intel_level >= 0x00000001 &&
max_intel_level   105 arch/x86/boot/cpuflags.c 		    max_intel_level <= 0x0000ffff) {
max_intel_level   115 arch/x86/boot/cpuflags.c 		if (max_intel_level >= 0x00000007) {