Lines Matching refs:get_reg_val
1644 *val = get_reg_val(id, vcpu->arch.dbg_reg.iac1);
1647 *val = get_reg_val(id, vcpu->arch.dbg_reg.iac2);
1651 *val = get_reg_val(id, vcpu->arch.dbg_reg.iac3);
1654 *val = get_reg_val(id, vcpu->arch.dbg_reg.iac4);
1658 *val = get_reg_val(id, vcpu->arch.dbg_reg.dac1);
1661 *val = get_reg_val(id, vcpu->arch.dbg_reg.dac2);
1665 *val = get_reg_val(id, epr);
1670 *val = get_reg_val(id, vcpu->arch.epcr);
1674 *val = get_reg_val(id, vcpu->arch.tcr);
1677 *val = get_reg_val(id, vcpu->arch.tsr);
1680 *val = get_reg_val(id, KVMPPC_INST_SW_BREAKPOINT);
1683 *val = get_reg_val(id, vcpu->arch.vrsave);