sw/device/silicon_creator/lib/drivers/watchdog.h

// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0

#ifndef OPENTITAN_SW_DEVICE_SILICON_CREATOR_LIB_DRIVERS_WATCHDOG_H_
#define OPENTITAN_SW_DEVICE_SILICON_CREATOR_LIB_DRIVERS_WATCHDOG_H_
#include <stdint.h>
#ifdef __cplusplus
extern "C" {
#endif

/**
 * Initialize the watchdog timer.
 *
 * @param timeout_ms The timeout, in milliseconds, after which the watchdog
 *                   will trigger a reset. A value of zero disables the watchdog
 *                   timer.
 */
void watchdog_init(uint32_t timeout_ms);

/**
 * Pet the watchdog, thus preventing a watchdog initiated reset.
 */
void watchdog_pet(void);

/**
 * Get the current watchdog counter value.
 * @return current watchdog value.
 */
uint32_t watchdog_get(void);

#ifdef __cplusplus
}
#endif
#endif  // OPENTITAN_SW_DEVICE_SILICON_CREATOR_LIB_DRIVERS_WATCHDOG_H_