Symbol: TCO_TMR2
sys/dev/ichwd/ichwd.c
460
uint16_t tmr_val16 = ichwd_read_tco_2(sc, TCO_TMR2);
sys/dev/ichwd/ichwd.c
466
ichwd_write_tco_2(sc, TCO_TMR2, tmr_val16);