1 /*
2  * Copyright (c) 2013-2019, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef BL31_H
8 #define BL31_H
9 
10 #include <stdint.h>
11 
12 /*******************************************************************************
13  * Function prototypes
14  ******************************************************************************/
15 void bl31_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2,
16 		u_register_t arg3);
17 void bl31_next_el_arch_setup(uint32_t security_state);
18 void bl31_set_next_image_type(uint32_t security_state);
19 uint32_t bl31_get_next_image_type(void);
20 void bl31_prepare_next_image_entry(void);
21 void bl31_register_bl32_init(int32_t (*func)(void));
22 void bl31_warm_entrypoint(void);
23 void bl31_main(void);
24 void bl31_lib_init(void);
25 
26 #endif /* BL31_H */
27