/* If the firmware passed a device tree use it for U-Boot.  */
void* board_fdt_blob_setup(void)
/* If the firmware passed a device tree use it for U-Boot.  */
void* board_fdt_blob_setup(void)
{
	if (fdt_magic(fw_dtb_pointer) != FDT_MAGIC)
		return NULL;
	return (void *)fw_dtb_pointer;
}