wdog_cookie        38 kern/kern_watchdog.c void	*wdog_cookie;
wdog_cookie        50 kern/kern_watchdog.c 	wdog_cookie = shutdownhook_establish(wdog_shutdown, NULL);
wdog_cookie        98 kern/kern_watchdog.c 		if (wdog_auto && wdog_cookie == NULL)
wdog_cookie        99 kern/kern_watchdog.c 			wdog_cookie = shutdownhook_establish(wdog_shutdown,
wdog_cookie       101 kern/kern_watchdog.c 		else if (!wdog_auto && wdog_cookie) {
wdog_cookie       102 kern/kern_watchdog.c 			shutdownhook_disestablish(wdog_cookie);
wdog_cookie       103 kern/kern_watchdog.c 			wdog_cookie = NULL;