14ecca339SDan Handley /* 29fb8af33SRoberto Vargas * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved. 34ecca339SDan Handley * 482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 54ecca339SDan Handley */ 64ecca339SDan Handley 74ecca339SDan Handley #ifndef __BL31_H__ 84ecca339SDan Handley #define __BL31_H__ 94ecca339SDan Handley 1097043ac9SDan Handley #include <stdint.h> 114ecca339SDan Handley 124ecca339SDan Handley /******************************************************************************* 134ecca339SDan Handley * Function prototypes 144ecca339SDan Handley ******************************************************************************/ 15c6bc0710SDan Handley void bl31_next_el_arch_setup(uint32_t security_state); 169fb8af33SRoberto Vargas void bl31_set_next_image_type(uint32_t security_state); 17c6bc0710SDan Handley uint32_t bl31_get_next_image_type(void); 184f2104ffSJuan Castillo void bl31_prepare_next_image_entry(void); 199fb8af33SRoberto Vargas void bl31_register_bl32_init(int32_t (*func)(void)); 20cf0b1492SSoby Mathew void bl31_warm_entrypoint(void); 21*7fabe1a8SRoberto Vargas void bl31_main(void); 22*7fabe1a8SRoberto Vargas void bl31_lib_init(void); 2397043ac9SDan Handley 244ecca339SDan Handley #endif /* __BL31_H__ */ 25