1832 			 struct tee_mmap_region *region)  in clear_region()  argument
1838 	assert(!core_mmu_get_block_offset(tbl_info, region->va));  in clear_region()
1839 	assert(!core_mmu_get_block_offset(tbl_info, region->size));  in clear_region()
1840 	assert(!core_mmu_get_block_offset(tbl_info, region->pa));  in clear_region()
1842 	idx = core_mmu_va2idx(tbl_info, region->va);  in clear_region()
1843 	end = core_mmu_va2idx(tbl_info, region->va + region->size);  in clear_region()
1852 		       struct tee_mmap_region *region)  in set_region()  argument
1859 	assert(!core_mmu_get_block_offset(tbl_info, region->va));  in set_region()
1860 	assert(!core_mmu_get_block_offset(tbl_info, region->size));  in set_region()
1861 	assert(!core_mmu_get_block_offset(tbl_info, region->pa));  in set_region()
1863 	idx = core_mmu_va2idx(tbl_info, region->va);  in set_region()
1864 	end = core_mmu_va2idx(tbl_info, region->va + region->size);  in set_region()
1865 	pa = region->pa;  in set_region()
1868 		core_mmu_set_entry(tbl_info, idx, pa, region->attr);  in set_region()
1875 			  struct vm_region *region, struct pgt **pgt,  in set_pg_region()  argument
1879 		.va = region->va,  in set_pg_region()
1880 		.size = region->size,  in set_pg_region()
1881 		.attr = region->attr,  in set_pg_region()
1921 		if (!(*pgt)->populated  && !mobj_is_paged(region->mobj)) {  in set_pg_region()
1923 			size_t offset = r.va - region->va + region->offset;  in set_pg_region()
1926 				     mobj_get_phys_granule(region->mobj));  in set_pg_region()
1929 			if (mobj_get_pa(region->mobj, offset, granule,  in set_pg_region()