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