pci_mapbase
base = pci_mapbase(map);
if (base == 0 || base == pci_mapbase(testval)) {
if (pci_mapbase(pci_read_config(dev, PCIR_BAR(0), 4)) &&
pci_mapbase(pci_read_config(dev, PCIR_BAR(2), 4))) {
if (pci_mapbase(testval) == 0)
testval = pci_mapbase(testval);
static uint32_t pci_mapbase(unsigned mapreg);