CONFIG_HARDLOCKUP_DETECTOR   17 include/linux/nmi.h #if defined(CONFIG_HAVE_NMI_WATCHDOG) || defined(CONFIG_HARDLOCKUP_DETECTOR)
CONFIG_HARDLOCKUP_DETECTOR   27 include/linux/nmi.h #if defined(CONFIG_HARDLOCKUP_DETECTOR)