Symbol: vale2is
arch/arm64/include/asm/tlbflush.h
127
__tlbi(vale2is, arg);
arch/arm64/include/asm/tlbflush.h
229
__repeat_tlbi_sync(vale2is, 0);
arch/arm64/kvm/hyp/nvhe/mm.c
273
__tlbi_level(vale2is, addr, level);
arch/arm64/kvm/hyp/pgtable.c
495
__tlbi_level(vale2is, ctx->addr, ctx->level);