2015-08-06 06:46:24 -06:00
|
|
|
/*
|
|
|
|
* 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;
|
2017-04-09 16:00:19 -06:00
|
|
|
/* 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);
|
2015-08-06 06:46:24 -06:00
|
|
|
};
|
|
|
|
|
|
|
|
#endif /* _ITCO_WDT_H_ */
|