| Achin Gupta | 4f6ad66 | 2013-10-25 09:08:21 +0100 | [diff] [blame] | 1 | /* |
| Antonio Nino Diaz | 47a9064 | 2019-01-31 11:01:26 +0000 | [diff] [blame] | 2 | * Copyright (c) 2013-2019, ARM Limited and Contributors. All rights reserved. |
| Achin Gupta | 4f6ad66 | 2013-10-25 09:08:21 +0100 | [diff] [blame] | 3 | * |
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Achin Gupta | 4f6ad66 | 2013-10-25 09:08:21 +0100 | [diff] [blame] | 5 | */ |
| 6 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 7 | #ifndef BL31_H |
| 8 | #define BL31_H |
| Achin Gupta | 4f6ad66 | 2013-10-25 09:08:21 +0100 | [diff] [blame] | 9 | |
| Dan Handley | 2bd4ef2 | 2014-04-09 13:14:54 +0100 | [diff] [blame] | 10 | #include <stdint.h> |
| Achin Gupta | 4f6ad66 | 2013-10-25 09:08:21 +0100 | [diff] [blame] | 11 | |
| Achin Gupta | 4f6ad66 | 2013-10-25 09:08:21 +0100 | [diff] [blame] | 12 | /******************************************************************************* |
| 13 | * Function prototypes |
| 14 | ******************************************************************************/ |
| Antonio Nino Diaz | 47a9064 | 2019-01-31 11:01:26 +0000 | [diff] [blame] | 15 | void bl31_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2, |
| 16 | u_register_t arg3); |
| Dan Handley | a17fefa | 2014-05-14 12:38:32 +0100 | [diff] [blame] | 17 | void bl31_next_el_arch_setup(uint32_t security_state); |
| Roberto Vargas | 777dd43 | 2018-02-12 12:36:17 +0000 | [diff] [blame] | 18 | void bl31_set_next_image_type(uint32_t security_state); |
| Dan Handley | a17fefa | 2014-05-14 12:38:32 +0100 | [diff] [blame] | 19 | uint32_t bl31_get_next_image_type(void); |
| Juan Castillo | 2d55240 | 2014-06-13 17:05:10 +0100 | [diff] [blame] | 20 | void bl31_prepare_next_image_entry(void); |
| Roberto Vargas | 777dd43 | 2018-02-12 12:36:17 +0000 | [diff] [blame] | 21 | void bl31_register_bl32_init(int32_t (*func)(void)); |
| Soby Mathew | d019487 | 2016-04-29 19:01:30 +0100 | [diff] [blame] | 22 | void bl31_warm_entrypoint(void); |
| Roberto Vargas | 0571270 | 2018-02-12 12:36:17 +0000 | [diff] [blame] | 23 | void bl31_main(void); |
| 24 | void bl31_lib_init(void); |
| Dan Handley | 2bd4ef2 | 2014-04-09 13:14:54 +0100 | [diff] [blame] | 25 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 26 | #endif /* BL31_H */ |