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 15struct 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