|
@@ -92,12 +92,14 @@ extern void arch_touch_nmi_watchdog(void);
|
|
|
extern void hardlockup_detector_perf_stop(void);
|
|
|
extern void hardlockup_detector_perf_restart(void);
|
|
|
extern void hardlockup_detector_perf_disable(void);
|
|
|
+extern void hardlockup_detector_perf_enable(void);
|
|
|
extern void hardlockup_detector_perf_cleanup(void);
|
|
|
extern int hardlockup_detector_perf_init(void);
|
|
|
#else
|
|
|
static inline void hardlockup_detector_perf_stop(void) { }
|
|
|
static inline void hardlockup_detector_perf_restart(void) { }
|
|
|
static inline void hardlockup_detector_perf_disable(void) { }
|
|
|
+static inline void hardlockup_detector_perf_enable(void) { }
|
|
|
static inline void hardlockup_detector_perf_cleanup(void) { }
|
|
|
# if !defined(CONFIG_HAVE_NMI_WATCHDOG)
|
|
|
static inline int hardlockup_detector_perf_init(void) { return -ENODEV; }
|