16d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-König#include <linux/kernel.h> 26d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-König 36d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-König#include <asm/v7m.h> 46d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-König 56d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-König#include <asm/mach/arch.h> 66d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-König 76d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-Königstatic const char *const efm32gg_compat[] __initconst = { 86d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-König "efm32,dk3750", 96d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-König NULL 106d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-König}; 116d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-König 126d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-KönigDT_MACHINE_START(EFM32DT, "EFM32 (Device Tree Support)") 136d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-König .dt_compat = efm32gg_compat, 146d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-König .restart = armv7m_restart, 156d85e2b0b6bed6ae7070426d5e43174c593e075cUwe Kleine-KönigMACHINE_END 16