kvm_supported_tlbi_s1e2_op - Linux

Symbol: kvm_supported_tlbi_s1e2_op

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

kvm_supported_tlbi_s1e2_op (vcpu, instr))

arch/arm64/kvm/sys_regs.c

if (!kvm_supported_tlbi_s1e2_op(vcpu, sys_encoding))