wdog_shutdown      33 kern/kern_watchdog.c void	wdog_shutdown(void *arg);
wdog_shutdown      50 kern/kern_watchdog.c 	wdog_cookie = shutdownhook_establish(wdog_shutdown, NULL);
wdog_shutdown      99 kern/kern_watchdog.c 			wdog_cookie = shutdownhook_establish(wdog_shutdown,