PCI_MAPREG_MEM64_ADDR  237 dev/pci/pci_map.c 			*basep = PCI_MAPREG_MEM64_ADDR(waddress);
PCI_MAPREG_MEM64_ADDR  427 dev/pci/pcireg.h 	    (PCI_MAPREG_MEM64_ADDR(mr) & -PCI_MAPREG_MEM64_ADDR(mr))