TCO_TMR_HALT
ichwd_write_tco_2(sc, TCO1_CNT, cnt & ~TCO_TMR_HALT);
ichwd_write_tco_2(sc, TCO1_CNT, cnt | TCO_TMR_HALT);