3 * Heiko Schocher, DENX Software Engineering, hs@denx.de.
5 * SPDX-License-Identifier: GPL-2.0+
9 #include <asm/davinci_rtc.h>
11 void bootcount_store(ulong a)
13 struct davinci_rtc *reg =
14 (struct davinci_rtc *)CONFIG_SYS_BOOTCOUNT_ADDR;
17 * write RTC kick register to enable write
18 * for RTC Scratch registers. Scratch0 and 1 are
19 * used for bootcount values.
21 writel(RTC_KICK0R_WE, ®->kick0r);
22 writel(RTC_KICK1R_WE, ®->kick1r);
23 raw_bootcount_store(®->scratch0, a);
24 raw_bootcount_store(®->scratch1, BOOTCOUNT_MAGIC);
27 ulong bootcount_load(void)
29 struct davinci_rtc *reg =
30 (struct davinci_rtc *)CONFIG_SYS_BOOTCOUNT_ADDR;
32 if (raw_bootcount_load(®->scratch1) != BOOTCOUNT_MAGIC)
35 return raw_bootcount_load(®->scratch0);