1 /*
2  * Copyright (c) 2022-2024, Arm Limited. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  *
6  */
7 
8 #include "image.h"
9 
10 #include "Driver_Flash.h"
11 #include "flash_layout.h"
12 #include "region_defs.h"
13 #include "fih.h"
14 
15 extern ARM_DRIVER_FLASH FLASH_DEV_NAME_BL1;
16 
bl1_read_bl1_2_image(uint8_t * image)17 fih_int bl1_read_bl1_2_image(uint8_t *image)
18 {
19     fih_int fih_rc;
20 
21     fih_rc = fih_int_encode_zero_equality(
22                 fih_not_eq(BL1_2_CODE_SIZE,
23                            (FLASH_DEV_NAME_BL1.ReadData(BL1_2_IMAGE_FLASH_OFFSET,
24                                                         image,
25                                                         BL1_2_CODE_SIZE))));
26 
27     FIH_RET(fih_rc);
28 }
29