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