include/wdt.h

/*
 * Copyright (c) 2020 The Fuchsia Authors
 *
 * SPDX-License-Identifier:	BSD-3-Clause
 */

#ifndef _WDT_H_
#define _WDT_H_

// Reset the watchdog timer.
int wdt_reset(void);

// Set the watchdog counter
int wdt_set_timeout(unsigned long long timeout);

// Ensure watchdog timer enabled and set the watchdog counter
int wdt_start(unsigned long long timeout);

// Disable the watchdog timer
int wdt_stop(void);

// Enable watchdog timer. Initialize clock and clock_div.
int wdt_init(void);

#endif  /* _WDT_H_ */