kernel/watchdog.h

   1 #ifndef __WATCHDOG_H__
   2 #define __WATCHDOG_H__
   3
   4 #include "kernel/kernel.h"
   5 #include "arch_watchdog.h"
   6
   7 extern int watchdog_enabled; /* if set to non-zero the watch dog is enabled */
   8 extern unsigned watchdog_local_timer_ticks; /* is timer still ticking? */
   9
  10 /*
  11  * as the implementation is not only architecture dependent but like in x86 case
  12  * very much model specific, we need to keep a collection of methods that
  13  * implement it in runtime after the correct arch/model was detected
  14  */
  15
  16 typedef void (* arch_watchdog_method_t)(const unsigned);
  17 typedef int (* arch_watchdog_profile_init_t)(const unsigned);
  18
  19 struct arch_watchdog {
  20         arch_watchdog_method_t          init;   /* initial setup */
  21         arch_watchdog_method_t          reinit; /* reinit after a tick */
  22         arch_watchdog_profile_init_t    profile_init;
  23         u64_t                           resetval;
  24         u64_t                           watchdog_resetval;
  25         u64_t                           profile_resetval;
  26 };
  27
  28 extern struct arch_watchdog *watchdog;
  29
  30 /* let the arch code do whatever it needs to setup or quit the watchdog */
  31 int arch_watchdog_init(void);
  32 void arch_watchdog_stop(void);
  33 /* if the watchdog detects lockup, let the arch code to handle it */
  34 void arch_watchdog_lockup(const struct nmi_frame * frame);
  35
  36 /* generic NMI handler. Takes one agument which points to where the arch
  37  * specific low level handler dumped CPU information and can be inspected by the
  38  * arch specific code of the watchdog implementaion */
  39 void nmi_watchdog_handler(struct nmi_frame * frame);
  40
  41 /*
  42  * start and stop profiling using the NMI watchdog
  43  */
  44 int nmi_watchdog_start_profiling(const unsigned freq);
  45 void nmi_watchdog_stop_profiling(void);
  46
  47 #endif /* __WATCHDOG_H__ */