Lines Matching refs:set_reg_val
1700 vcpu->arch.dbg_reg.iac1 = set_reg_val(id, *val);
1703 vcpu->arch.dbg_reg.iac2 = set_reg_val(id, *val);
1707 vcpu->arch.dbg_reg.iac3 = set_reg_val(id, *val);
1710 vcpu->arch.dbg_reg.iac4 = set_reg_val(id, *val);
1714 vcpu->arch.dbg_reg.dac1 = set_reg_val(id, *val);
1717 vcpu->arch.dbg_reg.dac2 = set_reg_val(id, *val);
1720 u32 new_epr = set_reg_val(id, *val);
1726 u32 new_epcr = set_reg_val(id, *val);
1732 u32 tsr_bits = set_reg_val(id, *val);
1737 u32 tsr_bits = set_reg_val(id, *val);
1742 u32 tsr = set_reg_val(id, *val);
1747 u32 tcr = set_reg_val(id, *val);
1752 vcpu->arch.vrsave = set_reg_val(id, *val);