clk_branch2_check_halt
return clk_branch_toggle(hw, true, clk_branch2_check_halt);
clk_branch_toggle(hw, false, clk_branch2_check_halt);