1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef SOC_INTEL_COMMON_OC_WDT_H 4 #define SOC_INTEL_COMMON_OC_WDT_H 5 6 #include <stdbool.h> 7 8 /* Starts and reloads the OC watchdog if enabled in Kconfig */ 9 void setup_oc_wdt(void); 10 11 /* Reloads the OC watchdog (if enabled) preserving the current settings. */ 12 void oc_wdt_reload(void); 13 14 /* Returns currently programmed OC watchdog timeout in seconds */ 15 unsigned int oc_wdt_get_current_timeout(void); 16 17 #endif 18