vale1is           163 arch/arm64/include/asm/tlbflush.h 	__tlbi(vale1is, addr);
vale1is           164 arch/arm64/include/asm/tlbflush.h 	__tlbi_user(vale1is, addr);
vale1is           204 arch/arm64/include/asm/tlbflush.h 			__tlbi(vale1is, addr);
vale1is           205 arch/arm64/include/asm/tlbflush.h 			__tlbi_user(vale1is, addr);