| // SPDX-License-Identifier: GPL-2.0+ |
| * Copyright (c) 2017 General Electric Company. All rights reserved. |
| void bootcount_store(ulong a) |
| if (fs_set_blk_dev(CONFIG_SYS_BOOTCOUNT_EXT_INTERFACE, |
| CONFIG_SYS_BOOTCOUNT_EXT_DEVPART, FS_TYPE_EXT)) { |
| puts("Error selecting device\n"); |
| buf = map_sysmem(CONFIG_SYS_BOOTCOUNT_ADDR, 2); |
| ret = fs_write(CONFIG_SYS_BOOTCOUNT_EXT_NAME, |
| CONFIG_SYS_BOOTCOUNT_ADDR, 0, 2, &len); |
| puts("Error storing bootcount\n"); |
| ulong bootcount_load(void) |
| if (fs_set_blk_dev(CONFIG_SYS_BOOTCOUNT_EXT_INTERFACE, |
| CONFIG_SYS_BOOTCOUNT_EXT_DEVPART, FS_TYPE_EXT)) { |
| puts("Error selecting device\n"); |
| ret = fs_read(CONFIG_SYS_BOOTCOUNT_EXT_NAME, CONFIG_SYS_BOOTCOUNT_ADDR, |
| if (ret != 0 || len_read != 2) { |
| puts("Error loading bootcount\n"); |
| buf = map_sysmem(CONFIG_SYS_BOOTCOUNT_ADDR, 2); |