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