|
@@ -119,6 +119,8 @@ static inline int hardlockup_detector_perf_init(void) { return 0; }
|
|
void watchdog_nmi_stop(void);
|
|
void watchdog_nmi_stop(void);
|
|
void watchdog_nmi_start(void);
|
|
void watchdog_nmi_start(void);
|
|
int watchdog_nmi_probe(void);
|
|
int watchdog_nmi_probe(void);
|
|
|
|
+int watchdog_nmi_enable(unsigned int cpu);
|
|
|
|
+void watchdog_nmi_disable(unsigned int cpu);
|
|
|
|
|
|
/**
|
|
/**
|
|
* touch_nmi_watchdog - restart NMI watchdog timeout.
|
|
* touch_nmi_watchdog - restart NMI watchdog timeout.
|