Symbol: kvm_supported_tlbi_s1e1_op
arch/arm64/kvm/hyp/vhe/switch.c
418
if ((kvm_supported_tlbi_s1e1_op(vcpu, instr) &&
arch/arm64/kvm/sys_regs.c
4174
if (!kvm_supported_tlbi_s1e1_op(vcpu, sys_encoding))