Home
last modified time | relevance | path

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

/optee_os/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/core/arch/arm/include/
A Darm64.h272 static inline __noprof void tlbi_vale1is(uint64_t mva) in tlbi_vale1is() function
/optee_os/out/arm/core/
A Dtee.dmp15669 tlbi_vale1is():
15675 tlbi_vale1is():

Completed in 125 milliseconds