static uint32_t pci_conf1_read_config32(struct bus *pbus, int bus, int devfn,
int where)
{
+ printk(BIOS_INFO, "%s: bus: 0x%2x, devfn: 0x%2x, where: 0x%2x\n", __func__, bus, devfn, where);
outl(CONFIG_CMD(bus, devfn, where), 0xCF8);
return inl(0xCFC);
}