blob: 0107dd4c2fb458d71432bc7281e1e675ef97dcf5 [file] [log] [blame]
/*
* 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_ */