Symbol: TCO_TMR1
sys/dev/ichwd/ichwd.c
452
uint8_t tmr_val8 = ichwd_read_tco_1(sc, TCO_TMR1);
sys/dev/ichwd/ichwd.c
458
ichwd_write_tco_1(sc, TCO_TMR1, tmr_val8);