drivers/watchdog/iTCO_vendor.h

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