Symbol: TTE_IS_INVALID
usr/src/uts/sun4u/io/pci/pci_dma.c
955
ASSERT(TTE_IS_INVALID(tte_addr[i]));
usr/src/uts/sun4u/io/pci/pci_iommu.c
290
ASSERT(TTE_IS_INVALID(*tte_addr));
usr/src/uts/sun4u/io/pci/pci_iommu.c
304
ASSERT(TTE_IS_INVALID(iommu_p->iommu_tsb_vaddr[pg_index]));
usr/src/uts/sun4u/io/pci/pci_iommu.c
520
if (TTE_IS_INVALID(tte)) {