printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / cpu / amd / model_10xxx / update_microcode.c
index a24b83d42ea8afb75bf9b9c0616eca59eaf9ecf3..85b1aa84bfd92ab5b980cac0656f76353a1681b4 100644 (file)
@@ -97,7 +97,7 @@ void update_microcode(u32 cpu_deviceid)
        if (equivalent_processor_rev_id != 0) {
                amd_update_microcode((void *) microcode_updates, equivalent_processor_rev_id);
        } else {
-               printk_debug("microcode: rev id not found. Skipping microcode patch!\n");
+               printk(BIOS_DEBUG, "microcode: rev id not found. Skipping microcode patch!\n");
        }
 
 }