1/* SPDX-License-Identifier: GPL-2.0 */
2/* iTCO Vendor Specific Support hooks */
3#ifdef CONFIG_ITCO_VENDOR_SUPPORT
4extern int iTCO_vendorsupport;
5extern void iTCO_vendor_pre_start(struct resource *, unsigned int);
6extern void iTCO_vendor_pre_stop(struct resource *);
7extern 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
15

source code of linux/drivers/watchdog/iTCO_vendor.h