Home
last modified time | relevance | path

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

/optee_os-3.20.0/core/arch/arm/include/kernel/
A Dtlb_helpers.h33 tlbi_vale1is((va >> TLBI_MVA_SHIFT) | SHIFT_U64(a, TLBI_ASID_SHIFT)); in tlbi_mva_asid_nosync()
34 tlbi_vale1is((va >> TLBI_MVA_SHIFT) | in tlbi_mva_asid_nosync()
/optee_os-3.20.0/core/arch/arm/include/
A Darm64.h340 static inline __noprof void tlbi_vale1is(uint64_t mva) in tlbi_vale1is() function

Completed in 4 milliseconds