PCI_SBDF_TO_DEVID
devid = PCI_SBDF_TO_DEVID(sbdf_shadow);
devid = PCI_SBDF_TO_DEVID(sbdf_shadow);
devid = PCI_SBDF_TO_DEVID(sbdf_shadow);
devid = PCI_SBDF_TO_DEVID(sbdf);
return __rlookup_amd_iommu(seg, PCI_SBDF_TO_DEVID(devid));
devid = PCI_SBDF_TO_DEVID(sbdf);
devid = PCI_SBDF_TO_DEVID(sbdf);
devid = PCI_SBDF_TO_DEVID(sbdf);
devid = PCI_SBDF_TO_DEVID(sbdf);