Searched refs:vale1 (Results 1 – 1 of 1) sorted by relevance
146 static __always_inline void vale1(u64 arg) in vale1() function148 __tlbi(vale1, arg); in vale1()149 __tlbi_user(vale1, arg); in vale1()597 __flush_s1_tlb_range_op(vale1, start, pages, stride, in __do_flush_tlb_range()