| /optee_os/core/arch/arm/include/kernel/ |
| H A D | tlb_helpers.h | 16 void tlbi_asid(unsigned long asid);
28 static inline void tlbi_va_asid_nosync(vaddr_t va, uint32_t asid) in tlbi_va_asid_nosync() argument
30 uint32_t a = asid & TLBI_ASID_MASK; in tlbi_va_asid_nosync()
42 static inline void tlbi_va_asid(vaddr_t va, uint32_t asid) in tlbi_va_asid() argument
45 tlbi_va_asid_nosync(va, asid); in tlbi_va_asid()
|
| /optee_os/core/arch/arm/mm/ |
| H A D | core_mmu.c | 49 void tlbi_va_range_asid(vaddr_t va, size_t len, size_t granule, uint32_t asid) in tlbi_va_range_asid() argument
56 tlbi_va_asid_nosync(va, asid); in tlbi_va_range_asid()
175 void asid_free(unsigned int asid) in asid_free() argument
180 assert(!(asid & 1)); in asid_free()
182 if (asid) { in asid_free()
183 int i = (asid - 1) / 2; in asid_free()
|
| H A D | core_mmu_lpae.c | 337 unsigned int asid; member
359 .asid = 0
569 unsigned int asid = asid_alloc(); in core_alloc_mmu_prtn() local
573 if (!asid) in core_alloc_mmu_prtn()
599 prtn->asid = asid; in core_alloc_mmu_prtn()
604 asid_free(asid); in core_alloc_mmu_prtn()
610 asid_free(prtn->asid); in core_free_mmu_prtn()
627 write_ttbr0_el1(ttbr | ((paddr_t)prtn->asid << TTBR_ASID_SHIFT)); in core_mmu_set_prtn()
1270 map->asid = uctx->vm_info.asid; in core_mmu_create_user_map()
1462 map->asid = (read_ttbr0_64bit() >> TTBR_ASID_SHIFT) & in core_mmu_get_user_map()
[all …]
|
| H 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_va_asid(va, asid); in tblidx_tlbi_entry()
1057 tlbi_asid(uctx->vm_info.asid); in tee_pager_rem_um_region()
|
| H A D | core_mmu_v7.c | 576 map->ctxid = uctx->vm_info.asid; in core_mmu_create_user_map()
|
| /optee_os/core/arch/riscv/include/kernel/ |
| H A D | tlb_helpers.h | 13 void tlbi_asid(unsigned long asid);
14 void tlbi_va_asid(vaddr_t va, uint32_t asid);
|
| /optee_os/core/arch/riscv/mm/ |
| H A D | core_mmu_arch.c | 79 unsigned int asid; member
93 .asid = 0,
171 static unsigned long core_mmu_pgt_to_satp(unsigned long asid, in core_mmu_pgt_to_satp() argument
179 satp |= SHIFT_U64(asid, RISCV_SATP_ASID_SHIFT); in core_mmu_pgt_to_satp()
596 size_t granule, uint32_t asid) in tlbi_va_range_asid() argument
607 tlbi_va_asid(va, asid); in tlbi_va_range_asid()
670 void asid_free(unsigned int asid) in asid_free() argument
674 if (asid) { in asid_free()
675 unsigned int i = asid - 1; in asid_free()
960 satp |= SHIFT_U64(map->asid, RISCV_SATP_ASID_SHIFT); in core_mmu_set_user_map()
[all …]
|
| /optee_os/core/mm/ |
| H A D | vm.c | 145 uctx->vm_info.asid); in rem_um_region()
781 uctx->vm_info.asid); in vm_set_prot()
881 uint32_t asid = asid_alloc(); in vm_info_init() local
883 if (!asid) { in vm_info_init()
891 uctx->vm_info.asid = asid; in vm_info_init()
1080 if (!uctx->vm_info.asid) in vm_info_final()
1087 tlbi_asid(uctx->vm_info.asid); in vm_info_final()
1089 asid_free(uctx->vm_info.asid); in vm_info_final()
1090 uctx->vm_info.asid = 0; in vm_info_final()
|
| /optee_os/core/include/mm/ |
| H A D | tee_mmu_types.h | 132 unsigned int asid; member
|
| H A D | core_mmu.h | 638 void tlbi_va_range_asid(vaddr_t va, size_t len, size_t granule, uint32_t asid);
659 void asid_free(unsigned int asid);
|
| /optee_os/core/arch/arm/include/mm/ |
| H A D | core_mmu_arch.h | 121 uint32_t asid; member
|
| /optee_os/core/arch/riscv/include/mm/ |
| H A D | core_mmu_arch.h | 169 uint32_t asid; member
|
| /optee_os/core/kernel/ |
| H A D | user_ta.c | 417 return to_user_ta_ctx(ctx)->uctx.vm_info.asid; in user_ta_get_instance_id()
|
| /optee_os/core/arch/arm/kernel/ |
| H A D | stmm_sp.c | 585 return to_stmm_ctx(ctx)->uctx.vm_info.asid; in stmm_get_instance_id()
|