watchdog.h

/*
 * Copyright (C) 2026 Kamil Lulko <kamil.lulko@gmail.com>
 *
 * SPDX-License-Identifier: GPL-3.0-or-later
 *
 * This file is part of oveRTOS.
 */
 
#ifndef OVE_WATCHDOG_H
#define OVE_WATCHDOG_H
 
#include "ove/types.h"
#include "ove_config.h"
#include "ove/storage.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
#ifdef CONFIG_OVE_WATCHDOG
 
int  ove_watchdog_init(ove_watchdog_t *wdt,
               ove_watchdog_storage_t *storage,
               uint32_t timeout_ms);
 
void ove_watchdog_deinit(ove_watchdog_t wdt);
 
#ifdef OVE_HEAP_WATCHDOG
int  ove_watchdog_create(ove_watchdog_t *wdt, uint32_t timeout_ms);
 
void ove_watchdog_destroy(ove_watchdog_t wdt);
#elif !defined(__ZIG_CIMPORT__) /* !OVE_HEAP_WATCHDOG — zero-heap mode */
 
#define ove_watchdog_create(pwdt, timeout_ms) \
    ({ static ove_watchdog_storage_t _ove_stor_; \
       ove_watchdog_init((pwdt), &_ove_stor_, (timeout_ms)); })
#define ove_watchdog_destroy(wdt) ove_watchdog_deinit(wdt)
 
#endif /* OVE_HEAP_WATCHDOG */
 
int  ove_watchdog_start(ove_watchdog_t wdt);
 
int  ove_watchdog_stop(ove_watchdog_t wdt);
 
int  ove_watchdog_feed(ove_watchdog_t wdt);
 
#else /* !CONFIG_OVE_WATCHDOG */
 
static inline int  ove_watchdog_create(ove_watchdog_t *w, uint32_t t) { (void)w; (void)t; return OVE_ERR_NOT_SUPPORTED; }
static inline void ove_watchdog_destroy(ove_watchdog_t w) { (void)w; }
static inline int  ove_watchdog_start(ove_watchdog_t w) { (void)w; return OVE_ERR_NOT_SUPPORTED; }
static inline int  ove_watchdog_stop(ove_watchdog_t w) { (void)w; return OVE_ERR_NOT_SUPPORTED; }
static inline int  ove_watchdog_feed(ove_watchdog_t w) { (void)w; return OVE_ERR_NOT_SUPPORTED; }
 
#endif /* CONFIG_OVE_WATCHDOG */
 
#ifdef __cplusplus
}
#endif
 
 
#endif /* OVE_WATCHDOG_H */