| Julius Werner | e3a000d | 2018-03-12 13:26:49 -0700 | [diff] [blame] | 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 */ | ||||