Searched refs:__TLBI_VADDR (Results 1 – 3 of 3) sorted by relevance
| /Linux-v6.1/arch/arm64/include/asm/ |
| D | tlbflush.h | 57 #define __TLBI_VADDR(addr, asid) \ macro
251 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()
|
| /Linux-v6.1/arch/arm64/kernel/ |
| D | sys_compat.c | 39 __tlbi(aside1is, __TLBI_VADDR(0, 0)); in __do_compat_cache_op()
|
| /Linux-v6.1/arch/arm64/kvm/hyp/ |
| D | pgtable.c | 478 __tlbi_level(vae2is, __TLBI_VADDR(addr, 0), level); in hyp_unmap_walker()
485 __tlbi_level(vale2is, __TLBI_VADDR(addr, 0), level); in hyp_unmap_walker()
|
