printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / mainboard / asus / p2b-ds / mptable.c
index 22aa0a59ae6056c95bf05ff22ee48f13d191b346..e5bfdcd3a75cf5a7d17e1524ed2a06a7e45d5ad6 100644 (file)
@@ -146,7 +146,7 @@ void *smp_write_config_table(void *v)
        mc->mpe_checksum =
            smp_compute_checksum(smp_next_mpc_entry(mc), mc->mpe_length);
        mc->mpc_checksum = smp_compute_checksum(mc, mc->mpc_length);
-       printk_debug("Wrote the mp table end at: %p - %p\n",
+       printk(BIOS_DEBUG, "Wrote the mp table end at: %p - %p\n",
                     mc, smp_next_mpe_entry(mc));
        return smp_next_mpe_entry(mc);
 }