// SPDX-License-Identifier: GPL-2.0+ /* * (C) Copyright 2011 * 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 <bootcount.h> #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) { unsigned long val; struct davinci_rtc *reg = (struct davinci_rtc *)CONFIG_SYS_BOOTCOUNT_ADDR; val = raw_bootcount_load(®->scratch2); if ((val & 0xffff0000) != (CONFIG_SYS_BOOTCOUNT_MAGIC & 0xffff0000)) return 0; else return val & 0x0000ffff; }