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;