TCO_TMR2
uint16_t tmr_val16 = ichwd_read_tco_2(sc, TCO_TMR2);
ichwd_write_tco_2(sc, TCO_TMR2, tmr_val16);