1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * (C) Copyright 2011
4  * Heiko Schocher, DENX Software Engineering, hs@denx.de.
5  *
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.
9  */
10 
11 #include <bootcount.h>
12 #include <asm/davinci_rtc.h>
13 
14 void bootcount_store(ulong a)
15 {
16 	struct davinci_rtc *reg =
17 		(struct davinci_rtc *)CONFIG_SYS_BOOTCOUNT_ADDR;
18 
19 	/*
20 	 * write RTC kick registers to enable write
21 	 * for RTC Scratch registers. Scratch register 2 is
22 	 * used for bootcount value.
23 	 */
24 	writel(RTC_KICK0R_WE, &reg->kick0r);
25 	writel(RTC_KICK1R_WE, &reg->kick1r);
26 	raw_bootcount_store(&reg->scratch2,
27 			    (BOOTCOUNT_MAGIC & 0xffff0000) | (a & 0x0000ffff));
28 }
29 
30 ulong bootcount_load(void)
31 {
32 	unsigned long val;
33 	struct davinci_rtc *reg =
34 		(struct davinci_rtc *)CONFIG_SYS_BOOTCOUNT_ADDR;
35 
36 	val = raw_bootcount_load(&reg->scratch2);
37 	if ((val & 0xffff0000) != (BOOTCOUNT_MAGIC & 0xffff0000))
38 		return 0;
39 	else
40 		return val & 0x0000ffff;
41 }
42