Lines Matching refs:set_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);