1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (c) 2017 General Electric Company. All rights reserved.
12 void bootcount_store(ulong a)
18 if (fs_set_blk_dev(CONFIG_SYS_BOOTCOUNT_EXT_INTERFACE,
19 CONFIG_SYS_BOOTCOUNT_EXT_DEVPART, FS_TYPE_EXT)) {
20 puts("Error selecting device\n");
24 buf = map_sysmem(CONFIG_SYS_BOOTCOUNT_ADDR, 2);
29 ret = fs_write(CONFIG_SYS_BOOTCOUNT_EXT_NAME,
30 CONFIG_SYS_BOOTCOUNT_ADDR, 0, 2, &len);
32 puts("Error storing bootcount\n");
35 ulong bootcount_load(void)
41 if (fs_set_blk_dev(CONFIG_SYS_BOOTCOUNT_EXT_INTERFACE,
42 CONFIG_SYS_BOOTCOUNT_EXT_DEVPART, FS_TYPE_EXT)) {
43 puts("Error selecting device\n");
47 ret = fs_read(CONFIG_SYS_BOOTCOUNT_EXT_NAME, CONFIG_SYS_BOOTCOUNT_ADDR,
49 if (ret != 0 || len_read != 2) {
50 puts("Error loading bootcount\n");
54 buf = map_sysmem(CONFIG_SYS_BOOTCOUNT_ADDR, 2);
55 if (buf[0] == BC_MAGIC)