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

/optee_os/core/arch/arm/include/kernel/
A D	tlb_helpers.h	28 static inline void tlbi_mva_asid_nosync(vaddr_t va, uint32_t asid) in tlbi_mva_asid_nosync() 42 static inline void tlbi_mva_asid(vaddr_t va, uint32_t asid) in tlbi_mva_asid()
/optee_os/core/include/mm/
A D	tee_mmu_types.h	112 unsigned int asid; member
/optee_os/core/arch/arm/mm/
A D	core_mmu_lpae.c	264 unsigned int asid; member 433 unsigned int asid = asid_alloc(); in core_alloc_mmu_prtn() local
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() 2088 void asid_free(unsigned int asid) 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
/optee_os/core/arch/arm/include/mm/
A D	core_mmu.h	358 uint32_t asid; member
/optee_os/core/mm/
A D	vm.c	827 uint32_t asid = asid_alloc(); in vm_info_init() local

Completed in 19 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023