xref: /optee_os/core/mm/vm.c (revision 77bdbf67c42209142ef43129e01113d29d9c62f6)
1 // SPDX-License-Identifier: BSD-2-Clause
2 /*
3  * Copyright (c) 2016, Linaro Limited
4  * Copyright (c) 2014, STMicroelectronics International N.V.
5  */
6 
7 #include <arm.h>
8 #include <assert.h>
9 #include <initcall.h>
10 #include <kernel/panic.h>
11 #include <kernel/spinlock.h>
12 #include <kernel/tee_common.h>
13 #include <kernel/tee_misc.h>
14 #include <kernel/tlb_helpers.h>
15 #include <kernel/user_mode_ctx.h>
16 #include <kernel/virtualization.h>
17 #include <mm/core_memprot.h>
18 #include <mm/core_mmu.h>
19 #include <mm/mobj.h>
20 #include <mm/pgt_cache.h>
21 #include <mm/tee_mm.h>
22 #include <mm/tee_mmu_types.h>
23 #include <mm/tee_pager.h>
24 #include <mm/vm.h>
25 #include <sm/optee_smc.h>
26 #include <stdlib.h>
27 #include <tee_api_defines_extensions.h>
28 #include <tee_api_types.h>
29 #include <trace.h>
30 #include <types_ext.h>
31 #include <user_ta_header.h>
32 #include <util.h>
33 
34 #ifdef CFG_PL310
35 #include <kernel/tee_l2cc_mutex.h>
36 #endif
37 
38 #define TEE_MMU_UDATA_ATTR		(TEE_MATTR_VALID_BLOCK | \
39 					 TEE_MATTR_PRW | TEE_MATTR_URW | \
40 					 TEE_MATTR_SECURE)
41 #define TEE_MMU_UCODE_ATTR		(TEE_MATTR_VALID_BLOCK | \
42 					 TEE_MATTR_PRW | TEE_MATTR_URWX | \
43 					 TEE_MATTR_SECURE)
44 
45 #define TEE_MMU_UCACHE_DEFAULT_ATTR	(TEE_MATTR_CACHE_CACHED << \
46 					 TEE_MATTR_CACHE_SHIFT)
47 
48 static vaddr_t select_va_in_range(const struct vm_region *prev_reg,
49 				  const struct vm_region *next_reg,
50 				  const struct vm_region *reg,
51 				  size_t pad_begin, size_t pad_end,
52 				  size_t granul)
53 {
54 	const uint32_t f = VM_FLAG_EPHEMERAL | VM_FLAG_PERMANENT |
55 			    VM_FLAG_SHAREABLE;
56 	vaddr_t begin_va = 0;
57 	vaddr_t end_va = 0;
58 	size_t pad = 0;
59 
60 	/*
61 	 * Insert an unmapped entry to separate regions with differing
62 	 * VM_FLAG_EPHEMERAL, VM_FLAG_PERMANENT or VM_FLAG_SHAREABLE
63 	 * bits as they never are to be contiguous with another region.
64 	 */
65 	if (prev_reg->flags && (prev_reg->flags & f) != (reg->flags & f))
66 		pad = SMALL_PAGE_SIZE;
67 	else
68 		pad = 0;
69 
70 #ifndef CFG_WITH_LPAE
71 	if ((prev_reg->attr & TEE_MATTR_SECURE) !=
72 	    (reg->attr & TEE_MATTR_SECURE))
73 		granul = CORE_MMU_PGDIR_SIZE;
74 #endif
75 
76 	if (ADD_OVERFLOW(prev_reg->va, prev_reg->size, &begin_va) ||
77 	    ADD_OVERFLOW(begin_va, pad_begin, &begin_va) ||
78 	    ADD_OVERFLOW(begin_va, pad, &begin_va) ||
79 	    ROUNDUP_OVERFLOW(begin_va, granul, &begin_va))
80 		return 0;
81 
82 	if (reg->va) {
83 		if (reg->va < begin_va)
84 			return 0;
85 		begin_va = reg->va;
86 	}
87 
88 	if (next_reg->flags && (next_reg->flags & f) != (reg->flags & f))
89 		pad = SMALL_PAGE_SIZE;
90 	else
91 		pad = 0;
92 
93 #ifndef CFG_WITH_LPAE
94 	if ((next_reg->attr & TEE_MATTR_SECURE) !=
95 	    (reg->attr & TEE_MATTR_SECURE))
96 		granul = CORE_MMU_PGDIR_SIZE;
97 #endif
98 	if (ADD_OVERFLOW(begin_va, reg->size, &end_va) ||
99 	    ADD_OVERFLOW(end_va, pad_end, &end_va) ||
100 	    ADD_OVERFLOW(end_va, pad, &end_va) ||
101 	    ROUNDUP_OVERFLOW(end_va, granul, &end_va))
102 		return 0;
103 
104 	if (end_va <= next_reg->va) {
105 		assert(!reg->va || reg->va == begin_va);
106 		return begin_va;
107 	}
108 
109 	return 0;
110 }
111 
112 static size_t get_num_req_pgts(struct user_mode_ctx *uctx, vaddr_t *begin,
113 			       vaddr_t *end)
114 {
115 	vaddr_t b;
116 	vaddr_t e;
117 
118 	if (TAILQ_EMPTY(&uctx->vm_info.regions)) {
119 		core_mmu_get_user_va_range(&b, NULL);
120 		e = b;
121 	} else {
122 		struct vm_region *r;
123 
124 		b = TAILQ_FIRST(&uctx->vm_info.regions)->va;
125 		r = TAILQ_LAST(&uctx->vm_info.regions, vm_region_head);
126 		e = r->va + r->size;
127 		b = ROUNDDOWN(b, CORE_MMU_PGDIR_SIZE);
128 		e = ROUNDUP(e, CORE_MMU_PGDIR_SIZE);
129 	}
130 
131 	if (begin)
132 		*begin = b;
133 	if (end)
134 		*end = e;
135 	return (e - b) >> CORE_MMU_PGDIR_SHIFT;
136 }
137 
138 static TEE_Result alloc_pgt(struct user_mode_ctx *uctx)
139 {
140 	struct thread_specific_data *tsd __maybe_unused;
141 	vaddr_t b;
142 	vaddr_t e;
143 	size_t ntbl;
144 
145 	ntbl = get_num_req_pgts(uctx, &b, &e);
146 	if (!pgt_check_avail(ntbl)) {
147 		EMSG("%zu page tables not available", ntbl);
148 		return TEE_ERROR_OUT_OF_MEMORY;
149 	}
150 
151 #ifdef CFG_PAGED_USER_TA
152 	tsd = thread_get_tsd();
153 	if (uctx->ts_ctx == tsd->ctx) {
154 		/*
155 		 * The supplied utc is the current active utc, allocate the
156 		 * page tables too as the pager needs to use them soon.
157 		 */
158 		pgt_alloc(&tsd->pgt_cache, uctx->ts_ctx, b, e - 1);
159 	}
160 #endif
161 
162 	return TEE_SUCCESS;
163 }
164 
165 static void rem_um_region(struct user_mode_ctx *uctx, struct vm_region *r)
166 {
167 	struct thread_specific_data *tsd = thread_get_tsd();
168 	struct pgt_cache *pgt_cache = NULL;
169 	vaddr_t begin = ROUNDDOWN(r->va, CORE_MMU_PGDIR_SIZE);
170 	vaddr_t last = ROUNDUP(r->va + r->size, CORE_MMU_PGDIR_SIZE);
171 	struct vm_region *r2 = NULL;
172 
173 	if (uctx->ts_ctx == tsd->ctx)
174 		pgt_cache = &tsd->pgt_cache;
175 
176 	if (mobj_is_paged(r->mobj)) {
177 		tee_pager_rem_um_region(uctx, r->va, r->size);
178 	} else {
179 		pgt_clear_ctx_range(pgt_cache, uctx->ts_ctx, r->va,
180 				    r->va + r->size);
181 		tlbi_mva_range_asid(r->va, r->size, SMALL_PAGE_SIZE,
182 				    uctx->vm_info.asid);
183 	}
184 
185 	r2 = TAILQ_NEXT(r, link);
186 	if (r2)
187 		last = MIN(last, ROUNDDOWN(r2->va, CORE_MMU_PGDIR_SIZE));
188 
189 	r2 = TAILQ_PREV(r, vm_region_head, link);
190 	if (r2)
191 		begin = MAX(begin,
192 			    ROUNDUP(r2->va + r2->size, CORE_MMU_PGDIR_SIZE));
193 
194 	/* If there's no unused page tables, there's nothing left to do */
195 	if (begin >= last)
196 		return;
197 
198 	pgt_flush_ctx_range(pgt_cache, uctx->ts_ctx, r->va, r->va + r->size);
199 }
200 
201 static TEE_Result umap_add_region(struct vm_info *vmi, struct vm_region *reg,
202 				  size_t pad_begin, size_t pad_end,
203 				  size_t align)
204 {
205 	struct vm_region dummy_first_reg = { };
206 	struct vm_region dummy_last_reg = { };
207 	struct vm_region *r = NULL;
208 	struct vm_region *prev_r = NULL;
209 	vaddr_t va_range_base = 0;
210 	size_t va_range_size = 0;
211 	size_t granul;
212 	vaddr_t va = 0;
213 	size_t offs_plus_size = 0;
214 
215 	core_mmu_get_user_va_range(&va_range_base, &va_range_size);
216 	dummy_first_reg.va = va_range_base;
217 	dummy_last_reg.va = va_range_base + va_range_size;
218 
219 	/* Check alignment, it has to be at least SMALL_PAGE based */
220 	if ((reg->va | reg->size | pad_begin | pad_end) & SMALL_PAGE_MASK)
221 		return TEE_ERROR_ACCESS_CONFLICT;
222 
223 	/* Check that the mobj is defined for the entire range */
224 	if (ADD_OVERFLOW(reg->offset, reg->size, &offs_plus_size))
225 		return TEE_ERROR_BAD_PARAMETERS;
226 	if (offs_plus_size > ROUNDUP(reg->mobj->size, SMALL_PAGE_SIZE))
227 		return TEE_ERROR_BAD_PARAMETERS;
228 
229 	granul = MAX(align, SMALL_PAGE_SIZE);
230 	if (!IS_POWER_OF_TWO(granul))
231 		return TEE_ERROR_BAD_PARAMETERS;
232 
233 	prev_r = &dummy_first_reg;
234 	TAILQ_FOREACH(r, &vmi->regions, link) {
235 		va = select_va_in_range(prev_r, r, reg, pad_begin, pad_end,
236 					granul);
237 		if (va) {
238 			reg->va = va;
239 			TAILQ_INSERT_BEFORE(r, reg, link);
240 			return TEE_SUCCESS;
241 		}
242 		prev_r = r;
243 	}
244 
245 	r = TAILQ_LAST(&vmi->regions, vm_region_head);
246 	if (!r)
247 		r = &dummy_first_reg;
248 	va = select_va_in_range(r, &dummy_last_reg, reg, pad_begin, pad_end,
249 				granul);
250 	if (va) {
251 		reg->va = va;
252 		TAILQ_INSERT_TAIL(&vmi->regions, reg, link);
253 		return TEE_SUCCESS;
254 	}
255 
256 	return TEE_ERROR_ACCESS_CONFLICT;
257 }
258 
259 TEE_Result vm_map_pad(struct user_mode_ctx *uctx, vaddr_t *va, size_t len,
260 		      uint32_t prot, uint32_t flags, struct mobj *mobj,
261 		      size_t offs, size_t pad_begin, size_t pad_end,
262 		      size_t align)
263 {
264 	TEE_Result res = TEE_SUCCESS;
265 	struct vm_region *reg = NULL;
266 	uint32_t attr = 0;
267 
268 	if (prot & ~TEE_MATTR_PROT_MASK)
269 		return TEE_ERROR_BAD_PARAMETERS;
270 
271 	reg = calloc(1, sizeof(*reg));
272 	if (!reg)
273 		return TEE_ERROR_OUT_OF_MEMORY;
274 
275 	if (!mobj_is_paged(mobj)) {
276 		uint32_t cattr;
277 
278 		res = mobj_get_cattr(mobj, &cattr);
279 		if (res)
280 			goto err_free_reg;
281 		attr |= cattr << TEE_MATTR_CACHE_SHIFT;
282 	}
283 	attr |= TEE_MATTR_VALID_BLOCK;
284 	if (mobj_is_secure(mobj))
285 		attr |= TEE_MATTR_SECURE;
286 
287 	reg->mobj = mobj_get(mobj);
288 	reg->offset = offs;
289 	reg->va = *va;
290 	reg->size = ROUNDUP(len, SMALL_PAGE_SIZE);
291 	reg->attr = attr | prot;
292 	reg->flags = flags;
293 
294 	res = umap_add_region(&uctx->vm_info, reg, pad_begin, pad_end, align);
295 	if (res)
296 		goto err_free_reg;
297 
298 	res = alloc_pgt(uctx);
299 	if (res)
300 		goto err_rem_reg;
301 
302 	if (mobj_is_paged(mobj)) {
303 		struct fobj *fobj = mobj_get_fobj(mobj);
304 
305 		if (!fobj) {
306 			res = TEE_ERROR_GENERIC;
307 			goto err_rem_reg;
308 		}
309 
310 		res = tee_pager_add_um_area(uctx, reg->va, fobj, prot);
311 		fobj_put(fobj);
312 		if (res)
313 			goto err_rem_reg;
314 	}
315 
316 	/*
317 	 * If the context currently is active set it again to update
318 	 * the mapping.
319 	 */
320 	if (thread_get_tsd()->ctx == uctx->ts_ctx)
321 		vm_set_ctx(uctx->ts_ctx);
322 
323 	*va = reg->va;
324 
325 	return TEE_SUCCESS;
326 
327 err_rem_reg:
328 	TAILQ_REMOVE(&uctx->vm_info.regions, reg, link);
329 err_free_reg:
330 	mobj_put(reg->mobj);
331 	free(reg);
332 	return res;
333 }
334 
335 static struct vm_region *find_vm_region(struct vm_info *vm_info, vaddr_t va)
336 {
337 	struct vm_region *r = NULL;
338 
339 	TAILQ_FOREACH(r, &vm_info->regions, link)
340 		if (va >= r->va && va < r->va + r->size)
341 			return r;
342 
343 	return NULL;
344 }
345 
346 static bool va_range_is_contiguous(struct vm_region *r0, vaddr_t va,
347 				   size_t len,
348 				   bool (*cmp_regs)(const struct vm_region *r0,
349 						    const struct vm_region *r,
350 						    const struct vm_region *rn))
351 {
352 	struct vm_region *r = r0;
353 	vaddr_t end_va = 0;
354 
355 	if (ADD_OVERFLOW(va, len, &end_va))
356 		return false;
357 
358 	while (true) {
359 		struct vm_region *r_next = TAILQ_NEXT(r, link);
360 		vaddr_t r_end_va = r->va + r->size;
361 
362 		if (r_end_va >= end_va)
363 			return true;
364 		if (!r_next)
365 			return false;
366 		if (r_end_va != r_next->va)
367 			return false;
368 		if (cmp_regs && !cmp_regs(r0, r, r_next))
369 			return false;
370 		r = r_next;
371 	}
372 }
373 
374 static TEE_Result split_vm_region(struct user_mode_ctx *uctx,
375 				  struct vm_region *r, vaddr_t va)
376 {
377 	struct vm_region *r2 = NULL;
378 	size_t diff = va - r->va;
379 
380 	assert(diff && diff < r->size);
381 
382 	r2 = calloc(1, sizeof(*r2));
383 	if (!r2)
384 		return TEE_ERROR_OUT_OF_MEMORY;
385 
386 	if (mobj_is_paged(r->mobj)) {
387 		TEE_Result res = tee_pager_split_um_region(uctx, va);
388 
389 		if (res) {
390 			free(r2);
391 			return res;
392 		}
393 	}
394 
395 	r2->mobj = mobj_get(r->mobj);
396 	r2->offset = r->offset + diff;
397 	r2->va = va;
398 	r2->size = r->size - diff;
399 	r2->attr = r->attr;
400 	r2->flags = r->flags;
401 
402 	r->size = diff;
403 
404 	TAILQ_INSERT_AFTER(&uctx->vm_info.regions, r, r2, link);
405 
406 	return TEE_SUCCESS;
407 }
408 
409 static TEE_Result split_vm_range(struct user_mode_ctx *uctx, vaddr_t va,
410 				 size_t len,
411 				 bool (*cmp_regs)(const struct vm_region *r0,
412 						  const struct vm_region *r,
413 						  const struct vm_region *rn),
414 				 struct vm_region **r0_ret)
415 {
416 	TEE_Result res = TEE_SUCCESS;
417 	struct vm_region *r = NULL;
418 	vaddr_t end_va = 0;
419 
420 	if ((va | len) & SMALL_PAGE_MASK)
421 		return TEE_ERROR_BAD_PARAMETERS;
422 
423 	if (ADD_OVERFLOW(va, len, &end_va))
424 		return TEE_ERROR_BAD_PARAMETERS;
425 
426 	/*
427 	 * Find first vm_region in range and check that the entire range is
428 	 * contiguous.
429 	 */
430 	r = find_vm_region(&uctx->vm_info, va);
431 	if (!r || !va_range_is_contiguous(r, va, len, cmp_regs))
432 		return TEE_ERROR_BAD_PARAMETERS;
433 
434 	/*
435 	 * If needed split regions so that va and len covers only complete
436 	 * regions.
437 	 */
438 	if (va != r->va) {
439 		res = split_vm_region(uctx, r, va);
440 		if (res)
441 			return res;
442 		r = TAILQ_NEXT(r, link);
443 	}
444 
445 	*r0_ret = r;
446 	r = find_vm_region(&uctx->vm_info, va + len - 1);
447 	if (!r)
448 		return TEE_ERROR_BAD_PARAMETERS;
449 	if (end_va != r->va + r->size) {
450 		res = split_vm_region(uctx, r, end_va);
451 		if (res)
452 			return res;
453 	}
454 
455 	return TEE_SUCCESS;
456 }
457 
458 static void merge_vm_range(struct user_mode_ctx *uctx, vaddr_t va, size_t len)
459 {
460 	struct vm_region *r_next = NULL;
461 	struct vm_region *r = NULL;
462 	vaddr_t end_va = 0;
463 
464 	if (ADD_OVERFLOW(va, len, &end_va))
465 		return;
466 
467 	tee_pager_merge_um_region(uctx, va, len);
468 
469 	for (r = TAILQ_FIRST(&uctx->vm_info.regions);; r = r_next) {
470 		r_next = TAILQ_NEXT(r, link);
471 		if (!r_next)
472 			return;
473 
474 		/* Try merging with the region just before va */
475 		if (r->va + r->size < va)
476 			continue;
477 
478 		/*
479 		 * If r->va is well past our range we're done.
480 		 * Note that if it's just the page after our range we'll
481 		 * try to merge.
482 		 */
483 		if (r->va > end_va)
484 			return;
485 
486 		if (r->va + r->size != r_next->va)
487 			continue;
488 		if (r->mobj != r_next->mobj ||
489 		    r->flags != r_next->flags ||
490 		    r->attr != r_next->attr)
491 			continue;
492 		if (r->offset + r->size != r_next->offset)
493 			continue;
494 
495 		TAILQ_REMOVE(&uctx->vm_info.regions, r_next, link);
496 		r->size += r_next->size;
497 		mobj_put(r_next->mobj);
498 		free(r_next);
499 		r_next = r;
500 	}
501 }
502 
503 static bool cmp_region_for_remap(const struct vm_region *r0,
504 				 const struct vm_region *r,
505 				 const struct vm_region *rn)
506 {
507 	/*
508 	 * All the essentionals has to match for remap to make sense. The
509 	 * essentials are, mobj/fobj, attr, flags and the offset should be
510 	 * contiguous.
511 	 *
512 	 * Note that vm_remap() depends on mobj/fobj to be the same.
513 	 */
514 	return r0->flags == r->flags && r0->attr == r->attr &&
515 	       r0->mobj == r->mobj && rn->offset == r->offset + r->size;
516 }
517 
518 TEE_Result vm_remap(struct user_mode_ctx *uctx, vaddr_t *new_va, vaddr_t old_va,
519 		    size_t len, size_t pad_begin, size_t pad_end)
520 {
521 	struct vm_region_head regs = TAILQ_HEAD_INITIALIZER(regs);
522 	TEE_Result res = TEE_SUCCESS;
523 	struct vm_region *r0 = NULL;
524 	struct vm_region *r = NULL;
525 	struct vm_region *r_next = NULL;
526 	struct vm_region *r_last = NULL;
527 	struct vm_region *r_first = NULL;
528 	struct fobj *fobj = NULL;
529 	vaddr_t next_va = 0;
530 
531 	assert(thread_get_tsd()->ctx == uctx->ts_ctx);
532 
533 	if (!len || ((len | old_va) & SMALL_PAGE_MASK))
534 		return TEE_ERROR_BAD_PARAMETERS;
535 
536 	res = split_vm_range(uctx, old_va, len, cmp_region_for_remap, &r0);
537 	if (res)
538 		return res;
539 
540 	if (mobj_is_paged(r0->mobj)) {
541 		fobj = mobj_get_fobj(r0->mobj);
542 		if (!fobj)
543 			panic();
544 	}
545 
546 	for (r = r0; r; r = r_next) {
547 		if (r->va + r->size > old_va + len)
548 			break;
549 		r_next = TAILQ_NEXT(r, link);
550 		rem_um_region(uctx, r);
551 		TAILQ_REMOVE(&uctx->vm_info.regions, r, link);
552 		TAILQ_INSERT_TAIL(&regs, r, link);
553 	}
554 
555 	/*
556 	 * Synchronize change to translation tables. Even though the pager
557 	 * case unmaps immediately we may still free a translation table.
558 	 */
559 	vm_set_ctx(uctx->ts_ctx);
560 
561 	r_first = TAILQ_FIRST(&regs);
562 	while (!TAILQ_EMPTY(&regs)) {
563 		r = TAILQ_FIRST(&regs);
564 		TAILQ_REMOVE(&regs, r, link);
565 		if (r_last) {
566 			r->va = r_last->va + r_last->size;
567 			res = umap_add_region(&uctx->vm_info, r, 0, 0, 0);
568 		} else {
569 			r->va = *new_va;
570 			res = umap_add_region(&uctx->vm_info, r, pad_begin,
571 					      pad_end + len - r->size, 0);
572 		}
573 		if (!res)
574 			r_last = r;
575 		if (!res)
576 			res = alloc_pgt(uctx);
577 		if (fobj && !res)
578 			res = tee_pager_add_um_area(uctx, r->va, fobj, r->attr);
579 
580 		if (res) {
581 			/*
582 			 * Something went wrong move all the recently added
583 			 * regions back to regs for later reinsertion at
584 			 * the original spot.
585 			 */
586 			struct vm_region *r_tmp = NULL;
587 
588 			if (r != r_last) {
589 				/*
590 				 * umap_add_region() failed, move r back to
591 				 * regs before all the rest are moved back.
592 				 */
593 				TAILQ_INSERT_HEAD(&regs, r, link);
594 			}
595 			for (r = r_first; r_last && r != r_last; r = r_next) {
596 				r_next = TAILQ_NEXT(r, link);
597 				TAILQ_REMOVE(&uctx->vm_info.regions, r, link);
598 				if (r_tmp)
599 					TAILQ_INSERT_AFTER(&regs, r_tmp, r,
600 							   link);
601 				else
602 					TAILQ_INSERT_HEAD(&regs, r, link);
603 				r_tmp = r;
604 			}
605 
606 			goto err_restore_map;
607 		}
608 	}
609 
610 	fobj_put(fobj);
611 
612 	vm_set_ctx(uctx->ts_ctx);
613 	*new_va = r_first->va;
614 
615 	return TEE_SUCCESS;
616 
617 err_restore_map:
618 	next_va = old_va;
619 	while (!TAILQ_EMPTY(&regs)) {
620 		r = TAILQ_FIRST(&regs);
621 		TAILQ_REMOVE(&regs, r, link);
622 		r->va = next_va;
623 		next_va += r->size;
624 		if (umap_add_region(&uctx->vm_info, r, 0, 0, 0))
625 			panic("Cannot restore mapping");
626 		if (alloc_pgt(uctx))
627 			panic("Cannot restore mapping");
628 		if (fobj && tee_pager_add_um_area(uctx, r->va, fobj, r->attr))
629 			panic("Cannot restore mapping");
630 	}
631 	fobj_put(fobj);
632 	vm_set_ctx(uctx->ts_ctx);
633 
634 	return res;
635 }
636 
637 static bool cmp_region_for_get_flags(const struct vm_region *r0,
638 				     const struct vm_region *r,
639 				     const struct vm_region *rn __unused)
640 {
641 	return r0->flags == r->flags;
642 }
643 
644 TEE_Result vm_get_flags(struct user_mode_ctx *uctx, vaddr_t va, size_t len,
645 			uint32_t *flags)
646 {
647 	struct vm_region *r = NULL;
648 
649 	if (!len || ((len | va) & SMALL_PAGE_MASK))
650 		return TEE_ERROR_BAD_PARAMETERS;
651 
652 	r = find_vm_region(&uctx->vm_info, va);
653 	if (!r)
654 		return TEE_ERROR_BAD_PARAMETERS;
655 
656 	if (!va_range_is_contiguous(r, va, len, cmp_region_for_get_flags))
657 		return TEE_ERROR_BAD_PARAMETERS;
658 
659 	*flags = r->flags;
660 
661 	return TEE_SUCCESS;
662 }
663 
664 static bool cmp_region_for_get_prot(const struct vm_region *r0,
665 				    const struct vm_region *r,
666 				    const struct vm_region *rn __unused)
667 {
668 	return (r0->attr & TEE_MATTR_PROT_MASK) ==
669 	       (r->attr & TEE_MATTR_PROT_MASK);
670 }
671 
672 TEE_Result vm_get_prot(struct user_mode_ctx *uctx, vaddr_t va, size_t len,
673 		       uint16_t *prot)
674 {
675 	struct vm_region *r = NULL;
676 
677 	if (!len || ((len | va) & SMALL_PAGE_MASK))
678 		return TEE_ERROR_BAD_PARAMETERS;
679 
680 	r = find_vm_region(&uctx->vm_info, va);
681 	if (!r)
682 		return TEE_ERROR_BAD_PARAMETERS;
683 
684 	if (!va_range_is_contiguous(r, va, len, cmp_region_for_get_prot))
685 		return TEE_ERROR_BAD_PARAMETERS;
686 
687 	*prot = r->attr & TEE_MATTR_PROT_MASK;
688 
689 	return TEE_SUCCESS;
690 }
691 
692 TEE_Result vm_set_prot(struct user_mode_ctx *uctx, vaddr_t va, size_t len,
693 		       uint32_t prot)
694 {
695 	TEE_Result res = TEE_SUCCESS;
696 	struct vm_region *r0 = NULL;
697 	struct vm_region *r = NULL;
698 	bool was_writeable = false;
699 	bool need_sync = false;
700 
701 	assert(thread_get_tsd()->ctx == uctx->ts_ctx);
702 
703 	if (prot & ~TEE_MATTR_PROT_MASK || !len)
704 		return TEE_ERROR_BAD_PARAMETERS;
705 
706 	res = split_vm_range(uctx, va, len, NULL, &r0);
707 	if (res)
708 		return res;
709 
710 	for (r = r0; r; r = TAILQ_NEXT(r, link)) {
711 		if (r->va + r->size > va + len)
712 			break;
713 		if (r->attr & (TEE_MATTR_UW | TEE_MATTR_PW))
714 			was_writeable = true;
715 
716 		if (!mobj_is_paged(r->mobj))
717 			need_sync = true;
718 
719 		r->attr &= ~TEE_MATTR_PROT_MASK;
720 		r->attr |= prot;
721 	}
722 
723 	if (need_sync) {
724 		/* Synchronize changes to translation tables */
725 		vm_set_ctx(uctx->ts_ctx);
726 	}
727 
728 	for (r = r0; r; r = TAILQ_NEXT(r, link)) {
729 		if (r->va + r->size > va + len)
730 			break;
731 		if (mobj_is_paged(r->mobj)) {
732 			if (!tee_pager_set_um_area_attr(uctx, r->va, r->size,
733 							prot))
734 				panic();
735 		} else if (was_writeable) {
736 			cache_op_inner(DCACHE_AREA_CLEAN, (void *)r->va,
737 				       r->size);
738 		}
739 
740 	}
741 	if (need_sync && was_writeable)
742 		cache_op_inner(ICACHE_INVALIDATE, NULL, 0);
743 
744 	merge_vm_range(uctx, va, len);
745 
746 	return TEE_SUCCESS;
747 }
748 
749 static void umap_remove_region(struct vm_info *vmi, struct vm_region *reg)
750 {
751 	TAILQ_REMOVE(&vmi->regions, reg, link);
752 	mobj_put(reg->mobj);
753 	free(reg);
754 }
755 
756 TEE_Result vm_unmap(struct user_mode_ctx *uctx, vaddr_t va, size_t len)
757 {
758 	TEE_Result res = TEE_SUCCESS;
759 	struct vm_region *r = NULL;
760 	struct vm_region *r_next = NULL;
761 	size_t end_va = 0;
762 	size_t unmap_end_va = 0;
763 	size_t l = 0;
764 
765 	assert(thread_get_tsd()->ctx == uctx->ts_ctx);
766 
767 	if (ROUNDUP_OVERFLOW(len, SMALL_PAGE_SIZE, &l))
768 		return TEE_ERROR_BAD_PARAMETERS;
769 
770 	if (!l || (va & SMALL_PAGE_MASK))
771 		return TEE_ERROR_BAD_PARAMETERS;
772 
773 	if (ADD_OVERFLOW(va, l, &end_va))
774 		return TEE_ERROR_BAD_PARAMETERS;
775 
776 	res = split_vm_range(uctx, va, l, NULL, &r);
777 	if (res)
778 		return res;
779 
780 	while (true) {
781 		r_next = TAILQ_NEXT(r, link);
782 		unmap_end_va = r->va + r->size;
783 		rem_um_region(uctx, r);
784 		umap_remove_region(&uctx->vm_info, r);
785 		if (!r_next || unmap_end_va == end_va)
786 			break;
787 		r = r_next;
788 	}
789 
790 	return TEE_SUCCESS;
791 }
792 
793 static TEE_Result map_kinit(struct user_mode_ctx *uctx)
794 {
795 	TEE_Result res;
796 	struct mobj *mobj;
797 	size_t offs;
798 	vaddr_t va;
799 	size_t sz;
800 
801 	thread_get_user_kcode(&mobj, &offs, &va, &sz);
802 	if (sz) {
803 		res = vm_map(uctx, &va, sz, TEE_MATTR_PRX, VM_FLAG_PERMANENT,
804 			     mobj, offs);
805 		if (res)
806 			return res;
807 	}
808 
809 	thread_get_user_kdata(&mobj, &offs, &va, &sz);
810 	if (sz)
811 		return vm_map(uctx, &va, sz, TEE_MATTR_PRW, VM_FLAG_PERMANENT,
812 			      mobj, offs);
813 
814 	return TEE_SUCCESS;
815 }
816 
817 TEE_Result vm_info_init(struct user_mode_ctx *uctx)
818 {
819 	TEE_Result res;
820 	uint32_t asid = asid_alloc();
821 
822 	if (!asid) {
823 		DMSG("Failed to allocate ASID");
824 		return TEE_ERROR_GENERIC;
825 	}
826 
827 	memset(&uctx->vm_info, 0, sizeof(uctx->vm_info));
828 	TAILQ_INIT(&uctx->vm_info.regions);
829 	uctx->vm_info.asid = asid;
830 
831 	res = map_kinit(uctx);
832 	if (res)
833 		vm_info_final(uctx);
834 	return res;
835 }
836 
837 void vm_clean_param(struct user_mode_ctx *uctx)
838 {
839 	struct vm_region *next_r;
840 	struct vm_region *r;
841 
842 	TAILQ_FOREACH_SAFE(r, &uctx->vm_info.regions, link, next_r) {
843 		if (r->flags & VM_FLAG_EPHEMERAL) {
844 			rem_um_region(uctx, r);
845 			umap_remove_region(&uctx->vm_info, r);
846 		}
847 	}
848 }
849 
850 static void check_param_map_empty(struct user_mode_ctx *uctx __maybe_unused)
851 {
852 	struct vm_region *r = NULL;
853 
854 	TAILQ_FOREACH(r, &uctx->vm_info.regions, link)
855 		assert(!(r->flags & VM_FLAG_EPHEMERAL));
856 }
857 
858 static TEE_Result param_mem_to_user_va(struct user_mode_ctx *uctx,
859 				       struct param_mem *mem, void **user_va)
860 {
861 	struct vm_region *region = NULL;
862 
863 	TAILQ_FOREACH(region, &uctx->vm_info.regions, link) {
864 		vaddr_t va = 0;
865 		size_t phys_offs = 0;
866 
867 		if (!(region->flags & VM_FLAG_EPHEMERAL))
868 			continue;
869 		if (mem->mobj != region->mobj)
870 			continue;
871 
872 		phys_offs = mobj_get_phys_offs(mem->mobj,
873 					       CORE_MMU_USER_PARAM_SIZE);
874 		phys_offs += mem->offs;
875 		if (phys_offs < region->offset)
876 			continue;
877 		if (phys_offs >= (region->offset + region->size))
878 			continue;
879 		va = region->va + phys_offs - region->offset;
880 		*user_va = (void *)va;
881 		return TEE_SUCCESS;
882 	}
883 	return TEE_ERROR_GENERIC;
884 }
885 
886 static int cmp_param_mem(const void *a0, const void *a1)
887 {
888 	const struct param_mem *m1 = a1;
889 	const struct param_mem *m0 = a0;
890 	int ret;
891 
892 	/* Make sure that invalid param_mem are placed last in the array */
893 	if (!m0->mobj && !m1->mobj)
894 		return 0;
895 	if (!m0->mobj)
896 		return 1;
897 	if (!m1->mobj)
898 		return -1;
899 
900 	ret = CMP_TRILEAN(mobj_is_secure(m0->mobj), mobj_is_secure(m1->mobj));
901 	if (ret)
902 		return ret;
903 
904 	ret = CMP_TRILEAN((vaddr_t)m0->mobj, (vaddr_t)m1->mobj);
905 	if (ret)
906 		return ret;
907 
908 	ret = CMP_TRILEAN(m0->offs, m1->offs);
909 	if (ret)
910 		return ret;
911 
912 	return CMP_TRILEAN(m0->size, m1->size);
913 }
914 
915 TEE_Result vm_map_param(struct user_mode_ctx *uctx, struct tee_ta_param *param,
916 			void *param_va[TEE_NUM_PARAMS])
917 {
918 	TEE_Result res = TEE_SUCCESS;
919 	size_t n;
920 	size_t m;
921 	struct param_mem mem[TEE_NUM_PARAMS];
922 
923 	memset(mem, 0, sizeof(mem));
924 	for (n = 0; n < TEE_NUM_PARAMS; n++) {
925 		uint32_t param_type = TEE_PARAM_TYPE_GET(param->types, n);
926 		size_t phys_offs;
927 
928 		if (param_type != TEE_PARAM_TYPE_MEMREF_INPUT &&
929 		    param_type != TEE_PARAM_TYPE_MEMREF_OUTPUT &&
930 		    param_type != TEE_PARAM_TYPE_MEMREF_INOUT)
931 			continue;
932 		phys_offs = mobj_get_phys_offs(param->u[n].mem.mobj,
933 					       CORE_MMU_USER_PARAM_SIZE);
934 		mem[n].mobj = param->u[n].mem.mobj;
935 		mem[n].offs = ROUNDDOWN(phys_offs + param->u[n].mem.offs,
936 					CORE_MMU_USER_PARAM_SIZE);
937 		mem[n].size = ROUNDUP(phys_offs + param->u[n].mem.offs -
938 				      mem[n].offs + param->u[n].mem.size,
939 				      CORE_MMU_USER_PARAM_SIZE);
940 		/*
941 		 * For size 0 (raw pointer parameter), add minimum size
942 		 * value to allow address to be mapped
943 		 */
944 		if (!mem[n].size)
945 			mem[n].size = CORE_MMU_USER_PARAM_SIZE;
946 	}
947 
948 	/*
949 	 * Sort arguments so NULL mobj is last, secure mobjs first, then by
950 	 * mobj pointer value since those entries can't be merged either,
951 	 * finally by offset.
952 	 *
953 	 * This should result in a list where all mergeable entries are
954 	 * next to each other and unused/invalid entries are at the end.
955 	 */
956 	qsort(mem, TEE_NUM_PARAMS, sizeof(struct param_mem), cmp_param_mem);
957 
958 	for (n = 1, m = 0; n < TEE_NUM_PARAMS && mem[n].mobj; n++) {
959 		if (mem[n].mobj == mem[m].mobj &&
960 		    (mem[n].offs == (mem[m].offs + mem[m].size) ||
961 		     core_is_buffer_intersect(mem[m].offs, mem[m].size,
962 					      mem[n].offs, mem[n].size))) {
963 			mem[m].size = mem[n].offs + mem[n].size - mem[m].offs;
964 			continue;
965 		}
966 		m++;
967 		if (n != m)
968 			mem[m] = mem[n];
969 	}
970 	/*
971 	 * We'd like 'm' to be the number of valid entries. Here 'm' is the
972 	 * index of the last valid entry if the first entry is valid, else
973 	 * 0.
974 	 */
975 	if (mem[0].mobj)
976 		m++;
977 
978 	check_param_map_empty(uctx);
979 
980 	for (n = 0; n < m; n++) {
981 		vaddr_t va = 0;
982 
983 		res = vm_map(uctx, &va, mem[n].size,
984 			     TEE_MATTR_PRW | TEE_MATTR_URW,
985 			     VM_FLAG_EPHEMERAL | VM_FLAG_SHAREABLE,
986 			     mem[n].mobj, mem[n].offs);
987 		if (res)
988 			goto out;
989 	}
990 
991 	for (n = 0; n < TEE_NUM_PARAMS; n++) {
992 		uint32_t param_type = TEE_PARAM_TYPE_GET(param->types, n);
993 
994 		if (param_type != TEE_PARAM_TYPE_MEMREF_INPUT &&
995 		    param_type != TEE_PARAM_TYPE_MEMREF_OUTPUT &&
996 		    param_type != TEE_PARAM_TYPE_MEMREF_INOUT)
997 			continue;
998 		if (!param->u[n].mem.mobj)
999 			continue;
1000 
1001 		res = param_mem_to_user_va(uctx, &param->u[n].mem,
1002 					   param_va + n);
1003 		if (res != TEE_SUCCESS)
1004 			goto out;
1005 	}
1006 
1007 	res = alloc_pgt(uctx);
1008 out:
1009 	if (res)
1010 		vm_clean_param(uctx);
1011 
1012 	return res;
1013 }
1014 
1015 TEE_Result vm_add_rwmem(struct user_mode_ctx *uctx, struct mobj *mobj,
1016 			vaddr_t *va)
1017 {
1018 	TEE_Result res;
1019 	struct vm_region *reg = calloc(1, sizeof(*reg));
1020 
1021 	if (!reg)
1022 		return TEE_ERROR_OUT_OF_MEMORY;
1023 
1024 	reg->mobj = mobj;
1025 	reg->offset = 0;
1026 	reg->va = 0;
1027 	reg->size = ROUNDUP(mobj->size, SMALL_PAGE_SIZE);
1028 	if (mobj_is_secure(mobj))
1029 		reg->attr = TEE_MATTR_SECURE;
1030 	else
1031 		reg->attr = 0;
1032 
1033 	res = umap_add_region(&uctx->vm_info, reg, 0, 0, 0);
1034 	if (res) {
1035 		free(reg);
1036 		return res;
1037 	}
1038 
1039 	res = alloc_pgt(uctx);
1040 	if (res)
1041 		umap_remove_region(&uctx->vm_info, reg);
1042 	else
1043 		*va = reg->va;
1044 
1045 	return res;
1046 }
1047 
1048 void vm_rem_rwmem(struct user_mode_ctx *uctx, struct mobj *mobj, vaddr_t va)
1049 {
1050 	struct vm_region *r = NULL;
1051 
1052 	TAILQ_FOREACH(r, &uctx->vm_info.regions, link) {
1053 		if (r->mobj == mobj && r->va == va) {
1054 			rem_um_region(uctx, r);
1055 			umap_remove_region(&uctx->vm_info, r);
1056 			return;
1057 		}
1058 	}
1059 }
1060 
1061 void vm_info_final(struct user_mode_ctx *uctx)
1062 {
1063 	if (!uctx->vm_info.asid)
1064 		return;
1065 
1066 	/* clear MMU entries to avoid clash when asid is reused */
1067 	tlbi_asid(uctx->vm_info.asid);
1068 
1069 	asid_free(uctx->vm_info.asid);
1070 	while (!TAILQ_EMPTY(&uctx->vm_info.regions))
1071 		umap_remove_region(&uctx->vm_info,
1072 				   TAILQ_FIRST(&uctx->vm_info.regions));
1073 	memset(&uctx->vm_info, 0, sizeof(uctx->vm_info));
1074 }
1075 
1076 /* return true only if buffer fits inside TA private memory */
1077 bool vm_buf_is_inside_um_private(const struct user_mode_ctx *uctx,
1078 				 const void *va, size_t size)
1079 {
1080 	struct vm_region *r = NULL;
1081 
1082 	TAILQ_FOREACH(r, &uctx->vm_info.regions, link) {
1083 		if (r->flags & VM_FLAGS_NONPRIV)
1084 			continue;
1085 		if (core_is_buffer_inside((vaddr_t)va, size, r->va, r->size))
1086 			return true;
1087 	}
1088 
1089 	return false;
1090 }
1091 
1092 /* return true only if buffer intersects TA private memory */
1093 bool vm_buf_intersects_um_private(const struct user_mode_ctx *uctx,
1094 				  const void *va, size_t size)
1095 {
1096 	struct vm_region *r = NULL;
1097 
1098 	TAILQ_FOREACH(r, &uctx->vm_info.regions, link) {
1099 		if (r->attr & VM_FLAGS_NONPRIV)
1100 			continue;
1101 		if (core_is_buffer_intersect((vaddr_t)va, size, r->va, r->size))
1102 			return true;
1103 	}
1104 
1105 	return false;
1106 }
1107 
1108 TEE_Result vm_buf_to_mboj_offs(const struct user_mode_ctx *uctx,
1109 			       const void *va, size_t size,
1110 			       struct mobj **mobj, size_t *offs)
1111 {
1112 	struct vm_region *r = NULL;
1113 
1114 	TAILQ_FOREACH(r, &uctx->vm_info.regions, link) {
1115 		if (!r->mobj)
1116 			continue;
1117 		if (core_is_buffer_inside((vaddr_t)va, size, r->va, r->size)) {
1118 			size_t poffs;
1119 
1120 			poffs = mobj_get_phys_offs(r->mobj,
1121 						   CORE_MMU_USER_PARAM_SIZE);
1122 			*mobj = r->mobj;
1123 			*offs = (vaddr_t)va - r->va + r->offset - poffs;
1124 			return TEE_SUCCESS;
1125 		}
1126 	}
1127 
1128 	return TEE_ERROR_BAD_PARAMETERS;
1129 }
1130 
1131 static TEE_Result tee_mmu_user_va2pa_attr(const struct user_mode_ctx *uctx,
1132 					  void *ua, paddr_t *pa, uint32_t *attr)
1133 {
1134 	struct vm_region *region = NULL;
1135 
1136 	TAILQ_FOREACH(region, &uctx->vm_info.regions, link) {
1137 		if (!core_is_buffer_inside((vaddr_t)ua, 1, region->va,
1138 					   region->size))
1139 			continue;
1140 
1141 		if (pa) {
1142 			TEE_Result res;
1143 			paddr_t p;
1144 			size_t offset;
1145 			size_t granule;
1146 
1147 			/*
1148 			 * mobj and input user address may each include
1149 			 * a specific offset-in-granule position.
1150 			 * Drop both to get target physical page base
1151 			 * address then apply only user address
1152 			 * offset-in-granule.
1153 			 * Mapping lowest granule is the small page.
1154 			 */
1155 			granule = MAX(region->mobj->phys_granule,
1156 				      (size_t)SMALL_PAGE_SIZE);
1157 			assert(!granule || IS_POWER_OF_TWO(granule));
1158 
1159 			offset = region->offset +
1160 				 ROUNDDOWN((vaddr_t)ua - region->va, granule);
1161 
1162 			res = mobj_get_pa(region->mobj, offset, granule, &p);
1163 			if (res != TEE_SUCCESS)
1164 				return res;
1165 
1166 			*pa = p | ((vaddr_t)ua & (granule - 1));
1167 		}
1168 		if (attr)
1169 			*attr = region->attr;
1170 
1171 		return TEE_SUCCESS;
1172 	}
1173 
1174 	return TEE_ERROR_ACCESS_DENIED;
1175 }
1176 
1177 TEE_Result vm_va2pa(const struct user_mode_ctx *uctx, void *ua, paddr_t *pa)
1178 {
1179 	return tee_mmu_user_va2pa_attr(uctx, ua, pa, NULL);
1180 }
1181 
1182 void *vm_pa2va(const struct user_mode_ctx *uctx, paddr_t pa)
1183 {
1184 	paddr_t p = 0;
1185 	struct vm_region *region = NULL;
1186 
1187 	TAILQ_FOREACH(region, &uctx->vm_info.regions, link) {
1188 		size_t granule = 0;
1189 		size_t size = 0;
1190 		size_t ofs = 0;
1191 
1192 		/* pa2va is expected only for memory tracked through mobj */
1193 		if (!region->mobj)
1194 			continue;
1195 
1196 		/* Physically granulated memory object must be scanned */
1197 		granule = region->mobj->phys_granule;
1198 		assert(!granule || IS_POWER_OF_TWO(granule));
1199 
1200 		for (ofs = region->offset; ofs < region->size; ofs += size) {
1201 
1202 			if (granule) {
1203 				/* From current offset to buffer/granule end */
1204 				size = granule - (ofs & (granule - 1));
1205 
1206 				if (size > (region->size - ofs))
1207 					size = region->size - ofs;
1208 			} else {
1209 				size = region->size;
1210 			}
1211 
1212 			if (mobj_get_pa(region->mobj, ofs, granule, &p))
1213 				continue;
1214 
1215 			if (core_is_buffer_inside(pa, 1, p, size)) {
1216 				/* Remove region offset (mobj phys offset) */
1217 				ofs -= region->offset;
1218 				/* Get offset-in-granule */
1219 				p = pa - p;
1220 
1221 				return (void *)(region->va + ofs + (vaddr_t)p);
1222 			}
1223 		}
1224 	}
1225 
1226 	return NULL;
1227 }
1228 
1229 TEE_Result vm_check_access_rights(const struct user_mode_ctx *uctx,
1230 				  uint32_t flags, uaddr_t uaddr, size_t len)
1231 {
1232 	uaddr_t a = 0;
1233 	uaddr_t end_addr = 0;
1234 	size_t addr_incr = MIN(CORE_MMU_USER_CODE_SIZE,
1235 			       CORE_MMU_USER_PARAM_SIZE);
1236 
1237 	if (ADD_OVERFLOW(uaddr, len, &end_addr))
1238 		return TEE_ERROR_ACCESS_DENIED;
1239 
1240 	if ((flags & TEE_MEMORY_ACCESS_NONSECURE) &&
1241 	    (flags & TEE_MEMORY_ACCESS_SECURE))
1242 		return TEE_ERROR_ACCESS_DENIED;
1243 
1244 	/*
1245 	 * Rely on TA private memory test to check if address range is private
1246 	 * to TA or not.
1247 	 */
1248 	if (!(flags & TEE_MEMORY_ACCESS_ANY_OWNER) &&
1249 	   !vm_buf_is_inside_um_private(uctx, (void *)uaddr, len))
1250 		return TEE_ERROR_ACCESS_DENIED;
1251 
1252 	for (a = ROUNDDOWN(uaddr, addr_incr); a < end_addr; a += addr_incr) {
1253 		uint32_t attr;
1254 		TEE_Result res;
1255 
1256 		res = tee_mmu_user_va2pa_attr(uctx, (void *)a, NULL, &attr);
1257 		if (res != TEE_SUCCESS)
1258 			return res;
1259 
1260 		if ((flags & TEE_MEMORY_ACCESS_NONSECURE) &&
1261 		    (attr & TEE_MATTR_SECURE))
1262 			return TEE_ERROR_ACCESS_DENIED;
1263 
1264 		if ((flags & TEE_MEMORY_ACCESS_SECURE) &&
1265 		    !(attr & TEE_MATTR_SECURE))
1266 			return TEE_ERROR_ACCESS_DENIED;
1267 
1268 		if ((flags & TEE_MEMORY_ACCESS_WRITE) && !(attr & TEE_MATTR_UW))
1269 			return TEE_ERROR_ACCESS_DENIED;
1270 		if ((flags & TEE_MEMORY_ACCESS_READ) && !(attr & TEE_MATTR_UR))
1271 			return TEE_ERROR_ACCESS_DENIED;
1272 	}
1273 
1274 	return TEE_SUCCESS;
1275 }
1276 
1277 void vm_set_ctx(struct ts_ctx *ctx)
1278 {
1279 	struct thread_specific_data *tsd = thread_get_tsd();
1280 
1281 	core_mmu_set_user_map(NULL);
1282 	/*
1283 	 * No matter what happens below, the current user TA will not be
1284 	 * current any longer. Make sure pager is in sync with that.
1285 	 * This function has to be called before there's a chance that
1286 	 * pgt_free_unlocked() is called.
1287 	 *
1288 	 * Save translation tables in a cache if it's a user TA.
1289 	 */
1290 	pgt_free(&tsd->pgt_cache, is_user_ta_ctx(tsd->ctx));
1291 
1292 	if (is_user_mode_ctx(ctx)) {
1293 		struct core_mmu_user_map map = { };
1294 		struct user_mode_ctx *uctx = to_user_mode_ctx(ctx);
1295 
1296 		core_mmu_create_user_map(uctx, &map);
1297 		core_mmu_set_user_map(&map);
1298 		tee_pager_assign_um_tables(uctx);
1299 	}
1300 	tsd->ctx = ctx;
1301 }
1302 
1303