NMI_WATCHDOG_DEFAULT   34 kernel/watchdog.c # define NMI_WATCHDOG_DEFAULT	1
NMI_WATCHDOG_DEFAULT   37 kernel/watchdog.c # define NMI_WATCHDOG_DEFAULT	0