kvm_has_fpmr
if (kvm_has_fpmr(kvm))
if (kvm_has_fpmr(kern_hyp_va(vcpu->kvm)))
if (kvm_has_fpmr(kern_hyp_va(vcpu->kvm)))
has_fpmr = kvm_has_fpmr(kern_hyp_va(vcpu->kvm));
if (kvm_has_fpmr(vcpu->kvm))