kvm_has_s1pie
if (!kvm_has_s1pie(vcpu->kvm))
if (kvm_has_s1pie(vcpu->kvm)) {
return kvm_has_s1pie(kern_hyp_va(vcpu->kvm));
if (kvm_has_s1pie(vcpu->kvm))