coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
timer.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __SOC_CAVIUM_CN81XX_TIMER_H__
4 #define __SOC_CAVIUM_CN81XX_TIMER_H__
5 
6 #include <types.h>
7 
8 /* Watchdog functions */
9 void watchdog_set(const size_t index, unsigned int timeout_ms);
10 void watchdog_poke(const size_t index);
11 void watchdog_disable(const size_t index);
12 int watchdog_is_running(const size_t index);
13 
14 /* Timer functions */
15 void soc_timer_init(void);
16 
17 #endif /* __SOC_CAVIUM_CN81XX_TIMER_H__ */
watchdog_disable
void watchdog_disable(const size_t index)
Disable the hardware watchdog.
Definition: timer.c:190
watchdog_poke
void watchdog_poke(const size_t index)
Signal the watchdog that we are still running.
Definition: timer.c:174
watchdog_set
void watchdog_set(const size_t index, unsigned int timeout_ms)
Setup the watchdog to expire in timeout_ms milliseconds.
Definition: timer.c:137
watchdog_is_running
int watchdog_is_running(const size_t index)
Return true if the watchdog is configured and running.
Definition: timer.c:209
soc_timer_init
void soc_timer_init(void)
Definition: timer.c:119