|
@@ -140,12 +140,4 @@ extern int watchdog_init_timeout(struct watchdog_device *wdd,
|
|
|
extern int watchdog_register_device(struct watchdog_device *);
|
|
|
extern void watchdog_unregister_device(struct watchdog_device *);
|
|
|
|
|
|
-#ifdef CONFIG_HARDLOCKUP_DETECTOR
|
|
|
-void watchdog_nmi_disable_all(void);
|
|
|
-void watchdog_nmi_enable_all(void);
|
|
|
-#else
|
|
|
-static inline void watchdog_nmi_disable_all(void) {}
|
|
|
-static inline void watchdog_nmi_enable_all(void) {}
|
|
|
-#endif
|
|
|
-
|
|
|
#endif /* ifndef _LINUX_WATCHDOG_H */
|