Searched refs:__TLBI_VADDR (Results 1 – 4 of 4) sorted by relevance
| /linux/arch/arm64/include/asm/ |
| H A D | tlbflush.h | 50 #define __TLBI_VADDR(addr, asid) \ macro
311 asid = __TLBI_VADDR(0, ASID(mm)); in flush_tlb_mm()
324 addr = __TLBI_VADDR(uaddr, ASID(mm)); in __local_flush_tlb_page_nonotify_nosync()
351 addr = __TLBI_VADDR(uaddr, ASID(mm)); in __flush_tlb_page_nosync()
444 addr = __TLBI_VADDR(__flush_start, asid); \
581 unsigned long addr = __TLBI_VADDR(kaddr, 0); in __flush_tlb_kernel_pgtable()
|
| /linux/arch/arm64/kernel/ |
| H A D | sys_compat.c | 39 __tlbi(aside1is, __TLBI_VADDR(0, 0)); in __do_compat_cache_op()
|
| /linux/arch/arm64/kvm/hyp/nvhe/ |
| H A D | mm.c | 273 __tlbi_level(vale2is, __TLBI_VADDR(addr, 0), level); in fixmap_clear_slot()
|
| /linux/arch/arm64/kvm/hyp/ |
| H A D | pgtable.c | 493 __tlbi_level(vae2is, __TLBI_VADDR(ctx->addr, 0), TLBI_TTL_UNKNOWN); in hyp_unmap_walker()
500 __tlbi_level(vale2is, __TLBI_VADDR(ctx->addr, 0), ctx->level); in hyp_unmap_walker()
|