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
)