Symbol: iommu_ctx_free
usr/src/uts/sun4u/io/pci/pcisch.c
1248
iommu_ctx_free(iommu_p);
usr/src/uts/sun4u/io/pci/pcisch.c
65
static void iommu_ctx_free(iommu_t *);