Lines Matching refs:set_reg_val
668 kvmppc_set_dar(vcpu, set_reg_val(id, *val));
671 kvmppc_set_dsisr(vcpu, set_reg_val(id, *val));
675 VCPU_FPR(vcpu, i) = set_reg_val(id, *val);
678 vcpu->arch.fp.fpscr = set_reg_val(id, *val);
698 r = kvmppc_xive_set_icp(vcpu, set_reg_val(id, *val));
700 r = kvmppc_xics_set_icp(vcpu, set_reg_val(id, *val));
716 vcpu->arch.fscr = set_reg_val(id, *val);
719 vcpu->arch.tar = set_reg_val(id, *val);
722 vcpu->arch.ebbhr = set_reg_val(id, *val);
725 vcpu->arch.ebbrr = set_reg_val(id, *val);
728 vcpu->arch.bescr = set_reg_val(id, *val);
731 vcpu->arch.ic = set_reg_val(id, *val);