uboot/drivers/bootcount/bootcount_davinci.c
<<
>>
Prefs
   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
  14void 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                (CONFIG_SYS_BOOTCOUNT_MAGIC & 0xffff0000) | (a & 0x0000ffff));
  28}
  29
  30ulong 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) != (CONFIG_SYS_BOOTCOUNT_MAGIC & 0xffff0000))
  38                return 0;
  39        else
  40                return val & 0x0000ffff;
  41}
  42