1 comment:
File src/cpu/intel/model_6xx/model_6xx_init.c:
if ((dev->device & 0x0ff0) == 0x0680 || (dev->device & 0x0ff0) == 0x06b0) {
char processor_name[49];
fill_processor_name(processor_name);
printk(BIOS_INFO, "CPU: %s.\n", processor_name);
}
I don't think it makes sense to print the processor name on just these CPU's. One could just check in fill_processor_name() if CPUID.EAX=0x80000004 is supported and change the return type to report fail/success.
To view, visit change 44241. To unsubscribe, or for help writing mail filters, visit settings.