printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / southbridge / ti / pci7420 / pci7420_firewire.c
index 01ca4878f77597bcf9b11e36352714426be1d278..4d855b30b58edf860fe43bc475eba7c783862ff8 100644 (file)
@@ -32,7 +32,7 @@ static void pci7420_firewire_init(device_t dev)
 {
        u8 reg8;
 
-       printk_debug("TI PCI7420/7620 FireWire init\n");
+       printk(BIOS_DEBUG, "TI PCI7420/7620 FireWire init\n");
 
 #ifdef ODD_IRQ_FIXUP
        /* This is a workaround for buggy kernels. This should