| Soby Mathew | ec8ac1c | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame^] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Soby Mathew | ec8ac1c | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 5 | */ |
| 6 | |
| 7 | #ifndef __PLATFORM_SP_MIN_H__ |
| 8 | #define __PLATFORM_SP_MIN_H__ |
| 9 | |
| 10 | /******************************************************************************* |
| 11 | * Mandatory SP_MIN functions |
| 12 | ******************************************************************************/ |
| Yatharth Kochar | 1c16a4c | 2016-06-30 14:50:58 +0100 | [diff] [blame] | 13 | void sp_min_early_platform_setup(void *from_bl2, |
| 14 | void *plat_params_from_bl2); |
| Soby Mathew | ec8ac1c | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 15 | void sp_min_plat_arch_setup(void); |
| 16 | void sp_min_platform_setup(void); |
| 17 | entry_point_info_t *sp_min_plat_get_bl33_ep_info(void); |
| 18 | |
| 19 | #endif /* __PLATFORM_SP_MIN_H__ */ |