Home
last modified time | relevance | path

Searched defs:asid (Results 1 – 9 of 9) sorted by relevance

/optee_os/core/arch/arm/include/kernel/
H A Dtlb_helpers.h28 static inline void tlbi_va_asid_nosync(vaddr_t va, uint32_t asid) in tlbi_va_asid_nosync()
42 static inline void tlbi_va_asid(vaddr_t va, uint32_t asid) in tlbi_va_asid()
/optee_os/core/arch/arm/mm/
H A Dcore_mmu.c49 void tlbi_va_range_asid(vaddr_t va, size_t len, size_t granule, uint32_t asid) in tlbi_va_range_asid()
175 void asid_free(unsigned int asid) in asid_free()
H A Dcore_mmu_lpae.c337 unsigned int asid; member
569 unsigned int asid = asid_alloc(); in core_alloc_mmu_prtn() local
H A Dtee_pager.c471 uint32_t asid = to_user_mode_ctx(tblidx.pgt->ctx)->vm_info.asid; in tblidx_tlbi_entry() local
/optee_os/core/arch/riscv/mm/
H A Dcore_mmu_arch.c79 unsigned int asid; member
171 static unsigned long core_mmu_pgt_to_satp(unsigned long asid, in core_mmu_pgt_to_satp()
596 size_t granule, uint32_t asid) in tlbi_va_range_asid()
670 void asid_free(unsigned int asid) in asid_free()
/optee_os/core/arch/arm/include/mm/
H A Dcore_mmu_arch.h121 uint32_t asid; member
/optee_os/core/include/mm/
H A Dtee_mmu_types.h132 unsigned int asid; member
/optee_os/core/arch/riscv/include/mm/
H A Dcore_mmu_arch.h169 uint32_t asid; member
/optee_os/core/mm/
H A Dvm.c881 uint32_t asid = asid_alloc(); in vm_info_init() local