| /* |
| * 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_ */ |
