Lines Matching refs:get_reg_val
580 *val = get_reg_val(id, kvmppc_get_dar(vcpu));
583 *val = get_reg_val(id, kvmppc_get_dsisr(vcpu));
587 *val = get_reg_val(id, VCPU_FPR(vcpu, i));
590 *val = get_reg_val(id, vcpu->arch.fp.fpscr);
604 *val = get_reg_val(id, INS_TW);
613 *val = get_reg_val(id, kvmppc_xive_get_icp(vcpu));
615 *val = get_reg_val(id, kvmppc_xics_get_icp(vcpu));
631 *val = get_reg_val(id, vcpu->arch.fscr);
634 *val = get_reg_val(id, vcpu->arch.tar);
637 *val = get_reg_val(id, vcpu->arch.ebbhr);
640 *val = get_reg_val(id, vcpu->arch.ebbrr);
643 *val = get_reg_val(id, vcpu->arch.bescr);
646 *val = get_reg_val(id, vcpu->arch.ic);