Searched refs:tlbi_mva_asid (Results 1 – 2 of 2) sorted by relevance

/optee_os-3.20.0/core/arch/arm/include/kernel/
A D	tlb_helpers.h	42 static inline void tlbi_mva_asid(vaddr_t va, uint32_t asid) in tlbi_mva_asid() function
/optee_os-3.20.0/core/arch/arm/mm/
A D	tee_pager.c	473 tlbi_mva_asid(va, asid); in tblidx_tlbi_entry()

Completed in 6 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023