Searched refs:tee_pager_add_core_region (Results 1 – 4 of 4) sorted by relevance
| /optee_os/core/include/mm/ |
| H A D | tee_pager.h | 86 void tee_pager_add_core_region(vaddr_t base, enum vm_paged_region_type type,
|
| /optee_os/core/arch/arm/mm/ |
| H A D | tee_pager.c | 625 void tee_pager_add_core_region(vaddr_t base, enum vm_paged_region_type type, in tee_pager_add_core_region() function
2019 tee_pager_add_core_region((vaddr_t)smem, PAGED_REGION_TYPE_LOCK, fobj); in tee_pager_alloc()
2040 tee_pager_add_core_region((vaddr_t)smem, PAGED_REGION_TYPE_RW, fobj); in tee_pager_init_iv_region()
|
| /optee_os/core/kernel/ |
| H A D | thread.c | 554 tee_pager_add_core_region(tee_mm_get_smem(mm) + SMALL_PAGE_SIZE, in init_thread_stacks()
|
| /optee_os/core/arch/arm/kernel/ |
| H A D | boot.c | 600 tee_pager_add_core_region(tee_mm_get_smem(mm), PAGED_REGION_TYPE_RO, in init_pager_runtime()
|