Symbol: TCO2_STS
sys/dev/ichwd/ichwd.c
390
ichwd_write_tco_2(sc, TCO2_STS, TCO_SECOND_TO_STS);
sys/dev/ichwd/ichwd.c
392
ichwd_write_tco_2(sc, TCO2_STS, TCO_BOOT_STS);
sys/dev/ichwd/ichwd.c
897
if ((ichwd_read_tco_2(sc, TCO2_STS) & TCO_SECOND_TO_STS) != 0)