vmalle1           134 arch/arm64/include/asm/tlbflush.h 	__tlbi(vmalle1);
vmalle1           193 arch/arm64/kvm/hyp/tlb.c 	__tlbi(vmalle1);