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