wdog_tickle        32 kern/kern_watchdog.c void	wdog_tickle(void *arg);
wdog_tickle        49 kern/kern_watchdog.c 	timeout_set(&wdog_timeout, wdog_tickle, NULL);