1 /* 2 * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <arch.h> 8 #include <arch_helpers.h> 9 #include <platform_def.h> 10 #include <assert.h> 11 #include <bl_common.h> 12 #include <debug.h> 13 14 void bl31_early_platform_setup(bl31_params_t *from_bl2, 15 void *plat_params_from_bl2) 16 { 17 /* There are no parameters from BL2 if BL31 is a reset vector */ 18 assert(from_bl2 == NULL); 19 assert(plat_params_from_bl2 == NULL); 20 } 21 22 void bl31_platform_setup(void) 23 { 24 } 25 26 void bl31_plat_runtime_setup(void) 27 { 28 } 29 30 void bl31_plat_arch_setup(void) 31 { 32 } 33