// SPDX-License-Identifier: GPL-2.0
// Copyright (C) 2005-2017 Andes Technology Corporation

#include <linux/bug.h>
#include <linux/printk.h>
#include <linux/of_fdt.h>

void __init early_init_devtree(void *params)
{
	if (!params || !early_init_dt_scan(params)) {
		pr_crit("\n"
			"Error: invalid device tree blob at (virtual address 0x%p)\n"
			"\nPlease check your bootloader.", params);

		BUG_ON(1);
	}

	dump_stack_set_arch_desc("%s (DT)", of_flat_dt_get_machine_name());
}