RES_TO_U32_HIGH
RES_TO_U32_HIGH(port->cfg_space.start));
RES_TO_U32_HIGH(port->utl_regs.start));
lah = RES_TO_U32_HIGH(plb_addr);
pciah = RES_TO_U32_HIGH(pci_addr);
out_le32(mbase + PECFG_BAR0HMPA, RES_TO_U32_HIGH(sa));
out_le32(mbase + PECFG_PIM01SAH, RES_TO_U32_HIGH(sa));
out_le32(mbase + PCI_BASE_ADDRESS_1, RES_TO_U32_HIGH(ep_addr));
out_le32(mbase + PECFG_BAR0HMPA, RES_TO_U32_HIGH(sa));
out_le32(mbase + PCI_BASE_ADDRESS_1, RES_TO_U32_HIGH(res->start));
pciha = RES_TO_U32_HIGH(pci_addr);
lah = RES_TO_U32_HIGH(plb_addr);
pciah = RES_TO_U32_HIGH(pci_addr);