@ -71,7 +71,7 @@ struct entry_point_info *bl31_plat_get_next_image_ep_info(uint32_t type)
* while creating page tables . BL2 has flushed this information to memory , so
* while creating page tables . BL2 has flushed this information to memory , so
* we are guaranteed to pick up good data .
* we are guaranteed to pick up good data .
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
void arm_bl31_early_platform_setup ( void * from_bl2 , uintptr_t soc_fw_config ,
void __init arm_bl31_early_platform_setup ( void * from_bl2 , uintptr_t soc_fw_config ,
uintptr_t hw_config , void * plat_params_from_bl2 )
uintptr_t hw_config , void * plat_params_from_bl2 )
{
{
/* Initialize the console to provide early debug support */
/* Initialize the console to provide early debug support */
@ -235,7 +235,7 @@ void arm_bl31_plat_runtime_setup(void)
arm_console_runtime_init ( ) ;
arm_console_runtime_init ( ) ;
}
}
void bl31_platform_setup ( void )
void __init bl31_platform_setup ( void )
{
{
arm_bl31_platform_setup ( ) ;
arm_bl31_platform_setup ( ) ;
}
}
@ -251,7 +251,7 @@ void bl31_plat_runtime_setup(void)
* architectural setup ( bl31_arch_setup ( ) ) does not do anything platform
* architectural setup ( bl31_arch_setup ( ) ) does not do anything platform
* specific .
* specific .
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
void arm_bl31_plat_arch_setup ( void )
void __init arm_bl31_plat_arch_setup ( void )
{
{
const mmap_region_t bl_regions [ ] = {
const mmap_region_t bl_regions [ ] = {
MAP_BL31_TOTAL ,
MAP_BL31_TOTAL ,
@ -273,7 +273,7 @@ void arm_bl31_plat_arch_setup(void)
arm_setup_romlib ( ) ;
arm_setup_romlib ( ) ;
}
}
void bl31_plat_arch_setup ( void )
void __init bl31_plat_arch_setup ( void )
{
{
arm_bl31_plat_arch_setup ( ) ;
arm_bl31_plat_arch_setup ( ) ;
}
}