1 /* 2 * Copyright (c) 2024, Pengutronix, Inc. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 #ifndef PLAT_COMMON_H 7 #define PLAT_COMMON_H 8 9 #include <stdint.h> 10 #include <common/bl_common.h> 11 12 int imx_bl31_params_parse(uintptr_t arg0, uintptr_t ocram_base, 13 uintptr_t ocram_size, 14 entry_point_info_t *bl32_info, 15 entry_point_info_t *bl33_info); 16 17 #endif /* PLAT_COMMON_H */ 18