Edit File: itco_wdt.h
/* * Platform data for the Intel TCO Watchdog */ #ifndef _ITCO_WDT_H_ #define _ITCO_WDT_H_ /* Watchdog resources */ #define ICH_RES_IO_TCO 0 #define ICH_RES_IO_SMI 1 #define ICH_RES_MEM_OFF 2 #define ICH_RES_MEM_GCS_PMC 0 struct itco_wdt_platform_data { char name[32]; unsigned int version; /* private data to be passed to update_no_reboot_bit API */ void *no_reboot_priv; /* pointer for platform specific no reboot update function */ int (*update_no_reboot_bit)(void *priv, bool set); }; #endif /* _ITCO_WDT_H_ */