__kvm_tlbi_s1e2 - Linux

Symbol: __kvm_tlbi_s1e2

arch/arm64/include/asm/kvm_asm.h

extern int __kvm_tlbi_s1e2(struct kvm_s2_mmu *mmu, u64 va, u64 sys_encoding);

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

ret = __kvm_tlbi_s1e2(NULL, val, instr);

arch/arm64/kvm/sys_regs.c

WARN_ON(__kvm_tlbi_s1e2(mmu, info->va.addr, info->va.encoding));