x86/cpu: Print CPU Family/Vendor infomation in both decimal and hexidecimal

Different manuals use different representations.

A new sample looks like:

(XEN) CPU Vendor: Intel, Family 6 (0x6), Model 60 (0x3c), Stepping 3 (raw 000306c3)

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Jan Beulich <JBeulich@suse.com>

diff --git a/xen/arch/x86/cpu/common.c b/xen/arch/x86/cpu/common.c
index a5cfe5299b3fdf8630c1c28437e8f70e56658a70..3475198845a3dfdc13ed2afacb0365acb3c3cb1e 100644 (file)
--- a/xen/arch/x86/cpu/common.c
+++ b/xen/arch/x86/cpu/common.c
@@ -238,8 +238,9 @@ static void __init early_cpu_detect(void)
        c->x86_capability[cpufeat_word(X86_FEATURE_SSE3)] = ecx;
 
        printk(XENLOG_INFO
-              "CPU Vendor: %s, Family %u, Model %u, Stepping %u (raw %08x)\n",
-              this_cpu->c_vendor, c->x86, c->x86_model, c->x86_mask, eax);
+              "CPU Vendor: %s, Family %u (%#x), Model %u (%#x), Stepping %u (raw %08x)\n",
+              this_cpu->c_vendor, c->x86, c->x86,
+              c->x86_model, c->x86_model, c->x86_mask, eax);
 
        eax = cpuid_eax(0x80000000);
        if ((eax >> 16) == 0x8000 && eax >= 0x80000008) {