[deliverable/linux.git] / arch / arm / mach-efm32 / dtmachine.c

#include <linux/kernel.h>

#include <asm/v7m.h>

#include <asm/mach/arch.h>

static const char *const efm32gg_compat[] __initconst = {
	"efm32,dk3750",
	NULL
};

DT_MACHINE_START(EFM32DT, "EFM32 (Device Tree Support)")
	.dt_compat = efm32gg_compat,
	.restart = armv7m_restart,
MACHINE_END
Commit	Line	Data
6d85e2b0 UKK	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