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 int iTCO_vendorsupport;
   5 extern void iTCO_vendor_pre_start(struct resource *, unsigned int);
   6 extern void iTCO_vendor_pre_stop(struct resource *);
   7 extern int iTCO_vendor_check_noreboot_on(void);
   8 #else
   9 #define iTCO_vendorsupport                              0
  10 #define iTCO_vendor_pre_start(acpibase, heartbeat)      {}
  11 #define iTCO_vendor_pre_stop(acpibase)                  {}
  12 #define iTCO_vendor_check_noreboot_on()                 1
  13                                 /* 1=check noreboot; 0=don't check */
  14 #endif