|
@@ -1023,14 +1023,16 @@ void __cpuinit print_cpu_info(struct cpuinfo_x86 *c)
|
|
|
printk(KERN_CONT "%s ", vendor);
|
|
|
|
|
|
if (c->x86_model_id[0])
|
|
|
- printk(KERN_CONT "%s", c->x86_model_id);
|
|
|
+ printk(KERN_CONT "%s", strim(c->x86_model_id));
|
|
|
else
|
|
|
printk(KERN_CONT "%d86", c->x86);
|
|
|
|
|
|
+ printk(KERN_CONT " (fam: %02x, model: %02x", c->x86, c->x86_model);
|
|
|
+
|
|
|
if (c->x86_mask || c->cpuid_level >= 0)
|
|
|
- printk(KERN_CONT " stepping %02x\n", c->x86_mask);
|
|
|
+ printk(KERN_CONT ", stepping: %02x)\n", c->x86_mask);
|
|
|
else
|
|
|
- printk(KERN_CONT "\n");
|
|
|
+ printk(KERN_CONT ")\n");
|
|
|
|
|
|
print_cpu_msr(c);
|
|
|
}
|