14ecca339SDan Handley /* 2*88cfd9a6SAntonio Nino Diaz * Copyright (c) 2013-2019, ARM Limited and Contributors. All rights reserved. 34ecca339SDan Handley * 482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 54ecca339SDan Handley */ 64ecca339SDan Handley 7c3cf06f1SAntonio Nino Diaz #ifndef BL31_H 8c3cf06f1SAntonio Nino Diaz #define BL31_H 94ecca339SDan Handley 1097043ac9SDan Handley #include <stdint.h> 114ecca339SDan Handley 124ecca339SDan Handley /******************************************************************************* 134ecca339SDan Handley * Function prototypes 144ecca339SDan Handley ******************************************************************************/ 15*88cfd9a6SAntonio Nino Diaz void bl31_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2, 16*88cfd9a6SAntonio Nino Diaz u_register_t arg3); 17c6bc0710SDan Handley void bl31_next_el_arch_setup(uint32_t security_state); 189fb8af33SRoberto Vargas void bl31_set_next_image_type(uint32_t security_state); 19c6bc0710SDan Handley uint32_t bl31_get_next_image_type(void); 204f2104ffSJuan Castillo void bl31_prepare_next_image_entry(void); 219fb8af33SRoberto Vargas void bl31_register_bl32_init(int32_t (*func)(void)); 22cf0b1492SSoby Mathew void bl31_warm_entrypoint(void); 237fabe1a8SRoberto Vargas void bl31_main(void); 247fabe1a8SRoberto Vargas void bl31_lib_init(void); 2597043ac9SDan Handley 26c3cf06f1SAntonio Nino Diaz #endif /* BL31_H */ 27