| Roberto Vargas | 0571270 | 2018-02-12 12:36:17 +0000 | [diff] [blame] | 1 | /* |
| Antonio Nino Diaz | 6e4b083 | 2019-01-31 10:48:47 +0000 | [diff] [blame] | 2 | * Copyright (c) 2018-2019, ARM Limited and Contributors. All rights reserved. |
| Roberto Vargas | 0571270 | 2018-02-12 12:36:17 +0000 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 7 | #ifndef BL2_H |
| 8 | #define BL2_H |
| Roberto Vargas | 0571270 | 2018-02-12 12:36:17 +0000 | [diff] [blame] | 9 | |
| Antonio Nino Diaz | 6e4b083 | 2019-01-31 10:48:47 +0000 | [diff] [blame] | 10 | #include <stdint.h> |
| 11 | |
| 12 | void bl2_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2, |
| 13 | u_register_t arg3); |
| Antonio Nino Diaz | 4f29fb7 | 2019-01-31 17:40:44 +0000 | [diff] [blame] | 14 | void bl2_el3_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2, |
| 15 | u_register_t arg3); |
| Roberto Vargas | 0571270 | 2018-02-12 12:36:17 +0000 | [diff] [blame] | 16 | void bl2_main(void); |
| Roberto Vargas | 0571270 | 2018-02-12 12:36:17 +0000 | [diff] [blame] | 17 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 18 | #endif /* BL2_H */ |