printk_foo -> printk(BIOS_FOO, ...)

[coreboot.git] / src / mainboard / msi / ms7135 / get_bus_conf.c

diff --git a/src/mainboard/msi/ms7135/get_bus_conf.c b/src/mainboard/msi/ms7135/get_bus_conf.c
index 90fa0842178e9e4bcb1fdfa09b976b643969020a..a63c803b8e20fbab1fea0c00f674d5b53d1bc814 100644 (file)
--- a/src/mainboard/msi/ms7135/get_bus_conf.c
+++ b/src/mainboard/msi/ms7135/get_bus_conf.c
@@ -111,8 +111,8 @@ void get_bus_conf(void)
                        for (j = bus_ck804[i]; j < bus_isa; j++)
                                bus_type[j] = 1;
                } else {
-                       printk_debug
-                           ("ERROR - could not find PCI %02x:%02x.0, using defaults\n",
+                       printk
+                           (BIOS_DEBUG, "ERROR - could not find PCI %02x:%02x.0, using defaults\n",
                             bus_ck804[0], sbdn + dn);
                        bus_isa = bus_ck804[i - 1] + 1;
                }