Searched refs:vaale1is (Results 1 – 2 of 2) sorted by relevance
195 static __always_inline void vaale1is(u64 arg) in vaale1is() function197 __tlbi(vaale1is, arg); in vaale1is()698 __flush_s1_tlb_range_op(vaale1is, start, pages, stride, 0, in flush_tlb_kernel_range()
310 __tlbi(vaale1is, va); in __kvm_tlbi_s1e2()