nmi_handler_registered  326 drivers/char/ipmi/ipmi_watchdog.c static int nmi_handler_registered;
nmi_handler_registered 1008 drivers/char/ipmi/ipmi_watchdog.c 	if (nmi_handler_registered) {
nmi_handler_registered 1266 drivers/char/ipmi/ipmi_watchdog.c 	if (do_nmi && !nmi_handler_registered) {
nmi_handler_registered 1273 drivers/char/ipmi/ipmi_watchdog.c 			nmi_handler_registered = 1;
nmi_handler_registered 1274 drivers/char/ipmi/ipmi_watchdog.c 	} else if (!do_nmi && nmi_handler_registered) {
nmi_handler_registered 1276 drivers/char/ipmi/ipmi_watchdog.c 		nmi_handler_registered = 0;
nmi_handler_registered 1308 drivers/char/ipmi/ipmi_watchdog.c 		if (nmi_handler_registered)
nmi_handler_registered 1327 drivers/char/ipmi/ipmi_watchdog.c 	if (nmi_handler_registered)