printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / cpu / amd / model_10xxx / model_10xxx_init.c
index 6ef1f42471391f8822f9d2021820c16c8a725632..407121d2d8a5e92f2e6e6bde17c6ced89fd2d43f 100644 (file)
@@ -77,7 +77,7 @@ void model_10xxx_init(device_t dev)
 #endif
 
        id = get_node_core_id(read_nb_cfg_54()); /* nb_cfg_54 can not be set */
-       printk_debug("nodeid = %02d, coreid = %02d\n", id.nodeid, id.coreid);
+       printk(BIOS_DEBUG, "nodeid = %02d, coreid = %02d\n", id.nodeid, id.coreid);
 
        /* Turn on caching if we haven't already */
        x86_enable_cache();
@@ -114,7 +114,7 @@ void model_10xxx_init(device_t dev)
                msr.hi |= 1 << (33-32);
                wrmsr_amd(CPU_ID_EXT_FEATURES_MSR, msr);
        }
-       printk_debug("siblings = %02d, ", siblings);
+       printk(BIOS_DEBUG, "siblings = %02d, ", siblings);
 #endif
 
        /* DisableCf8ExtCfg */