blob: 7c35922c3c0243d06479082dcb2749f3815ed4f2 [file] [log] [blame]
Achin Gupta4f6ad662013-10-25 09:08:21 +01001/*
Roberto Vargas777dd432018-02-12 12:36:17 +00002 * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved.
Achin Gupta4f6ad662013-10-25 09:08:21 +01003 *
dp-armfa3cf0b2017-05-03 09:38:09 +01004 * SPDX-License-Identifier: BSD-3-Clause
Achin Gupta4f6ad662013-10-25 09:08:21 +01005 */
6
7#ifndef __BL31_H__
8#define __BL31_H__
9
Dan Handley2bd4ef22014-04-09 13:14:54 +010010#include <stdint.h>
Achin Gupta4f6ad662013-10-25 09:08:21 +010011
Achin Gupta4f6ad662013-10-25 09:08:21 +010012/*******************************************************************************
13 * Function prototypes
14 ******************************************************************************/
Dan Handleya17fefa2014-05-14 12:38:32 +010015void bl31_next_el_arch_setup(uint32_t security_state);
Roberto Vargas777dd432018-02-12 12:36:17 +000016void bl31_set_next_image_type(uint32_t security_state);
Dan Handleya17fefa2014-05-14 12:38:32 +010017uint32_t bl31_get_next_image_type(void);
Juan Castillo2d552402014-06-13 17:05:10 +010018void bl31_prepare_next_image_entry(void);
Roberto Vargas777dd432018-02-12 12:36:17 +000019void bl31_register_bl32_init(int32_t (*func)(void));
Soby Mathewd0194872016-04-29 19:01:30 +010020void bl31_warm_entrypoint(void);
Roberto Vargas05712702018-02-12 12:36:17 +000021void bl31_main(void);
22void bl31_lib_init(void);
Dan Handley2bd4ef22014-04-09 13:14:54 +010023
Achin Gupta4f6ad662013-10-25 09:08:21 +010024#endif /* __BL31_H__ */