testing_nmi 325 drivers/char/ipmi/ipmi_watchdog.c static int testing_nmi; testing_nmi 1022 drivers/char/ipmi/ipmi_watchdog.c testing_nmi = 1; testing_nmi 1034 drivers/char/ipmi/ipmi_watchdog.c if (testing_nmi != 2) { testing_nmi 1038 drivers/char/ipmi/ipmi_watchdog.c testing_nmi = 0; testing_nmi 1107 drivers/char/ipmi/ipmi_watchdog.c if (testing_nmi) { testing_nmi 1108 drivers/char/ipmi/ipmi_watchdog.c testing_nmi = 2;