kvm_has_tcr2
if (kvm_has_tcr2(kvm))
if (kvm_has_tcr2(vcpu->kvm)) {
return kvm_has_tcr2(kern_hyp_va(vcpu->kvm));
if (kvm_has_tcr2(vcpu->kvm))