printk_foo -> printk(BIOS_FOO, ...)

[coreboot.git] / src / cpu / intel / model_6ex / model_6ex_init.c

diff --git a/src/cpu/intel/model_6ex/model_6ex_init.c b/src/cpu/intel/model_6ex/model_6ex_init.c
index d056bda733ea8d71329957ace96218cdef952129..f879f348693c5df99414a90f3f0f02e572e85b0e 100644 (file)
--- a/src/cpu/intel/model_6ex/model_6ex_init.c
+++ b/src/cpu/intel/model_6ex/model_6ex_init.c
@@ -200,7 +200,7 @@ static void model_6ex_init(device_t cpu)
 
        /* Print processor name */
        fill_processor_name(processor_name);
-       printk_info("CPU: %s.\n", processor_name);
+       printk(BIOS_INFO, "CPU: %s.\n", processor_name);
 
 #if CONFIG_USBDEBUG_DIRECT
        // Is this caution really needed?