| Dan Handley | bcd60ba | 2014-04-17 18:53:42 +0100 | [diff] [blame] | 1 | /* |
| Zelalem | 91d8061 | 2020-02-12 10:37:03 -0600 | [diff] [blame] | 2 | * Copyright (c) 2013-2020, ARM Limited and Contributors. All rights reserved. |
| Dan Handley | bcd60ba | 2014-04-17 18:53:42 +0100 | [diff] [blame] | 3 | * |
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Dan Handley | bcd60ba | 2014-04-17 18:53:42 +0100 | [diff] [blame] | 5 | */ |
| 6 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 7 | #ifndef BL1_PRIVATE_H |
| 8 | #define BL1_PRIVATE_H |
| Dan Handley | bcd60ba | 2014-04-17 18:53:42 +0100 | [diff] [blame] | 9 | |
| Antonio Nino Diaz | 4b32e62 | 2018-08-16 16:52:57 +0100 | [diff] [blame] | 10 | #include <stdint.h> |
| Antonio Nino Diaz | e0f9063 | 2018-12-14 00:18:21 +0000 | [diff] [blame] | 11 | |
| Antonio Nino Diaz | b0fd008 | 2018-12-18 13:49:46 +0000 | [diff] [blame] | 12 | #include <common/bl_common.h> |
| Sandrine Bailleux | 467d057 | 2014-06-24 14:02:34 +0100 | [diff] [blame] | 13 | |
| Dan Handley | bcd60ba | 2014-04-17 18:53:42 +0100 | [diff] [blame] | 14 | /****************************************** |
| 15 | * Function prototypes |
| 16 | *****************************************/ |
| Dan Handley | a17fefa | 2014-05-14 12:38:32 +0100 | [diff] [blame] | 17 | void bl1_arch_setup(void); |
| 18 | void bl1_arch_next_el_setup(void); |
| Dan Handley | bcd60ba | 2014-04-17 18:53:42 +0100 | [diff] [blame] | 19 | |
| Yatharth Kochar | a65be2f | 2015-10-09 18:06:13 +0100 | [diff] [blame] | 20 | void bl1_prepare_next_image(unsigned int image_id); |
| Yatharth Kochar | 71c9a5e | 2015-10-10 19:06:53 +0100 | [diff] [blame] | 21 | |
| Zelalem | 91d8061 | 2020-02-12 10:37:03 -0600 | [diff] [blame] | 22 | u_register_t bl1_fwu_smc_handler(unsigned int smc_fid, |
| 23 | u_register_t x1, |
| 24 | u_register_t x2, |
| 25 | u_register_t x3, |
| 26 | u_register_t x4, |
| Yatharth Kochar | 71c9a5e | 2015-10-10 19:06:53 +0100 | [diff] [blame] | 27 | void *cookie, |
| 28 | void *handle, |
| 29 | unsigned int flags); |
| Antonio Nino Diaz | b0fd008 | 2018-12-18 13:49:46 +0000 | [diff] [blame] | 30 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 31 | #endif /* BL1_PRIVATE_H */ |