Searched refs:tlbi_vale1is (Results 1 – 2 of 2) sorted by relevance
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()
390 static inline __noprof void tlbi_vale1is(uint64_t va) in tlbi_vale1is() function