arch/nds32/kernel/devtree.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 // Copyright (C) 2005-2017 Andes Technology Corporation
   3
   4 #include <linux/bug.h>
   5 #include <linux/printk.h>
   6 #include <linux/of_fdt.h>
   7
   8 void __init early_init_devtree(void *params)
   9 {
  10         if (!params || !early_init_dt_scan(params)) {
  11                 pr_crit("\n"
  12                         "Error: invalid device tree blob at (virtual address 0x%p)\n"
  13                         "\nPlease check your bootloader.", params);
  14
  15                 BUG_ON(1);
  16         }
  17
  18         dump_stack_set_arch_desc("%s (DT)", of_flat_dt_get_machine_name());
  19 }