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