ichwd_write_tco_2
ichwd_write_tco_2(sc, TCO1_STS, TCO_TIMEOUT);
ichwd_write_tco_2(sc, TCO2_STS, TCO_SECOND_TO_STS);
ichwd_write_tco_2(sc, TCO2_STS, TCO_BOOT_STS);
ichwd_write_tco_2(sc, TCO1_CNT, cnt & ~TCO_TMR_HALT);
ichwd_write_tco_2(sc, TCO1_CNT, cnt | TCO_TMR_HALT);
ichwd_write_tco_2(sc, TCO_RLD, 1);
ichwd_write_tco_2(sc, TCO_TMR2, tmr_val16);