watchdog.h

Go to the documentation of this file.

/*
 * 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);
#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 */
 
/* P0-3: _init/_deinit stubs so OVE_WATCHDOG_DEFINE_STATIC links cleanly
 * when CONFIG_OVE_WATCHDOG=n. */
static inline int ove_watchdog_init(ove_watchdog_t *w, ove_watchdog_storage_t *s, uint32_t t)
{
    (void)w;
    (void)s;
    (void)t;
    return OVE_ERR_NOT_SUPPORTED;
}
static inline void ove_watchdog_deinit(ove_watchdog_t w)
{
    (void)w;
}
 
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 */