2016-05-05 14:32:05 +01:00
|
|
|
/*
|
2017-06-07 13:45:41 +01:00
|
|
|
* Copyright (c) 2016-2017, ARM Limited and Contributors. All rights reserved.
|
2016-05-05 14:32:05 +01:00
|
|
|
*
|
2017-05-03 09:38:09 +01:00
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
2016-05-05 14:32:05 +01:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef __PLATFORM_SP_MIN_H__
|
|
|
|
#define __PLATFORM_SP_MIN_H__
|
|
|
|
|
|
|
|
/*******************************************************************************
|
|
|
|
* Mandatory SP_MIN functions
|
|
|
|
******************************************************************************/
|
2018-01-09 14:36:14 +00:00
|
|
|
#if !ERROR_DEPRECATED
|
2016-06-30 14:50:58 +01:00
|
|
|
void sp_min_early_platform_setup(void *from_bl2,
|
|
|
|
void *plat_params_from_bl2);
|
2018-01-09 14:36:14 +00:00
|
|
|
#endif
|
|
|
|
void sp_min_early_platform_setup2(u_register_t arg0, u_register_t arg1,
|
|
|
|
u_register_t arg2, u_register_t arg3);
|
2016-05-05 14:32:05 +01:00
|
|
|
void sp_min_platform_setup(void);
|
2017-06-07 13:45:41 +01:00
|
|
|
void sp_min_plat_runtime_setup(void);
|
|
|
|
void sp_min_plat_arch_setup(void);
|
2016-05-05 14:32:05 +01:00
|
|
|
entry_point_info_t *sp_min_plat_get_bl33_ep_info(void);
|
|
|
|
|
2017-08-09 14:48:53 +01:00
|
|
|
/* Platforms that enable SP_MIN_WITH_SECURE_FIQ shall implement this api */
|
|
|
|
void sp_min_plat_fiq_handler(uint32_t id);
|
|
|
|
|
2016-05-05 14:32:05 +01:00
|
|
|
#endif /* __PLATFORM_SP_MIN_H__ */
|