PCIR_BAR
return (coff >= PCIR_BAR(0) && coff < PCIR_BAR(PCI_BARMAX + 1));
idx = (coff - PCIR_BAR(0)) / 4;
pci_set_cfgdata32(pdi, PCIR_BAR(idx), bar);
pci_set_cfgdata32(pdi, PCIR_BAR(idx + 1), bar >> 32);
uint8_t lobits = passthru_read_config(sc, PCIR_BAR(i), 0x01);