root/arch/arm/mach-efm32/dtmachine.c

/* [<][>][^][v][top][bottom][index][help] */ 
   1 // SPDX-License-Identifier: GPL-2.0
   2 #include <linux/kernel.h>
   3 
   4 #include <asm/v7m.h>
   5 
   6 #include <asm/mach/arch.h>
   7 
   8 static const char *const efm32gg_compat[] __initconst = {
   9         "efm32,dk3750",
  10         NULL
  11 };
  12 
  13 DT_MACHINE_START(EFM32DT, "EFM32 (Device Tree Support)")
  14         .dt_compat = efm32gg_compat,
  15         .restart = armv7m_restart,
  16 MACHINE_END
/* [<][>][^][v][top][bottom][index][help] */