PCI_BRIDGE_MEMORY_ADDR
__SHIFTIN((start >> 16) & PCI_BRIDGE_MEMORY_ADDR,
& PCI_BRIDGE_MEMORY_ADDR, PCI_BRIDGE_MEMORY_LIMIT));
mem = __SHIFTIN((mem_base >> 16) & PCI_BRIDGE_MEMORY_ADDR,
mem |= __SHIFTIN((mem_limit >> 16) & PCI_BRIDGE_MEMORY_ADDR,
& PCI_BRIDGE_MEMORY_ADDR) << 16)
& PCI_BRIDGE_MEMORY_ADDR) << 16) | 0x000fffff)