Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/include/kernel/
H A Dtlb_helpers.h30 uint32_t a = asid & TLBI_ASID_MASK; in tlbi_va_asid_nosync()
/optee_os/core/arch/arm/include/
H A Darm32.h149 #define TLBI_ASID_MASK U(0xff) macro
H A Darm64.h246 #define TLBI_ASID_MASK U(0xff) macro