watchdog.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef watchdog_h
#define watchdog_h

#include "types.h"
#include "initcalls.h"

//
// INTERFACE definition follows 
//


class Watchdog
{
public:
  static void (*touch)(void);
  static void (*enable)(void);
  static void (*disable)(void);

private:
  Watchdog();                        // default constructors are undefined
  Watchdog(const Watchdog&);

  typedef struct
    {
      unsigned active:1;
      unsigned user_active:1;
      unsigned no_user_control:1;
    } Watchdog_flags;

  static Watchdog_flags flags;

public:  
  // user enables Watchdog
  static inline void user_enable();
  
  // user disables Watchdog
  static inline void user_disable();
  
  // user takes over control of Watchdog
  static inline void user_takeover_control();
  
  // user gives back control of Watchdog
  static inline void user_giveback_control();
  
  static void FIASCO_INIT init();

private:  
  static void do_nothing();
  
  static void perf_enable();
  
  static void perf_disable();
  
  static void perf_touch();
};

//
// IMPLEMENTATION includes follow (for use by inline functions)
//

#include "perf_cnt.h"

//
// IMPLEMENTATION of inline functions (and needed classes)
//



// user enables Watchdog

inline void
Watchdog::user_enable()
{
  flags.user_active = 1;
  Perf_cnt::start_watchdog();
}


// user disables Watchdog

inline void
Watchdog::user_disable()
{
  flags.user_active = 0;
  Perf_cnt::stop_watchdog();
}


// user takes over control of Watchdog

inline void
Watchdog::user_takeover_control()
{ flags.no_user_control = 0; }


// user gives back control of Watchdog

inline void
Watchdog::user_giveback_control()
{ flags.no_user_control = 0; }

#endif // watchdog_h

---