extended_max       54 arch/i386/stand/libsa/cpuprobe.c 	u_int32_t cpuid_max, extended_max;
extended_max      107 arch/i386/stand/libsa/cpuprobe.c 		extended_max = cpuid(0x80000000, regs);	/* Highest ext  */
extended_max      109 arch/i386/stand/libsa/cpuprobe.c 		if (extended_max >= 0x80000001) {
extended_max      117 arch/i386/stand/libsa/cpuprobe.c 		if (extended_max >= 0x80000004) {