IOMMU_DVMA_BASE
size = ((0 - IOMMU_DVMA_BASE) / sc->sc_pagesize) * sizeof(iopte_t);
sc->sc_range = 0 - IOMMU_DVMA_BASE;
sc->sc_dvmabase = IOMMU_DVMA_BASE;
IOMMU_DVMA_BASE,
IOMMU_DVMA_END - IOMMU_DVMA_BASE,
for (tpte_p = &sc->sc_ptes[((0 - IOMMU_DVMA_BASE)/pagesz) - 1],