aside1is          152 arch/arm64/include/asm/tlbflush.h 	__tlbi(aside1is, asid);
aside1is          153 arch/arm64/include/asm/tlbflush.h 	__tlbi_user(aside1is, asid);
aside1is           40 arch/arm64/kernel/sys_compat.c 			__tlbi(aside1is, __TLBI_VADDR(0, 0));