Matt Fleming | 420b54d | 2015-08-06 13:46:24 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Platform data for the Intel TCO Watchdog |
| 3 | */ |
| 4 | |
| 5 | #ifndef _ITCO_WDT_H_ |
| 6 | #define _ITCO_WDT_H_ |
| 7 | |
| 8 | /* Watchdog resources */ |
| 9 | #define ICH_RES_IO_TCO 0 |
| 10 | #define ICH_RES_IO_SMI 1 |
| 11 | #define ICH_RES_MEM_OFF 2 |
| 12 | #define ICH_RES_MEM_GCS_PMC 0 |
| 13 | |
| 14 | struct itco_wdt_platform_data { |
| 15 | char name[32]; |
| 16 | unsigned int version; |
Kuppuswamy Sathyanarayanan | 140c91b2 | 2017-04-09 15:00:19 -0700 | [diff] [blame] | 17 | /* private data to be passed to update_no_reboot_bit API */ |
| 18 | void *no_reboot_priv; |
| 19 | /* pointer for platform specific no reboot update function */ |
| 20 | int (*update_no_reboot_bit)(void *priv, bool set); |
Matt Fleming | 420b54d | 2015-08-06 13:46:24 +0100 | [diff] [blame] | 21 | }; |
| 22 | |
| 23 | #endif /* _ITCO_WDT_H_ */ |