Symbol: IOMMU_CTX2TTE
usr/src/uts/sun4u/io/pci/pci_dma.c
1034
tte |= IOMMU_CTX2TTE(ctx);
usr/src/uts/sun4u/io/pci/pci_dma.c
946
tte |= IOMMU_CTX2TTE(ctx);