1 /*
2  * Copyright (c) 2013-2020, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef BL1_PRIVATE_H
8 #define BL1_PRIVATE_H
9 
10 #include <stdint.h>
11 
12 #include <common/bl_common.h>
13 
14 /******************************************
15  * Function prototypes
16  *****************************************/
17 void bl1_arch_setup(void);
18 void bl1_arch_next_el_setup(void);
19 
20 void bl1_prepare_next_image(unsigned int image_id);
21 
22 u_register_t bl1_fwu_smc_handler(unsigned int smc_fid,
23 		u_register_t x1,
24 		u_register_t x2,
25 		u_register_t x3,
26 		u_register_t x4,
27 		void *cookie,
28 		void *handle,
29 		unsigned int flags);
30 
31 #endif /* BL1_PRIVATE_H */
32