tlbi_mva_asid_nosync (reference) in projects: optee_os-3.20.0

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

/optee_os-3.20.0/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() function 45 tlbi_mva_asid_nosync(va, asid); in tlbi_mva_asid()`
/optee_os-3.20.0/core/arch/arm/mm/
A D	core_mmu.c	`56 tlbi_mva_asid_nosync(va, asid); in tlbi_mva_range_asid()`

Completed in 3 milliseconds