1 /******************************************************************************
2  * watchdog.h
3  *
4  * Common watchdog code
5  */
6 
7 #ifndef __XEN_WATCHDOG_H__
8 #define __XEN_WATCHDOG_H__
9 
10 #include <xen/types.h>
11 
12 #ifdef CONFIG_WATCHDOG
13 
14 /* Try to set up a watchdog. */
15 int watchdog_setup(void);
16 
17 /* Enable the watchdog. */
18 void watchdog_enable(void);
19 
20 /* Disable the watchdog. */
21 void watchdog_disable(void);
22 
23 /* Is the watchdog currently enabled. */
24 bool watchdog_enabled(void);
25 
26 #else
27 
28 #define watchdog_setup() ((void)0)
29 #define watchdog_enable() ((void)0)
30 #define watchdog_disable() ((void)0)
31 #define watchdog_enabled() ((void)0)
32 
33 #endif
34 
35 #endif /* __XEN_WATCHDOG_H__ */
36