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