drivers/watchdog/iTCO_vendor.h

   1 /* iTCO Vendor Specific Support hooks */
   2 #ifdef CONFIG_ITCO_VENDOR_SUPPORT
   3 extern void iTCO_vendor_pre_start(unsigned long, unsigned int);
   4 extern void iTCO_vendor_pre_stop(unsigned long);
   5 extern void iTCO_vendor_pre_keepalive(unsigned long, unsigned int);
   6 extern void iTCO_vendor_pre_set_heartbeat(unsigned int);
   7 extern int iTCO_vendor_check_noreboot_on(void);
   8 #else
   9 #define iTCO_vendor_pre_start(acpibase, heartbeat)      {}
  10 #define iTCO_vendor_pre_stop(acpibase)                  {}
  11 #define iTCO_vendor_pre_keepalive(acpibase, heartbeat)  {}
  12 #define iTCO_vendor_pre_set_heartbeat(heartbeat)        {}
  13 #define iTCO_vendor_check_noreboot_on()                 1
  14                                 /* 1=check noreboot; 0=don't check */
  15 #endif