1*91f16700Schasinglulu /* 2*91f16700Schasinglulu * Copyright (c) 2013-2021, ARM Limited and Contributors. All rights reserved. 3*91f16700Schasinglulu * 4*91f16700Schasinglulu * SPDX-License-Identifier: BSD-3-Clause 5*91f16700Schasinglulu */ 6*91f16700Schasinglulu 7*91f16700Schasinglulu #ifndef BL31_H 8*91f16700Schasinglulu #define BL31_H 9*91f16700Schasinglulu 10*91f16700Schasinglulu #include <stdint.h> 11*91f16700Schasinglulu 12*91f16700Schasinglulu /******************************************************************************* 13*91f16700Schasinglulu * Function prototypes 14*91f16700Schasinglulu ******************************************************************************/ 15*91f16700Schasinglulu void bl31_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2, 16*91f16700Schasinglulu u_register_t arg3); 17*91f16700Schasinglulu void bl31_next_el_arch_setup(uint32_t security_state); 18*91f16700Schasinglulu void bl31_set_next_image_type(uint32_t security_state); 19*91f16700Schasinglulu uint32_t bl31_get_next_image_type(void); 20*91f16700Schasinglulu void bl31_prepare_next_image_entry(void); 21*91f16700Schasinglulu void bl31_register_bl32_init(int32_t (*func)(void)); 22*91f16700Schasinglulu void bl31_register_rmm_init(int32_t (*func)(void)); 23*91f16700Schasinglulu void bl31_warm_entrypoint(void); 24*91f16700Schasinglulu void bl31_main(void); 25*91f16700Schasinglulu void bl31_lib_init(void); 26*91f16700Schasinglulu 27*91f16700Schasinglulu #endif /* BL31_H */ 28