Searched refs:vae2is (Results 1 – 2 of 2) sorted by relevance
141 static __always_inline void vae2is(u64 arg) in vae2is() function143 __tlbi(vae2is, arg); in vae2is()
488 __tlbi_level(vae2is, ctx->addr, TLBI_TTL_UNKNOWN); in hyp_unmap_walker()