1 /*
2  * Copyright (c) 2020, Google LLC. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef WDT_H
8 #define WDT_H
9 
10 #include "stdint.h"
11 
12 void wdt_pet(void);
13 void wdt_resume(void);
14 void wdt_set_enable(int enable);
15 int wdt_set_timeout(uint32_t timeout);
16 uint64_t wdt_smc_handler(uint32_t x1, uint32_t x2, void *handle);
17 void wdt_suspend(void);
18 void wdt_trigger_reset(void);
19 
20 #endif /* WDT_H */
21