Searched refs:asid (Results 1 – 10 of 10) sorted by relevance
| /optee_os/core/arch/arm/include/kernel/ |
| A D | tlb_helpers.h | 16 void tlbi_asid(unsigned long asid);
28 static inline void tlbi_mva_asid_nosync(vaddr_t va, uint32_t asid) in tlbi_mva_asid_nosync() argument
30 uint32_t a = asid & TLBI_ASID_MASK; in tlbi_mva_asid_nosync()
42 static inline void tlbi_mva_asid(vaddr_t va, uint32_t asid) in tlbi_mva_asid() argument
45 tlbi_mva_asid_nosync(va, asid); in tlbi_mva_asid()
|
| /optee_os/core/arch/arm/mm/ |
| A D | core_mmu_lpae.c | 264 unsigned int asid; member
280 .asid = 0
433 unsigned int asid = asid_alloc(); in core_alloc_mmu_prtn() local
437 if (!asid) in core_alloc_mmu_prtn()
442 asid_free(asid); in core_alloc_mmu_prtn()
458 prtn->asid = asid; in core_alloc_mmu_prtn()
465 asid_free(prtn->asid); in core_free_mmu_prtn()
950 map->asid = uctx->vm_info.asid; in core_mmu_create_user_map()
1148 map->asid = 0; in core_mmu_get_user_map()
1175 ttbr |= ((uint64_t)map->asid << TTBR_ASID_SHIFT); in core_mmu_set_user_map()
[all …]
|
| A D | core_mmu.c | 1412 void tlbi_mva_range_asid(vaddr_t va, size_t len, size_t granule, uint32_t asid) in tlbi_mva_range_asid() argument
1419 tlbi_mva_asid_nosync(va, asid); in tlbi_mva_range_asid()
2088 void asid_free(unsigned int asid) in asid_free() argument
2093 assert(!(asid & 1)); in asid_free()
2095 if (asid) { in asid_free()
2096 int i = (asid - 1) / 2; in asid_free()
|
| A D | tee_pager.c | 471 uint32_t asid = to_user_mode_ctx(tblidx.pgt->ctx)->vm_info.asid; in tblidx_tlbi_entry() local
473 tlbi_mva_asid(va, asid); in tblidx_tlbi_entry()
1057 tlbi_asid(uctx->vm_info.asid); in tee_pager_rem_um_region()
|
| A D | core_mmu_v7.c | 501 map->ctxid = uctx->vm_info.asid; in core_mmu_create_user_map()
|
| /optee_os/core/arch/arm/include/mm/ |
| A D | core_mmu.h | 358 uint32_t asid; member
680 void tlbi_mva_range_asid(vaddr_t va, size_t len, size_t granule, uint32_t asid);
730 void asid_free(unsigned int asid);
|
| /optee_os/core/mm/ |
| A D | vm.c | 183 uctx->vm_info.asid); in rem_um_region()
827 uint32_t asid = asid_alloc(); in vm_info_init() local
829 if (!asid) { in vm_info_init()
836 uctx->vm_info.asid = asid; in vm_info_init()
1070 if (!uctx->vm_info.asid) in vm_info_final()
1074 tlbi_asid(uctx->vm_info.asid); in vm_info_final()
1076 asid_free(uctx->vm_info.asid); in vm_info_final()
|
| /optee_os/core/include/mm/ |
| A D | tee_mmu_types.h | 112 unsigned int asid; member
|
| /optee_os/core/kernel/ |
| A D | user_ta.c | 370 return to_user_ta_ctx(ctx)->uctx.vm_info.asid; in user_ta_get_instance_id()
|
| /optee_os/core/arch/arm/kernel/ |
| A D | stmm_sp.c | 477 return to_stmm_ctx(ctx)->uctx.vm_info.asid; in stmm_get_instance_id()
|
Completed in 27 milliseconds