GIF89a;
Direktori : /usr/src/kernels/3.10.0-1160.88.1.el7.centos.plus.x86_64/include/linux/platform_data/ |
Current File : //usr/src/kernels/3.10.0-1160.88.1.el7.centos.plus.x86_64/include/linux/platform_data/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_ */