| /* SPDX-License-Identifier: GPL-2.0 */ | |
| /* | |
| * 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_ */ |