encode_ctrl_reg
ctrl_reg = encode_ctrl_reg(ctrl);
ctrl = encode_ctrl_reg(info->ctrl) | 0x1;
ctrl = encode_ctrl_reg(info->step_ctrl);
reg = encode_ctrl_reg(arch_ctrl);
ctrl = encode_ctrl_reg(info->ctrl);
*ctrl = bp ? encode_ctrl_reg(counter_arch_bp(bp)->ctrl) : 0;
ctrl = encode_ctrl_reg(info->ctrl);
*ctrl = bp ? encode_ctrl_reg(counter_arch_bp(bp)->ctrl) : 0;