66 lines
1.8 KiB
C
66 lines
1.8 KiB
C
/*
|
|
* Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved.
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*/
|
|
|
|
#include <arch.h>
|
|
#include <arch_helpers.h>
|
|
#include <assert.h>
|
|
#include <bl_common.h>
|
|
#include <debug.h>
|
|
#include <platform_def.h>
|
|
#include <string.h>
|
|
|
|
/*******************************************************************************
|
|
* Perform any BL3-1 early platform setup, such as console init and deciding on
|
|
* memory layout.
|
|
******************************************************************************/
|
|
void bl31_early_platform_setup(bl31_params_t *from_bl2,
|
|
void *plat_params_from_bl2)
|
|
{
|
|
/* There are no parameters from BL2 if BL31 is a reset vector */
|
|
assert(from_bl2 == NULL);
|
|
assert(plat_params_from_bl2 == NULL);
|
|
}
|
|
|
|
void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
|
|
u_register_t arg2, u_register_t arg3)
|
|
{
|
|
bl31_early_platform_setup((void *)arg0, (void *)arg1);
|
|
}
|
|
|
|
void bl31_plat_arch_setup(void)
|
|
{
|
|
/* TODO: Initialize the MMU tables */
|
|
}
|
|
|
|
void bl31_platform_setup(void)
|
|
{
|
|
/* TODO: Initialize the GIC CPU and distributor interfaces */
|
|
}
|
|
|
|
void platform_mem_init(void)
|
|
{
|
|
/* Do nothing for now... */
|
|
}
|
|
|
|
/*
|
|
* Empty function to prevent the console from being uninitialized after BL33 is
|
|
* started and allow us to see messages from BL31.
|
|
*/
|
|
void bl31_plat_runtime_setup(void)
|
|
{
|
|
}
|
|
|
|
/*******************************************************************************
|
|
* Return a pointer to the 'entry_point_info' structure of the next image
|
|
* for the security state specified. BL3-3 corresponds to the non-secure
|
|
* image type while BL3-2 corresponds to the secure image type. A NULL
|
|
* pointer is returned if the image does not exist.
|
|
******************************************************************************/
|
|
entry_point_info_t *bl31_plat_get_next_image_ep_info(uint32_t type)
|
|
{
|
|
return NULL;
|
|
}
|