Lines Matching refs:get_reg_val
632 *val = get_reg_val(id, kvmppc_get_dar(vcpu));
635 *val = get_reg_val(id, kvmppc_get_dsisr(vcpu));
639 *val = get_reg_val(id, VCPU_FPR(vcpu, i));
642 *val = get_reg_val(id, vcpu->arch.fp.fpscr);
656 *val = get_reg_val(id, INS_TW);
665 *val = get_reg_val(id, kvmppc_xive_get_icp(vcpu));
667 *val = get_reg_val(id, kvmppc_xics_get_icp(vcpu));
683 *val = get_reg_val(id, vcpu->arch.fscr);
686 *val = get_reg_val(id, vcpu->arch.tar);
689 *val = get_reg_val(id, vcpu->arch.ebbhr);
692 *val = get_reg_val(id, vcpu->arch.ebbrr);
695 *val = get_reg_val(id, vcpu->arch.bescr);
698 *val = get_reg_val(id, vcpu->arch.ic);