Symbol: ichwd_write_tco_1
sys/dev/ichwd/ichwd.c
435
ichwd_write_tco_1(sc, TCO_RLD, 1);
sys/dev/ichwd/ichwd.c
458
ichwd_write_tco_1(sc, TCO_TMR1, tmr_val8);