Symbol: rvale1is
arch/arm64/include/asm/tlbflush.h
413
__tlbi(rvale1is, arg);
arch/arm64/include/asm/tlbflush.h
414
__tlbi_user(rvale1is, arg);
arch/arm64/kvm/hyp/vhe/tlb.c
338
__tlbi(rvale1is, va);