Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/include/kernel/
H A Dtlb_helpers.h22 tlbi_vaae1is(va >> TLBI_VA_SHIFT); in tlbi_va_allasid_nosync()
33 tlbi_vale1is((va >> TLBI_VA_SHIFT) | SHIFT_U64(a, TLBI_ASID_SHIFT)); in tlbi_va_asid_nosync()
34 tlbi_vale1is((va >> TLBI_VA_SHIFT) | in tlbi_va_asid_nosync()
/optee_os/core/arch/arm/kernel/
H A Dtlb_helpers_a64.S21 lsr x0, x0, #TLBI_VA_SHIFT
/optee_os/core/arch/arm/include/
H A Darm64.h244 #define TLBI_VA_SHIFT U(12) macro