kvm_has_sctlr2
if (kvm_has_sctlr2(kvm))
return kvm_has_sctlr2(kern_hyp_va(vcpu->kvm));
if (!kvm_has_sctlr2(vcpu->kvm))
if (kvm_has_sctlr2(vcpu->kvm))