printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / mainboard / amd / mahogany_fam10 / fadt.c
index e4b0db0ed926ed407c1c9496d833f387da280b81..962273b4464463655b1fda57fc332606f5580ec6 100644 (file)
@@ -46,7 +46,7 @@ void acpi_create_fadt(acpi_fadt_t * fadt, acpi_facs_t * facs, void *dsdt)
        acpi_header_t *header = &(fadt->header);
 
        pm_base &= 0xFFFF;
-       printk_debug("pm_base: 0x%04x\n", pm_base);
+       printk(BIOS_DEBUG, "pm_base: 0x%04x\n", pm_base);
 
        /* Prepare the header */
        memset((void *)fadt, 0, sizeof(acpi_fadt_t));