| // SPDX-License-Identifier: GPL-2.0+ |
| * Heiko Schocher, DENX Software Engineering, hs@denx.de. |
| * A bootcount driver for the RTC IP block found on many TI platforms. |
| * This requires the RTC clocks, etc, to be enabled prior to use and |
| * not all boards with this IP block on it will have the RTC in use. |
| #include <asm/davinci_rtc.h> |
| void bootcount_store(ulong a) |
| struct davinci_rtc *reg = |
| (struct davinci_rtc *)CONFIG_SYS_BOOTCOUNT_ADDR; |
| * write RTC kick registers to enable write |
| * for RTC Scratch registers. Scratch register 2 is |
| * used for bootcount value. |
| writel(RTC_KICK0R_WE, ®->kick0r); |
| writel(RTC_KICK1R_WE, ®->kick1r); |
| raw_bootcount_store(®->scratch2, |
| (CONFIG_SYS_BOOTCOUNT_MAGIC & 0xffff0000) | (a & 0x0000ffff)); |
| ulong bootcount_load(void) |
| struct davinci_rtc *reg = |
| (struct davinci_rtc *)CONFIG_SYS_BOOTCOUNT_ADDR; |
| val = raw_bootcount_load(®->scratch2); |
| if ((val & 0xffff0000) != (CONFIG_SYS_BOOTCOUNT_MAGIC & 0xffff0000)) |