Symbol: wdog_tickle
sys/kern/kern_watchdog.c
31
void wdog_tickle(void *arg);
sys/kern/kern_watchdog.c
46
timeout_set(&wdog_timeout, wdog_tickle, NULL);