2 * Copyright (c) 2017 General Electric Company. All rights reserved.
4 * SPDX-License-Identifier: GPL-2.0+
13 void bootcount_store(ulong a)
19 if (fs_set_blk_dev(CONFIG_SYS_BOOTCOUNT_EXT_INTERFACE,
20 CONFIG_SYS_BOOTCOUNT_EXT_DEVPART, FS_TYPE_EXT)) {
21 puts("Error selecting device\n");
25 buf = map_sysmem(CONFIG_SYS_BOOTCOUNT_ADDR, 2);
30 ret = fs_write(CONFIG_SYS_BOOTCOUNT_EXT_NAME,
31 CONFIG_SYS_BOOTCOUNT_ADDR, 0, 2, &len);
33 puts("Error storing bootcount\n");
36 ulong bootcount_load(void)
42 if (fs_set_blk_dev(CONFIG_SYS_BOOTCOUNT_EXT_INTERFACE,
43 CONFIG_SYS_BOOTCOUNT_EXT_DEVPART, FS_TYPE_EXT)) {
44 puts("Error selecting device\n");
48 ret = fs_read(CONFIG_SYS_BOOTCOUNT_EXT_NAME, CONFIG_SYS_BOOTCOUNT_ADDR,
50 if (ret != 0 || len_read != 2) {
51 puts("Error loading bootcount\n");
55 buf = map_sysmem(CONFIG_SYS_BOOTCOUNT_ADDR, 2);
56 if (buf[0] == BC_MAGIC)