1 /* 2 * Copyright (c) 2013-2018, 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_next_el_arch_setup(uint32_t security_state); 16 void bl31_set_next_image_type(uint32_t security_state); 17 uint32_t bl31_get_next_image_type(void); 18 void bl31_prepare_next_image_entry(void); 19 void bl31_register_bl32_init(int32_t (*func)(void)); 20 void bl31_warm_entrypoint(void); 21 void bl31_main(void); 22 void bl31_lib_init(void); 23 24 #endif /* BL31_H */ 25