| /* 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(); | |
| } |