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

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