1850 	uint64_t dvma;  in PTE_clear_all()  local
1883 xlate_setup(uint64_t dvma, xlate_t *xlate, int nlevels)  in xlate_setup()
1949 	uint64_t dvma, start;  in immu_fault_walk()  local
1964 immu_print_fault_info(uint_t sid, uint64_t dvma)  in immu_print_fault_info()
2101 	uint64_t dvma;  in PTE_set_all()  local
2354 	uint64_t dvma;  in dvma_map()  local
2400 	uint64_t dvma;  in dvma_unmap()  local
2425 	uint64_t dvma;  in dvma_alloc()  local
2455 	uint64_t dvma, n;  in dvma_prealloc()  local
2539 dvma_free(domain_t *domain, uint64_t dvma, uint64_t npages)  in dvma_free()
2560 	uint64_t offset, paddr, dvma, sdvma, rwmask;  in immu_map_dvmaseg()  local
2736 	uint64_t dvma, npages;  in immu_unmap_dvmaseg()  local