|
@@ -77,7 +77,7 @@ static int __init check_nmi_watchdog(void)
|
|
|
unsigned int *prev_nmi_count;
|
|
|
int cpu;
|
|
|
|
|
|
- if ((nmi_watchdog == NMI_NONE) || (nmi_watchdog == NMI_DEFAULT))
|
|
|
+ if ((nmi_watchdog == NMI_NONE) || (nmi_watchdog == NMI_DISABLED))
|
|
|
return 0;
|
|
|
|
|
|
if (!atomic_read(&nmi_active))
|
|
@@ -424,7 +424,7 @@ int proc_nmi_enabled(struct ctl_table *table, int write, struct file *file,
|
|
|
if (!!old_state == !!nmi_watchdog_enabled)
|
|
|
return 0;
|
|
|
|
|
|
- if (atomic_read(&nmi_active) < 0) {
|
|
|
+ if (atomic_read(&nmi_active) < 0 || nmi_watchdog == NMI_DISABLED) {
|
|
|
printk( KERN_WARNING "NMI watchdog is permanently disabled\n");
|
|
|
return -EIO;
|
|
|
}
|