Home
last modified time | relevance | path

Searched refs:tlbi_va_asid (Results 1 – 5 of 5) sorted by relevance

/optee_os/core/arch/riscv/mm/
H A Dtlb_helpers_rv.S28 FUNC tlbi_va_asid , :
31 END_FUNC tlbi_va_asid
H A Dcore_mmu_arch.c607 tlbi_va_asid(va, asid); in tlbi_va_range_asid()
/optee_os/core/arch/riscv/include/kernel/
H A Dtlb_helpers.h14 void tlbi_va_asid(vaddr_t va, uint32_t asid);
/optee_os/core/arch/arm/include/kernel/
H A Dtlb_helpers.h42 static inline void tlbi_va_asid(vaddr_t va, uint32_t asid) in tlbi_va_asid() function
/optee_os/core/arch/arm/mm/
H A Dtee_pager.c473 tlbi_va_asid(va, asid); in tblidx_tlbi_entry()