Symbol: rvaale1is
arch/arm64/include/asm/tlbflush.h
466
__tlbi(rvaale1is, arg);
arch/arm64/kvm/hyp/vhe/tlb.c
354
__tlbi(rvaale1is, va);