__tlbi_user       153 arch/arm64/include/asm/tlbflush.h 	__tlbi_user(aside1is, asid);
__tlbi_user       164 arch/arm64/include/asm/tlbflush.h 	__tlbi_user(vale1is, addr);
__tlbi_user       205 arch/arm64/include/asm/tlbflush.h 			__tlbi_user(vale1is, addr);
__tlbi_user       208 arch/arm64/include/asm/tlbflush.h 			__tlbi_user(vae1is, addr);