PCI_BRIDGE_IOHIGH_BASE
baseh = __SHIFTOUT(iohigh, PCI_BRIDGE_IOHIGH_BASE);
iostart |= __SHIFTOUT(reshigh, PCI_BRIDGE_IOHIGH_BASE) << 16;
base_h = PCIREG_SHIFTOUT(rval, PCI_BRIDGE_IOHIGH_BASE);
iohigh = __SHIFTIN(io_base >> 16, PCI_BRIDGE_IOHIGH_BASE) |
base |= __SHIFTOUT(reg, PCI_BRIDGE_IOHIGH_BASE) << 16;