// SPDX-License-Identifier: GPL-2.0+ /* * (C) Copyright 2013 * Heiko Schocher, DENX Software Engineering, hs@denx.de. */ #include #include void bootcount_store(ulong a) { int upgrade_available = env_get_ulong("upgrade_available", 10, 0); if (upgrade_available) { env_set_ulong("bootcount", a); env_save(); } } ulong bootcount_load(void) { int upgrade_available = env_get_ulong("upgrade_available", 10, 0); ulong val = 0; if (upgrade_available) val = env_get_ulong("bootcount", 10, 0); return val; }