printk_foo -> printk(BIOS_FOO, ...)

[coreboot.git] / src / southbridge / via / vt8231 / vt8231_acpi.c

diff --git a/src/southbridge/via/vt8231/vt8231_acpi.c b/src/southbridge/via/vt8231/vt8231_acpi.c
index 87c5e876fd03ca5f34c4f577c100551eccbe6722..6cbf4c591f19b7da19165f93bf5ae294ade03542 100644 (file)
--- a/src/southbridge/via/vt8231/vt8231_acpi.c
+++ b/src/southbridge/via/vt8231/vt8231_acpi.c
@@ -6,7 +6,7 @@
 
 static void acpi_init(struct device *dev)
 {
-       printk_debug("Configuring VIA ACPI\n");
+       printk(BIOS_DEBUG, "Configuring VIA ACPI\n");
 
        // Set ACPI base address to IO 0x4000
        pci_write_config32(dev, 0x48, 0x4001);