Soby Mathew | ec8ac1c | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 1 | /* |
Dimitris Papastamos | 52323b0 | 2017-06-07 13:45:41 +0100 | [diff] [blame] | 2 | * Copyright (c) 2016-2017, ARM Limited and Contributors. All rights reserved. |
Soby Mathew | ec8ac1c | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 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 | |
Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 7 | #ifndef PLATFORM_SP_MIN_H |
| 8 | #define PLATFORM_SP_MIN_H |
| 9 | |
| 10 | #include <stdint.h> |
Soby Mathew | ec8ac1c | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 11 | |
| 12 | /******************************************************************************* |
| 13 | * Mandatory SP_MIN functions |
| 14 | ******************************************************************************/ |
Soby Mathew | 73308d0 | 2018-01-09 14:36:14 +0000 | [diff] [blame] | 15 | void sp_min_early_platform_setup2(u_register_t arg0, u_register_t arg1, |
| 16 | u_register_t arg2, u_register_t arg3); |
Soby Mathew | ec8ac1c | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 17 | void sp_min_platform_setup(void); |
Dimitris Papastamos | 52323b0 | 2017-06-07 13:45:41 +0100 | [diff] [blame] | 18 | void sp_min_plat_runtime_setup(void); |
| 19 | void sp_min_plat_arch_setup(void); |
Soby Mathew | ec8ac1c | 2016-05-05 14:32:05 +0100 | [diff] [blame] | 20 | entry_point_info_t *sp_min_plat_get_bl33_ep_info(void); |
| 21 | |
Etienne Carriere | dc0fea7 | 2017-08-09 15:48:53 +0200 | [diff] [blame] | 22 | /* Platforms that enable SP_MIN_WITH_SECURE_FIQ shall implement this api */ |
| 23 | void sp_min_plat_fiq_handler(uint32_t id); |
| 24 | |
Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 25 | #endif /* PLATFORM_SP_MIN_H */ |