@@ -373,7 +373,7 @@ static unsigned long quick_pit_calibrate(void)
goto success;
}
}
- printk("Fast TSC calibration failed\n");
+ printk(KERN_WARNING "Fast TSC calibration failed\n");
return 0;
success:
@@ -395,7 +395,7 @@ success:
delta += (long)(d2 - d1)/2;
delta *= PIT_TICK_RATE;
do_div(delta, i*256*1000);
- printk("Fast TSC calibration using PIT\n");
+ printk(KERN_INFO "Fast TSC calibration using PIT\n");
return delta;
}
@@ -518,7 +518,8 @@ unsigned long native_calibrate_tsc(void)
/* We don't have an alternative source, disable TSC */
if (!hpet && !ref1 && !ref2) {
- printk("TSC: No reference (HPET/PMTIMER) available\n");
+ printk(KERN_WARNING
+ "TSC: No reference (HPET/PMTIMER) available\n");
return 0;
}
@@ -1002,7 +1003,7 @@ void __init tsc_init(void)
return;
}
- printk("Detected %lu.%03lu MHz processor.\n",
+ printk(KERN_INFO "Detected %lu.%03lu MHz processor.\n",
(unsigned long)cpu_khz / 1000,
(unsigned long)cpu_khz % 1000);
@@ -376,7 +376,7 @@ void __init efi_init(void)
if (config_tables == NULL)
printk(KERN_ERR "Could not map EFI Configuration Table!\n");
- printk(KERN_INFO);
+ printk(KERN_INFO " ");
for (i = 0; i < efi.systab->nr_tables; i++) {
if (!efi_guidcmp(config_tables[i].guid, MPS_TABLE_GUID)) {
efi.mps = config_tables[i].table;