pci stuff: too much hax now, trying rd890 patch (not merged yet)

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

diff --git a/src/devices/pci_ops.c b/src/devices/pci_ops.c
index 07da30034ffffeeef29dcadc5797b9cefa30c5be..2dae50e4eb86d97e0eafe142e9a5be12bf3b08cb 100644 (file)
--- a/src/devices/pci_ops.c
+++ b/src/devices/pci_ops.c
@@ -78,6 +78,7 @@ u16 pci_read_config16(device_t dev, unsigned int where)
 u32 pci_read_config32(device_t dev, unsigned int where)
 {
        struct bus *pbus = get_pbus(dev);
+       printk(BIOS_INFO, "%s: ops_pci_bus(pbus)->read32: 0x%08x\n", __func__, (unsigned int) ops_pci_bus(pbus)->read32);
        return ops_pci_bus(pbus)->read32(pbus, dev->bus->secondary,
                                         dev->path.pci.devfn, where);
 }