printk_foo -> printk(BIOS_FOO, ...)

[coreboot.git] / src / devices / pcix_device.c

diff --git a/src/devices/pcix_device.c b/src/devices/pcix_device.c
index a1788920f9181e8802584c0bf89789d9fcf875c4..e6147c9ba89c01951d8c3bbb21f1f6fec0c3b9d9 100644 (file)
--- a/src/devices/pcix_device.c
+++ b/src/devices/pcix_device.c
@@ -38,7 +38,7 @@ static void pcix_tune_dev(device_t dev)
        if (!cap) {
                return;
        }
-       printk_debug("%s PCI-X tuning\n", dev_path(dev));
+       printk(BIOS_DEBUG, "%s PCI-X tuning\n", dev_path(dev));
        status = pci_read_config32(dev, cap + PCI_X_STATUS);
        orig_cmd = cmd = pci_read_config16(dev,cap + PCI_X_CMD);
 
@@ -135,7 +135,7 @@ unsigned int pcix_scan_bridge(device_t dev, unsigned int max)
        }
 
        /* Print the PCI-X bus speed */
-       printk_debug("PCI: %02x: %s\n", dev->link[0].secondary, pcix_speed(sstatus));
+       printk(BIOS_DEBUG, "PCI: %02x: %s\n", dev->link[0].secondary, pcix_speed(sstatus));
 
        return max;
 }