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