94 	unsigned long addr = uaddr >> 12 | (ASID(vma->vm_mm) << 48);  in flush_tlb_page()  local
97 	asm("tlbi	vale1is, %0" : : "r" (addr));  in flush_tlb_page()
112 	unsigned long addr;  in __flush_tlb_range()  local
123 	for (addr = start; addr < end; addr += 1 << (PAGE_SHIFT - 12)) {  in __flush_tlb_range()
125 			asm("tlbi vale1is, %0" : : "r"(addr));  in __flush_tlb_range()
127 			asm("tlbi vae1is, %0" : : "r"(addr));  in __flush_tlb_range()
140 	unsigned long addr;  in flush_tlb_kernel_range()  local
151 	for (addr = start; addr < end; addr += 1 << (PAGE_SHIFT - 12))  in flush_tlb_kernel_range()
152 		asm("tlbi vaae1is, %0" : : "r"(addr));  in flush_tlb_kernel_range()
164 	unsigned long addr = uaddr >> 12 | (ASID(mm) << 48);  in __flush_tlb_pgtable()  local
166 	asm("tlbi	vae1is, %0" : : "r" (addr));  in __flush_tlb_pgtable()