printk_foo -> printk(BIOS_FOO, ...)

[coreboot.git] / src / mainboard / amd / dbm690t / fadt.c

diff --git a/src/mainboard/amd/dbm690t/fadt.c b/src/mainboard/amd/dbm690t/fadt.c
index e7bc017bbd5a496b308c8e98b470c28beb408844..5d28790b4d60c20ff882dafc870c79a0665f3ac4 100644 (file)
--- a/src/mainboard/amd/dbm690t/fadt.c
+++ b/src/mainboard/amd/dbm690t/fadt.c
@@ -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));