coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
watchdog.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <soc/clock.h>
4 #include <soc/watchdog.h>
5 #include <device/mmio.h>
6 #include <vendorcode/google/chromeos/chromeos.h>
7 
8 #define WDOG_RESET_BIT_MASK 1
9 
10 void check_wdog(void)
11 {
13 
14  if (wdog_sta & WDOG_RESET_BIT_MASK)
15  mark_watchdog_tombstone();
16 }
static uint32_t read32(const void *addr)
Definition: mmio.h:22
#define WDOG_RESET_BIT_MASK
Definition: watchdog.c:8
void check_wdog(void)
Definition: watchdog.c:10
unsigned int uint32_t
Definition: stdint.h:14
u32 aoss_cc_reset_status
Definition: clock_common.h:171