PCI_BRIDGE_PREFETCHLIMITUP32_REG
PCI_BRIDGE_PREFETCHLIMITUP32_REG, (pcireg_t) 0);
PCI_BRIDGE_PREFETCHLIMITUP32_REG);
limit_h = regs[o2i(PCI_BRIDGE_PREFETCHLIMITUP32_REG)];
PCI_BRIDGE_PREFETCHLIMITUP32_REG, mem_limit & 0xffffffff);
PCI_BRIDGE_PREFETCHLIMITUP32_REG) << 32;