TCPCIB(4) - Device Drivers Manual (amd64) # TCPCIB(4) - Device Drivers Manual (amd64)
NAME # tcpcib - Intel Atom E600 series LPC bridge, timecounter and watchdog timer
SYNOPSIS # tcpcib* at pci? isa* at tcpcib?
DESCRIPTION # The tcpcib driver provides support for the Intel Atom E600 series LPC bridge and implements a 64-bit 14.3 MHz timecounter using the HPET timer.
The tcpcib driver also provides the standard watchdog(4) interface to the watchdog timer and may be used with watchdogd(8).
...
TCPCIB(4) - Device Drivers Manual (i386) # TCPCIB(4) - Device Drivers Manual (i386)
NAME # tcpcib - Intel Atom E600 series LPC bridge, timecounter and watchdog timer
SYNOPSIS # tcpcib* at pci? isa* at tcpcib?
DESCRIPTION # The tcpcib driver provides support for the Intel Atom E600 series LPC bridge and implements a 64-bit 14.3 MHz timecounter using the HPET timer.
The tcpcib driver also provides the standard watchdog(4) interface to the watchdog timer and may be used with watchdogd(8).
...
WATCHDOG(4) - Device Drivers Manual # WATCHDOG(4) - Device Drivers Manual
NAME # watchdog - hardware timers/counters for quick crash recovery
DESCRIPTION # Hardware watchdog timers are devices that reboot the machine when it hangs. The kernel continually resets the watchdog clock on a regular basis. Thus, if the kernel halts, the clock will time out and reset the machine. Watchdog timers may be configured to be reset from userland to cause a reboot if process scheduling fails; see watchdogd(8) for further information.
...
WATCHDOGD(8) - System Manager’s Manual # WATCHDOGD(8) - System Manager’s Manual
NAME # watchdogd - watchdog timer retrigger daemon
SYNOPSIS # watchdogd [-dnq] [-i interval] [-p period]
DESCRIPTION # watchdogd is a daemon to activate and periodically retrigger the watchdog(4) timer device from userland. watchdogd is designed to work in high load environments, where other methods (such as a shell script invoking sysctl(8)) would involve too much overhead.
The basic premise is that after every interval seconds, watchdogd resets the hardware timer to period.
...
WDT(4) - Device Drivers Manual (i386) # WDT(4) - Device Drivers Manual (i386)
NAME # wdt - ICS PCI-WDT500/501 watchdog timer device
SYNOPSIS # wdt0 at pci?
DESCRIPTION # The wdt driver provides support for the Industrial Computer Source PCI-WDT500 and PCI-WDT501 boards.
For PCI-WDT500 boards, basic watchdog timer functionality is supported. For PCI-WDT501 boards, the onboard buzzer will sound when the watchdog counter expires. The sensors are not yet supported.
...