PCI_BRIDGE_PREFETCHBASEUP32_REG
PCI_BRIDGE_PREFETCHBASEUP32_REG, (pcireg_t) ~0);
PCI_BRIDGE_PREFETCHBASEUP32_REG);
base_h = regs[o2i(PCI_BRIDGE_PREFETCHBASEUP32_REG)];
PCI_BRIDGE_PREFETCHBASEUP32_REG, mem_base & 0xffffffff);
PCI_BRIDGE_PREFETCHBASEUP32_REG) << 32;