range_addr_phys_to_pci
uint64_t range_addr_phys_to_pci(struct pcie_range *, uint64_t);
start = range_addr_phys_to_pci(sc->ranges, start);