linux/include/linux/platform_data/itco_wdt.h
<<
>>
Prefs
   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
  15struct 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_ */
  25