1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Platform data for the Intel TCO Watchdog
4  */
5 
6 #ifndef _ITCO_WDT_H_
7 #define _ITCO_WDT_H_
8 
9 /* Watchdog resources */
10 #define ICH_RES_IO_TCO		0
11 #define ICH_RES_IO_SMI		1
12 #define ICH_RES_MEM_OFF		2
13 #define ICH_RES_MEM_GCS_PMC	0
14 
15 struct itco_wdt_platform_data {
16 	char name[32];
17 	unsigned int version;
18 	/* private data to be passed to update_no_reboot_bit API */
19 	void *no_reboot_priv;
20 	/* pointer for platform specific no reboot update function */
21 	int (*update_no_reboot_bit)(void *priv, bool set);
22 };
23 
24 #endif /* _ITCO_WDT_H_ */
25