__TLBI_VADDR      149 arch/arm64/include/asm/tlbflush.h 	unsigned long asid = __TLBI_VADDR(0, ASID(mm));
__TLBI_VADDR      160 arch/arm64/include/asm/tlbflush.h 	unsigned long addr = __TLBI_VADDR(uaddr, ASID(vma->vm_mm));
__TLBI_VADDR      198 arch/arm64/include/asm/tlbflush.h 	start = __TLBI_VADDR(start, asid);
__TLBI_VADDR      199 arch/arm64/include/asm/tlbflush.h 	end = __TLBI_VADDR(end, asid);
__TLBI_VADDR      233 arch/arm64/include/asm/tlbflush.h 	start = __TLBI_VADDR(start, 0);
__TLBI_VADDR      234 arch/arm64/include/asm/tlbflush.h 	end = __TLBI_VADDR(end, 0);
__TLBI_VADDR      249 arch/arm64/include/asm/tlbflush.h 	unsigned long addr = __TLBI_VADDR(kaddr, 0);
__TLBI_VADDR       40 arch/arm64/kernel/sys_compat.c 			__tlbi(aside1is, __TLBI_VADDR(0, 0));