pci_iommu_free_dvma_context
pci_iommu_free_dvma_context(iommu_p, MP2CTX(mp));
extern void pci_iommu_free_dvma_context(iommu_t *iommu_p, dvma_context_t ctx);