kvmppc_xive_vcpu_has_save_restore
return kvmppc_xive_vcpu_has_save_restore(vcpu);
if (!kvmppc_xive_vcpu_has_save_restore(vcpu))