Symbol: rvae1is
arch/arm64/include/asm/tlbflush.h
401
__tlbi(rvae1is, arg);
arch/arm64/include/asm/tlbflush.h
402
__tlbi_user(rvae1is, arg);
arch/arm64/kvm/hyp/vhe/tlb.c
324
__tlbi(rvae1is, va);