1 // SPDX-License-Identifier: GPL-2.0+ OR BSD-3-Clause
3 * Copyright (C) 2019, STMicroelectronics - All Rights Reserved
6 #define LOG_CATEGORY LOGC_ARCH
10 #include <asm/sections.h>
11 #include <asm/system.h>
14 * Force data-section, as .bss will not be valid
15 * when save_boot_params is invoked.
17 static unsigned long nt_fw_dtb __section(".data");
20 * Save the FDT address provided by TF-A in r2 at boot time
21 * This function is called from start.S
23 void save_boot_params(unsigned long r0, unsigned long r1, unsigned long r2,
28 save_boot_params_ret();
32 * Use the saved FDT address provided by TF-A at boot time (NT_FW_CONFIG =
33 * Non Trusted Firmware configuration file) when the pointer is valid
35 void *board_fdt_blob_setup(void)
37 log_debug("%s: nt_fw_dtb=%lx\n", __func__, nt_fw_dtb);
39 /* use external device tree only if address is valid */
40 if (nt_fw_dtb >= STM32_DDR_BASE) {
41 if (fdt_magic(nt_fw_dtb) == FDT_MAGIC)
42 return (void *)nt_fw_dtb;
43 log_debug("%s: DTB not found.\n", __func__);
45 log_debug("%s: fall back to builtin DTB, %p\n", __func__, &_end);