Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/include/kernel/
A Dtlb_helpers.h19 static inline void tlbi_mva_allasid_nosync(vaddr_t va) in tlbi_mva_allasid_nosync() function
/optee_os/core/arch/arm/mm/
A Dcore_mmu.c1404 tlbi_mva_allasid_nosync(va); in tlbi_mva_range()

Completed in 7 milliseconds