/* If the firmware provided a valid FDT at boot time, let's expose it in ${fdt_addr} so it may be passed unmodified to the kernel.  */
static void set_fdt_addr(void)
/* If the firmware provided a valid FDT at boot time, let's expose it in ${fdt_addr} so it may be passed unmodified to the kernel.  */
static void set_fdt_addr(void)
{
	if (env_get("fdt_addr"))
		return;
	if (fdt_magic(fw_dtb_pointer) != FDT_MAGIC)
		return;
	env_set_hex("fdt_addr", fw_dtb_pointer);
}