HAVE_DIE_NMI      324 drivers/char/ipmi/ipmi_watchdog.c #ifdef HAVE_DIE_NMI
HAVE_DIE_NMI     1007 drivers/char/ipmi/ipmi_watchdog.c #ifdef HAVE_DIE_NMI
HAVE_DIE_NMI     1096 drivers/char/ipmi/ipmi_watchdog.c #ifdef HAVE_DIE_NMI
HAVE_DIE_NMI     1220 drivers/char/ipmi/ipmi_watchdog.c #ifdef HAVE_DIE_NMI
HAVE_DIE_NMI     1254 drivers/char/ipmi/ipmi_watchdog.c #ifdef HAVE_DIE_NMI
HAVE_DIE_NMI     1307 drivers/char/ipmi/ipmi_watchdog.c #ifdef HAVE_DIE_NMI
HAVE_DIE_NMI     1326 drivers/char/ipmi/ipmi_watchdog.c #ifdef HAVE_DIE_NMI