arch/arm64/include/asm/tlbflush.h

116

__tlbi_level(op, (arg | USER_ASID_FLAG), level); \

arch/arm64/include/asm/tlbflush.h

445

__tlbi_level(op, addr, tlb_level); \

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

273

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

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

162

__tlbi_level(ipas2e1is, ipa, level);

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

192

__tlbi_level(ipas2e1, ipa, 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);

arch/arm64/kvm/hyp/vhe/tlb.c

108

__tlbi_level(ipas2e1is, ipa, level);

arch/arm64/kvm/hyp/vhe/tlb.c

140

__tlbi_level(ipas2e1, ipa, level);