PCI_BRIDGE_IOHIGH_REG
pci_conf_write(NULL, starttag, PCI_BRIDGE_IOHIGH_REG, val);
pci_conf_read(NULL, starttag, PCI_BRIDGE_IOHIGH_REG));
PCI_BRIDGE_IOHIGH_REG,
pci_conf_read(pc, tag, PCI_BRIDGE_IOHIGH_REG));
reshigh = pci_conf_read(pc, tag, PCI_BRIDGE_IOHIGH_REG);
rval = regs[o2i(PCI_BRIDGE_IOHIGH_REG)];
pci_conf_write(pb->pc, pd->tag, PCI_BRIDGE_IOHIGH_REG, iohigh);
PCI_BRIDGE_IOHIGH_REG);
PCI_BRIDGE_IOHIGH_REG);