vmalle1is         142 arch/arm64/include/asm/tlbflush.h 	__tlbi(vmalle1is);
vmalle1is         139 arch/arm64/kvm/hyp/tlb.c 	__tlbi(vmalle1is);