1 // SPDX-License-Identifier: GPL-2.0+
4 * Heiko Schocher, DENX Software Engineering, hs@denx.de.
10 void bootcount_store(ulong a)
12 int upgrade_available = env_get_ulong("upgrade_available", 10, 0);
14 if (upgrade_available) {
15 env_set_ulong("bootcount", a);
20 ulong bootcount_load(void)
22 int upgrade_available = env_get_ulong("upgrade_available", 10, 0);
25 if (upgrade_available)
26 val = env_get_ulong("bootcount", 10, 0);