| Dan Handley | 5b827a8 | 2014-04-17 18:53:42 +0100 | [diff] [blame] | 1 | /* |
| Zelalem | 2fe75a2 | 2020-02-12 10:37:03 -0600 | [diff] [blame^] | 2 | * Copyright (c) 2013-2020, ARM Limited and Contributors. All rights reserved. |
| Dan Handley | 5b827a8 | 2014-04-17 18:53:42 +0100 | [diff] [blame] | 3 | * |
| dp-arm | 82cb2c1 | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Dan Handley | 5b827a8 | 2014-04-17 18:53:42 +0100 | [diff] [blame] | 5 | */ |
| 6 | |||||
| Antonio Nino Diaz | c3cf06f | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 7 | #ifndef BL1_PRIVATE_H |
| 8 | #define BL1_PRIVATE_H | ||||
| Dan Handley | 5b827a8 | 2014-04-17 18:53:42 +0100 | [diff] [blame] | 9 | |
| Antonio Nino Diaz | 93c78ed | 2018-08-16 16:52:57 +0100 | [diff] [blame] | 10 | #include <stdint.h> |
| Antonio Nino Diaz | 09d40e0 | 2018-12-14 00:18:21 +0000 | [diff] [blame] | 11 | |
| Antonio Nino Diaz | c9f9d9e | 2018-12-18 13:49:46 +0000 | [diff] [blame] | 12 | #include <common/bl_common.h> |
| Sandrine Bailleux | 8f55dfb | 2014-06-24 14:02:34 +0100 | [diff] [blame] | 13 | |
| Dan Handley | 5b827a8 | 2014-04-17 18:53:42 +0100 | [diff] [blame] | 14 | /****************************************** |
| 15 | * Function prototypes | ||||
| 16 | *****************************************/ | ||||
| Dan Handley | c6bc071 | 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 | 5b827a8 | 2014-04-17 18:53:42 +0100 | [diff] [blame] | 19 | |
| Yatharth Kochar | 7baff11 | 2015-10-09 18:06:13 +0100 | [diff] [blame] | 20 | void bl1_prepare_next_image(unsigned int image_id); |
| Yatharth Kochar | 48bfb88 | 2015-10-10 19:06:53 +0100 | [diff] [blame] | 21 | |
| Zelalem | 2fe75a2 | 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 | 48bfb88 | 2015-10-10 19:06:53 +0100 | [diff] [blame] | 27 | void *cookie, |
| 28 | void *handle, | ||||
| 29 | unsigned int flags); | ||||
| Antonio Nino Diaz | c9f9d9e | 2018-12-18 13:49:46 +0000 | [diff] [blame] | 30 | |
| Antonio Nino Diaz | c3cf06f | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 31 | #endif /* BL1_PRIVATE_H */ |