printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / mainboard / intel / xe7501devkit / mptable.c
index 0da0676d3536da3b5a690f329bef1ad171f0b05a..6d911049bd2712c9cce69ccc581f8b18fa95217e 100644 (file)
@@ -167,7 +167,7 @@ void* smp_write_config_table(void* v)
        /* Compute the checksums */
        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", mc, smp_next_mpe_entry(mc));
+       printk(BIOS_DEBUG, "Wrote the mp table end at: %p - %p\n", mc, smp_next_mpe_entry(mc));
 
        return smp_next_mpe_entry(mc);
 }