Symbol: DVMA_DBG_OFF
usr/src/uts/sun4u/io/pci/pci_dma.c
1558
if (DVMA_DBG_OFF(iommu_p)) {
usr/src/uts/sun4u/io/pci/pci_dma.c
1591
if (DVMA_DBG_OFF(iommu_p)) {