__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));