drivers/watchdog/iTCO_vendor.h

0001 /* SPDX-License-Identifier: GPL-2.0 */
0002 /* iTCO Vendor Specific Support hooks */
0003 #ifdef CONFIG_ITCO_VENDOR_SUPPORT
0004 extern int iTCO_vendorsupport;
0005 extern void iTCO_vendor_pre_start(struct resource *, unsigned int);
0006 extern void iTCO_vendor_pre_stop(struct resource *);
0007 extern int iTCO_vendor_check_noreboot_on(void);
0008 #else
0009 #define iTCO_vendorsupport              0
0010 #define iTCO_vendor_pre_start(acpibase, heartbeat)  {}
0011 #define iTCO_vendor_pre_stop(acpibase)          {}
0012 #define iTCO_vendor_check_noreboot_on()         1
0013                 /* 1=check noreboot; 0=don't check */
0014 #endif