wdt.h

Go to the documentation of this file.

/*
 * Copyright (C) 2017 Technische Universität Berlin
 *           (C) 2019 Inria
 *           (C) 2019 ML!PA Consulting GmbH
 *
 * This file is subject to the terms and conditions of the GNU Lesser
 * General Public License v2.1. See the file LICENSE in the top level
 * directory for more details.
 */
 
#pragma once
 
#include <stdint.h>
#include "periph_cpu.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
#if defined(DOXYGEN)
#define NWDT_TIME_LOWER_LIMIT
#endif
#if defined(DOXYGEN)
#define NWDT_TIME_UPPER_LIMIT
#endif
#if defined(DOXYGEN)
#define WWDT_TIME_LOWER_LIMIT
#endif
#if defined(DOXYGEN)
#define WWDT_TIME_UPPER_LIMIT
#endif
 
#ifndef WDT_HAS_STOP
#define WDT_HAS_STOP              (0)
#endif
#ifndef WDT_HAS_INIT
#define WDT_HAS_INIT              (0)
#endif
 
#ifndef CONFIG_PERIPH_WDT_WIN_MIN_MS
#define CONFIG_PERIPH_WDT_WIN_MIN_MS    (0)
#endif
 
#ifndef CONFIG_PERIPH_WDT_WIN_MAX_MS
#define CONFIG_PERIPH_WDT_WIN_MAX_MS    (1024)
#endif
 
void wdt_start(void);
 
void wdt_stop(void);
 
void wdt_kick(void);
 
void wdt_setup_reboot(uint32_t min_time, uint32_t max_time);
 
void wdt_init(void);
 
#if defined(MODULE_PERIPH_WDT_CB) || defined(DOXYGEN)
#ifndef CONFIG_WDT_WARNING_PERIOD
#define CONFIG_WDT_WARNING_PERIOD          (1)
#endif
typedef void (*wdt_cb_t)(void *arg);
 
void wdt_setup_reboot_with_callback(uint32_t min_time, uint32_t max_time,
                                    wdt_cb_t wdt_cb, void *arg);
#endif
 
#ifdef __cplusplus
}
#endif