Searched refs:__TLBI_VADDR (Results 1 – 2 of 2) sorted by relevance
57 #define __TLBI_VADDR(addr, asid) \ macro248 unsigned long asid = __TLBI_VADDR(0, ASID(mm)); in flush_tlb_mm()259 unsigned long addr = __TLBI_VADDR(uaddr, ASID(vma->vm_mm)); in flush_tlb_page_nosync()330 addr = __TLBI_VADDR(start, asid); in __flush_tlb_range()382 start = __TLBI_VADDR(start, 0); in flush_tlb_kernel_range()383 end = __TLBI_VADDR(end, 0); in flush_tlb_kernel_range()398 unsigned long addr = __TLBI_VADDR(kaddr, 0); in __flush_tlb_kernel_pgtable()
40 __tlbi(aside1is, __TLBI_VADDR(0, 0)); in __do_compat_cache_op()
