| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| /* This file is part of the coreboot project. */ | |
| #include <arch/acpi.h> | |
| #include <soc/southbridge.h> | |
| #include <amdblocks/acpimmio.h> | |
| #include <security/vboot/vboot_common.h> | |
| #include <security/vboot/vbnv.h> | |
| #include <pc80/mc146818rtc.h> | |
| int vbnv_cmos_failed(void) | |
| { | |
| /* If CMOS power has failed, the century will be set to 0xff */ | |
| return cmos_read(RTC_CLK_ALTCENTURY) == 0xff; | |
| } |