reboot_event_handled 1140 drivers/char/ipmi/ipmi_watchdog.c 	static int reboot_event_handled;
reboot_event_handled 1142 drivers/char/ipmi/ipmi_watchdog.c 	if ((watchdog_user) && (!reboot_event_handled)) {
reboot_event_handled 1144 drivers/char/ipmi/ipmi_watchdog.c 		reboot_event_handled = 1;