arch/arm64/include/asm/tlbflush.h

311

asid = __TLBI_VADDR(0, ASID(mm));

arch/arm64/include/asm/tlbflush.h

324

addr = __TLBI_VADDR(uaddr, ASID(mm));

arch/arm64/include/asm/tlbflush.h

351

addr = __TLBI_VADDR(uaddr, ASID(mm));

arch/arm64/include/asm/tlbflush.h

444

addr = __TLBI_VADDR(__flush_start, asid); \

arch/arm64/include/asm/tlbflush.h

581

unsigned long addr = __TLBI_VADDR(kaddr, 0);

arch/arm64/kernel/sys_compat.c

39

__tlbi(aside1is, __TLBI_VADDR(0, 0));

arch/arm64/kvm/hyp/nvhe/mm.c

273

__tlbi_level(vale2is, __TLBI_VADDR(addr, 0), level);

arch/arm64/kvm/hyp/pgtable.c

493

__tlbi_level(vae2is, __TLBI_VADDR(ctx->addr, 0), TLBI_TTL_UNKNOWN);

arch/arm64/kvm/hyp/pgtable.c

500

__tlbi_level(vale2is, __TLBI_VADDR(ctx->addr, 0), ctx->level);