1850 	uint64_t dvma;  in PTE_clear_all()  local
1859 	dvma = *dvma_ptr;  in PTE_clear_all()
1872 		dvma += IMMU_PAGESIZE;  in PTE_clear_all()
1876 	*dvma_ptr = dvma;  in PTE_clear_all()
1883 xlate_setup(uint64_t dvma, xlate_t *xlate, int nlevels)  in xlate_setup()  argument
1892 	offbits = dvma >> IMMU_PAGESHIFT;  in xlate_setup()
1949 	uint64_t dvma, start;  in immu_fault_walk()  local
1951 	dvma = *(uint64_t *)arg;  in immu_fault_walk()
1954 	if (dvma >= start && dvma < (start + len)) {  in immu_fault_walk()
1964 immu_print_fault_info(uint_t sid, uint64_t dvma)  in immu_print_fault_info()  argument
1983 	dvma_arg = dvma;  in immu_print_fault_info()
1991 	xlate_setup(dvma, xlate, nlevels);  in immu_print_fault_info()
1996 		    domain->dom_did, dvma);  in immu_print_fault_info()
2101 	uint64_t dvma;  in PTE_set_all()  local
2111 	dvma = *dvma_ptr;  in PTE_set_all()
2143 		dvma += IMMU_PAGESIZE;  in PTE_set_all()
2159 		*dvma_ptr = dvma;  in PTE_set_all()
2354 	uint64_t dvma;  in dvma_map()  local
2362 	dvma = sdvma;  in dvma_map()
2365 		xlate_setup(dvma, xlate, nlevels);  in dvma_map()
2374 		PTE_set_all(immu, domain, &xlate[1], &dvma, &n, dcookies,  in dvma_map()
2400 	uint64_t dvma;  in dvma_unmap()  local
2402 	dvma = sdvma;  in dvma_unmap()
2407 		xlate_setup(dvma, xlate, nlevels);  in dvma_unmap()
2413 			    (unsigned long long)dvma);  in dvma_unmap()
2416 		PTE_clear_all(immu, domain, &xlate[1], &dvma, &n, rdip);  in dvma_unmap()
2425 	uint64_t dvma;  in dvma_alloc()  local
2443 	dvma = (uint64_t)(uintptr_t)vmem_xalloc(domain->dom_dvma_arena,  in dvma_alloc()
2447 	return (dvma);  in dvma_alloc()
2455 	uint64_t dvma, n;  in dvma_prealloc()  local
2479 	dvma = (uint64_t)(uintptr_t)vmem_xalloc(domain->dom_dvma_arena,  in dvma_prealloc()
2483 	ihp->ihp_predvma = dvma;  in dvma_prealloc()
2485 	if (dvma == 0)  in dvma_prealloc()
2497 		xlate_setup(dvma, xlate, nlevels);  in dvma_prealloc()
2507 		PTE_set_all(immu, domain, xlp, &dvma, &n, &immu_precookie,  in dvma_prealloc()
2539 dvma_free(domain_t *domain, uint64_t dvma, uint64_t npages)  in dvma_free()  argument
2546 	vmem_free(domain->dom_dvma_arena, (void *)(uintptr_t)dvma, size);  in dvma_free()
2560 	uint64_t offset, paddr, dvma, sdvma, rwmask;  in immu_map_dvmaseg()  local
2648 	dvma = sdvma;  in immu_map_dvmaseg()
2682 				if (dvma_map(domain, dvma,  in immu_map_dvmaseg()
2688 				    dev_info_t *, rdip, uint64_t, dvma,  in immu_map_dvmaseg()
2691 				dvma += (npages << IMMU_PAGESHIFT);  in immu_map_dvmaseg()
2708 		    uint64_t, dvma, uint_t, npages, uint_t, dmax+1);  in immu_map_dvmaseg()
2710 		if (dvma_map(domain, dvma, npages, dcookies,  in immu_map_dvmaseg()
2736 	uint64_t dvma, npages;  in immu_unmap_dvmaseg()  local
2743 	dvma = dvs[0].dvs_start;  in immu_unmap_dvmaseg()
2748 	dvma_unmap(domain, dvma, npages, rdip);  in immu_unmap_dvmaseg()
2750 	dvma_free(domain, dvma, npages);  in immu_unmap_dvmaseg()
2753 	    uint64_t, dvma);  in immu_unmap_dvmaseg()