Lines Matching refs:set_reg_val
720 kvmppc_set_dar(vcpu, set_reg_val(id, *val));
723 kvmppc_set_dsisr(vcpu, set_reg_val(id, *val));
727 VCPU_FPR(vcpu, i) = set_reg_val(id, *val);
730 vcpu->arch.fp.fpscr = set_reg_val(id, *val);
750 r = kvmppc_xive_set_icp(vcpu, set_reg_val(id, *val));
752 r = kvmppc_xics_set_icp(vcpu, set_reg_val(id, *val));
768 vcpu->arch.fscr = set_reg_val(id, *val);
771 vcpu->arch.tar = set_reg_val(id, *val);
774 vcpu->arch.ebbhr = set_reg_val(id, *val);
777 vcpu->arch.ebbrr = set_reg_val(id, *val);
780 vcpu->arch.bescr = set_reg_val(id, *val);
783 vcpu->arch.ic = set_reg_val(id, *val);