pci_iommu_get_dvma_context
if (ctx = pci_iommu_get_dvma_context(iommu_p, dvma_pg_index)) {
extern dvma_context_t pci_iommu_get_dvma_context(iommu_t *iommu_p,