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
 8static const char *const efm32gg_compat[] __initconst = {
 9	"efm32,dk3750",
10	NULL
11};
12
13DT_MACHINE_START(EFM32DT, "EFM32 (Device Tree Support)")
14	.dt_compat = efm32gg_compat,
15	.restart = armv7m_restart,
16MACHINE_END

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