Searched refs:vale2is (Results 1 – 3 of 3) sorted by relevance
158 static __always_inline void vale2is(u64 arg) in vale2is() function160 __tlbi(vale2is, arg); in vale2is()276 __repeat_tlbi_sync(vale2is, 0); in __tlbi_sync_s1ish_hyp()
273 __tlbi_level(vale2is, addr, level); in fixmap_clear_slot()
495 __tlbi_level(vale2is, ctx->addr, ctx->level); in hyp_unmap_walker()