x86: Report TSC skew on boot at higher log level.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/arch/x86/smpboot.c b/xen/arch/x86/smpboot.c
index 6721b9f6c53de2f173c31d21ccb06118da36df2b..536ec12d5ae72b10dfff7942f9fa44f69a3aa4ff 100644 (file)
--- a/xen/arch/x86/smpboot.c
+++ b/xen/arch/x86/smpboot.c
@@ -195,7 +195,7 @@ static void __init synchronize_tsc_bp (void)
        unsigned int one_usec;
        int buggy = 0;
 
-       printk(KERN_INFO "checking TSC synchronization across %u CPUs: ", num_booting_cpus());
+       printk("checking TSC synchronization across %u CPUs: ", num_booting_cpus());
 
        /* convert from kcyc/sec to cyc/usec */
        one_usec = cpu_khz / 1000;
@@ -274,7 +274,7 @@ static void __init synchronize_tsc_bp (void)
                        if (tsc_values[i] < avg)
                                realdelta = -realdelta;
 
-                       printk(KERN_INFO "CPU#%d had %ld usecs TSC skew, fixed it up.\n", i, realdelta);
+                       printk("CPU#%d had %ld usecs TSC skew, fixed it up.\n", i, realdelta);
                }
 
                sum += delta;