VRC4173BCU_BADR
if (pci_mapreg_map(pa, VRC4173BCU_BADR, PCI_MAPREG_TYPE_IO, 0,
csr = pci_conf_read(pc, tag, VRC4173BCU_BADR);