PCI_MAPREG_MEM64_ADDR
*basep = PCI_MAPREG_MEM64_ADDR(waddress);
(PCI_MAPREG_MEM64_ADDR(addr) >> 32);
addr = PCI_MAPREG_MEM64_ADDR(
PCI_MAPREG_MEM64_ADDR(
(PCI_MAPREG_MEM64_ADDR(pm->address) >> 32);
addr = (uint64_t)PCI_MAPREG_MEM64_ADDR(
(PCI_MAPREG_MEM64_ADDR(mr) & -PCI_MAPREG_MEM64_ADDR(mr))