14ecca339SDan Handley /* 2d9712f9cSSigned-off-by: Maheedhar Bollapalli * Copyright (c) 2013-2025, 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 ******************************************************************************/ 15c6bc0710SDan Handley void bl31_next_el_arch_setup(uint32_t security_state); 169fb8af33SRoberto Vargas void bl31_set_next_image_type(uint32_t security_state); 174f2104ffSJuan Castillo void bl31_prepare_next_image_entry(void); 189fb8af33SRoberto Vargas void bl31_register_bl32_init(int32_t (*func)(void)); 195b18de09SZelalem Aweke void bl31_register_rmm_init(int32_t (*func)(void)); 20cf0b1492SSoby Mathew void bl31_warm_entrypoint(void); 21*d158d425SBoyan Karatotev void bl31_main(u_register_t arg0, u_register_t arg1, u_register_t arg2, 22*d158d425SBoyan Karatotev u_register_t arg3); 2397043ac9SDan Handley 24c3cf06f1SAntonio Nino Diaz #endif /* BL31_H */ 25