1 
2 #ifndef ASM_NMI_H
3 #define ASM_NMI_H
4 
5 #include <public/nmi.h>
6 
7 struct cpu_user_regs;
8 
9 /* Watchdog boolean from the command line */
10 extern bool opt_watchdog;
11 
12 /* Watchdog force parameter from the command line */
13 extern bool watchdog_force;
14 
15 typedef int nmi_callback_t(const struct cpu_user_regs *regs, int cpu);
16 
17 /**
18  * set_nmi_callback
19  *
20  * Set a handler for an NMI. Only one handler may be
21  * set. Return the old nmi callback handler.
22  */
23 nmi_callback_t *set_nmi_callback(nmi_callback_t *callback);
24 
25 /**
26  * unset_nmi_callback
27  *
28  * Remove the handler previously set.
29  */
30 void unset_nmi_callback(void);
31 
32 #endif /* ASM_NMI_H */
33