Lines Matching defs:val
1672 union kvmppc_one_reg *val)
1678 *val = get_reg_val(id, vcpu->arch.dbg_reg.iac1);
1681 *val = get_reg_val(id, vcpu->arch.dbg_reg.iac2);
1685 *val = get_reg_val(id, vcpu->arch.dbg_reg.iac3);
1688 *val = get_reg_val(id, vcpu->arch.dbg_reg.iac4);
1692 *val = get_reg_val(id, vcpu->arch.dbg_reg.dac1);
1695 *val = get_reg_val(id, vcpu->arch.dbg_reg.dac2);
1699 *val = get_reg_val(id, epr);
1704 *val = get_reg_val(id, vcpu->arch.epcr);
1708 *val = get_reg_val(id, vcpu->arch.tcr);
1711 *val = get_reg_val(id, vcpu->arch.tsr);
1714 *val = get_reg_val(id, KVMPPC_INST_SW_BREAKPOINT);
1717 *val = get_reg_val(id, vcpu->arch.vrsave);
1720 r = vcpu->kvm->arch.kvm_ops->get_one_reg(vcpu, id, val);
1728 union kvmppc_one_reg *val)
1734 vcpu->arch.dbg_reg.iac1 = set_reg_val(id, *val);
1737 vcpu->arch.dbg_reg.iac2 = set_reg_val(id, *val);
1741 vcpu->arch.dbg_reg.iac3 = set_reg_val(id, *val);
1744 vcpu->arch.dbg_reg.iac4 = set_reg_val(id, *val);
1748 vcpu->arch.dbg_reg.dac1 = set_reg_val(id, *val);
1751 vcpu->arch.dbg_reg.dac2 = set_reg_val(id, *val);
1754 u32 new_epr = set_reg_val(id, *val);
1760 u32 new_epcr = set_reg_val(id, *val);
1766 u32 tsr_bits = set_reg_val(id, *val);
1771 u32 tsr_bits = set_reg_val(id, *val);
1776 u32 tsr = set_reg_val(id, *val);
1781 u32 tcr = set_reg_val(id, *val);
1786 vcpu->arch.vrsave = set_reg_val(id, *val);
1789 r = vcpu->kvm->arch.kvm_ops->set_one_reg(vcpu, id, val);