1851 	uint64_t dvma;  in PTE_clear_all()  local
1860 	dvma = *dvma_ptr;  in PTE_clear_all()
1873 		dvma += IMMU_PAGESIZE;  in PTE_clear_all()
1877 	*dvma_ptr = dvma;  in PTE_clear_all()
1884 xlate_setup(uint64_t dvma, xlate_t *xlate, int nlevels)  in xlate_setup()  argument
1893 	offbits = dvma >> IMMU_PAGESHIFT;  in xlate_setup()
1950 	uint64_t dvma, start;  in immu_fault_walk()  local
1952 	dvma = *(uint64_t *)arg;  in immu_fault_walk()
1955 	if (dvma >= start && dvma < (start + len)) {  in immu_fault_walk()
1965 immu_print_fault_info(uint_t sid, uint64_t dvma)  in immu_print_fault_info()  argument
1984 	dvma_arg = dvma;  in immu_print_fault_info()
1992 	xlate_setup(dvma, xlate, nlevels);  in immu_print_fault_info()
1997 		    domain->dom_did, dvma);  in immu_print_fault_info()
2102 	uint64_t dvma;  in PTE_set_all()  local
2112 	dvma = *dvma_ptr;  in PTE_set_all()
2145 		dvma += IMMU_PAGESIZE;  in PTE_set_all()
2161 		*dvma_ptr = dvma;  in PTE_set_all()
2356 	uint64_t dvma;  in dvma_map()  local
2364 	dvma = sdvma;  in dvma_map()
2367 		xlate_setup(dvma, xlate, nlevels);  in dvma_map()
2376 		PTE_set_all(immu, domain, &xlate[1], &dvma, &n, dcookies,  in dvma_map()
2402 	uint64_t dvma;  in dvma_unmap()  local
2404 	dvma = sdvma;  in dvma_unmap()
2409 		xlate_setup(dvma, xlate, nlevels);  in dvma_unmap()
2415 			    (unsigned long long)dvma);  in dvma_unmap()
2418 		PTE_clear_all(immu, domain, &xlate[1], &dvma, &n, rdip);  in dvma_unmap()
2427 	uint64_t dvma;  in dvma_alloc()  local
2445 	dvma = (uint64_t)(uintptr_t)vmem_xalloc(domain->dom_dvma_arena,  in dvma_alloc()
2449 	return (dvma);  in dvma_alloc()
2457 	uint64_t dvma, n;  in dvma_prealloc()  local
2481 	dvma = (uint64_t)(uintptr_t)vmem_xalloc(domain->dom_dvma_arena,  in dvma_prealloc()
2485 	ihp->ihp_predvma = dvma;  in dvma_prealloc()
2487 	if (dvma == 0)  in dvma_prealloc()
2499 		xlate_setup(dvma, xlate, nlevels);  in dvma_prealloc()
2509 		PTE_set_all(immu, domain, xlp, &dvma, &n, &immu_precookie,  in dvma_prealloc()
2541 dvma_free(domain_t *domain, uint64_t dvma, uint64_t npages)  in dvma_free()  argument
2548 	vmem_free(domain->dom_dvma_arena, (void *)(uintptr_t)dvma, size);  in dvma_free()
2562 	uint64_t offset, paddr, dvma, sdvma, rwmask;  in immu_map_dvmaseg()  local
2652 	dvma = sdvma;  in immu_map_dvmaseg()
2684 				if (dvma_map(domain, dvma,  in immu_map_dvmaseg()
2690 				    dev_info_t *, rdip, uint64_t, dvma,  in immu_map_dvmaseg()
2693 				dvma += (npages << IMMU_PAGESHIFT);  in immu_map_dvmaseg()
2713 		    uint64_t, dvma, uint_t, npages, uint_t, dmax+1);  in immu_map_dvmaseg()
2715 		if (dvma_map(domain, dvma, npages, dcookies,  in immu_map_dvmaseg()
2741 	uint64_t dvma, npages;  in immu_unmap_dvmaseg()  local
2748 	dvma = dvs[0].dvs_start;  in immu_unmap_dvmaseg()
2753 	dvma_unmap(domain, dvma, npages, rdip);  in immu_unmap_dvmaseg()
2755 	dvma_free(domain, dvma, npages);  in immu_unmap_dvmaseg()
2758 	    uint64_t, dvma);  in immu_unmap_dvmaseg()