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
|
|
|
|
******************************************************************************/
|
2016-06-30 14:50:58 +01:00
|
|
|
void sp_min_early_platform_setup(void *from_bl2,
|
|
|
|
void *plat_params_from_bl2);
|
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);
|
|
|
|
|
|
|
|
#endif /* __PLATFORM_SP_MIN_H__ */
|