__rlookup_amd_iommu
return __rlookup_amd_iommu(seg, PCI_SBDF_TO_DEVID(devid));
iommu = __rlookup_amd_iommu(seg, devid);
iommu = __rlookup_amd_iommu((devid >> 16), (devid & 0xffff));