1 /* 2 * Copyright (c) 2013-2016, 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 type); 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 (*)(void)); 20 void bl31_warm_entrypoint(void); 21 22 #endif /* __BL31_H__ */ 23