1938 static bool can_map_at_level(paddr_t paddr, vaddr_t vaddr,  in can_map_at_level()  argument
1943 	if ((vaddr | paddr) & (block_size - 1))  in can_map_at_level()
1974 	vaddr_t vaddr = mm->va;  in core_mmu_map_region()  local
1982 	assert(!((vaddr | paddr) & SMALL_PAGE_MASK));  in core_mmu_map_region()
1994 			table_found = core_mmu_find_table(prtn, vaddr, level,  in core_mmu_map_region()
2001 			idx = core_mmu_va2idx(&tbl_info, vaddr);  in core_mmu_map_region()
2002 			if (!can_map_at_level(paddr, vaddr, size_left,  in core_mmu_map_region()
2032 			vaddr += block_size;  in core_mmu_map_region()
2049 	vaddr_t vaddr = vstart;  in core_mmu_map_pages()  local
2057 	if (vaddr & SMALL_PAGE_MASK)  in core_mmu_map_pages()
2062 	mm = find_map_by_va((void *)vaddr);  in core_mmu_map_pages()
2063 	if (!mm || !va_is_in_map(mm, vaddr + num_pages * SMALL_PAGE_SIZE - 1))  in core_mmu_map_pages()
2076 			if (!core_mmu_find_table(NULL, vaddr, UINT_MAX,  in core_mmu_map_pages()
2080 			idx = core_mmu_va2idx(&tbl_info, vaddr);  in core_mmu_map_pages()
2096 		vaddr += SMALL_PAGE_SIZE;  in core_mmu_map_pages()
2126 	vaddr_t vaddr = vstart;  in core_mmu_map_contiguous_pages()  local
2135 	if ((vaddr | paddr) & SMALL_PAGE_MASK)  in core_mmu_map_contiguous_pages()
2140 	mm = find_map_by_va((void *)vaddr);  in core_mmu_map_contiguous_pages()
2141 	if (!mm || !va_is_in_map(mm, vaddr + num_pages * SMALL_PAGE_SIZE - 1))  in core_mmu_map_contiguous_pages()
2149 			if (!core_mmu_find_table(NULL, vaddr, UINT_MAX,  in core_mmu_map_contiguous_pages()
2153 			idx = core_mmu_va2idx(&tbl_info, vaddr);  in core_mmu_map_contiguous_pages()
2170 		vaddr += SMALL_PAGE_SIZE;  in core_mmu_map_contiguous_pages()