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;