Symbol: TCO1_CNT
sys/dev/ichwd/ichwd.c
406
cnt = ichwd_read_tco_2(sc, TCO1_CNT) & TCO_CNT_PRESERVE;
sys/dev/ichwd/ichwd.c
407
ichwd_write_tco_2(sc, TCO1_CNT, cnt & ~TCO_TMR_HALT);
sys/dev/ichwd/ichwd.c
420
cnt = ichwd_read_tco_2(sc, TCO1_CNT) & TCO_CNT_PRESERVE;
sys/dev/ichwd/ichwd.c
421
ichwd_write_tco_2(sc, TCO1_CNT, cnt | TCO_TMR_HALT);