panic_event_handled  948 drivers/char/ipmi/ipmi_watchdog.c 	static int panic_event_handled;
panic_event_handled  956 drivers/char/ipmi/ipmi_watchdog.c 	if (watchdog_user && !panic_event_handled &&
panic_event_handled  959 drivers/char/ipmi/ipmi_watchdog.c 		panic_event_handled = 1;