Symbol: kvm_supported_tlbi_s12_op
arch/arm64/kvm/sys_regs.c
3845
if (!kvm_supported_tlbi_s12_op(vcpu, sys_encoding))
arch/arm64/kvm/sys_regs.c
3938
if (!kvm_supported_tlbi_s12_op(vcpu, sys_encoding))