/* SPDX-License-Identifier: GPL-2.0-only */ | |
#include <soc/clock.h> | |
#include <soc/watchdog.h> | |
#include <device/mmio.h> | |
#include <vendorcode/google/chromeos/chromeos.h> | |
#define WDOG_RESET_BIT_MASK 1 | |
void check_wdog(void) | |
{ | |
uint32_t wdog_sta = read32(&aoss->aoss_cc_reset_status); | |
if (wdog_sta & WDOG_RESET_BIT_MASK) | |
mark_watchdog_tombstone(); | |
} |