root/include/linux/platform_data/itco_wdt.h

/* [<][>][^][v][top][bottom][index][help] */

INCLUDED FROM

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 /*
   3  * Platform data for the Intel TCO Watchdog
   4  */
   5 
   6 #ifndef _ITCO_WDT_H_
   7 #define _ITCO_WDT_H_
   8 
   9 /* Watchdog resources */
  10 #define ICH_RES_IO_TCO          0
  11 #define ICH_RES_IO_SMI          1
  12 #define ICH_RES_MEM_OFF         2
  13 #define ICH_RES_MEM_GCS_PMC     0
  14 
  15 struct itco_wdt_platform_data {
  16         char name[32];
  17         unsigned int version;
  18         /* private data to be passed to update_no_reboot_bit API */
  19         void *no_reboot_priv;
  20         /* pointer for platform specific no reboot update function */
  21         int (*update_no_reboot_bit)(void *priv, bool set);
  22 };
  23 
  24 #endif /* _ITCO_WDT_H_ */
/* [<][>][^][v][top][bottom][index][help] */