Antonio Nino Diaz | d83c1db | 2017-11-06 14:49:04 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2016-2017, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
Antonio Nino Diaz | d83c1db | 2017-11-06 14:49:04 +0000 | [diff] [blame] | 7 | #include <platform_def.h> |
| 8 | |
Antonio Nino Diaz | 09d40e0 | 2018-12-14 00:18:21 +0000 | [diff] [blame] | 9 | #include <common/bl_common.h> |
| 10 | #include <common/desc_image_load.h> |
| 11 | #include <plat/common/platform.h> |
| 12 | |
Antonio Nino Diaz | d83c1db | 2017-11-06 14:49:04 +0000 | [diff] [blame] | 13 | /******************************************************************************* |
| 14 | * This function flushes the data structures so that they are visible |
| 15 | * in memory for the next BL image. |
| 16 | ******************************************************************************/ |
| 17 | void plat_flush_next_bl_params(void) |
| 18 | { |
| 19 | flush_bl_params_desc(); |
| 20 | } |
| 21 | |
| 22 | /******************************************************************************* |
| 23 | * This function returns the list of loadable images. |
| 24 | ******************************************************************************/ |
| 25 | bl_load_info_t *plat_get_bl_image_load_info(void) |
| 26 | { |
| 27 | return get_bl_load_info_from_mem_params_desc(); |
| 28 | } |
| 29 | |
| 30 | /******************************************************************************* |
| 31 | * This function returns the list of executable images. |
| 32 | ******************************************************************************/ |
| 33 | bl_params_t *plat_get_next_bl_params(void) |
| 34 | { |
| 35 | return get_next_bl_params_from_mem_params_desc(); |
| 36 | } |