| // SPDX-License-Identifier: GPL-2.0-or-later | 
 | /* | 
 |  *  Setup code for AT91RM9200 | 
 |  * | 
 |  *  Copyright (C) 2011 Atmel, | 
 |  *                2011 Nicolas Ferre <nicolas.ferre@atmel.com> | 
 |  *                2012 Joachim Eastwood <manabian@gmail.com> | 
 |  */ | 
 |  | 
 | #include <linux/of.h> | 
 | #include <linux/of_platform.h> | 
 |  | 
 | #include <asm/mach/arch.h> | 
 |  | 
 | #include "generic.h" | 
 |  | 
 | static void __init at91rm9200_dt_device_init(void) | 
 | { | 
 | 	of_platform_default_populate(NULL, NULL, NULL); | 
 |  | 
 | 	at91rm9200_pm_init(); | 
 | } | 
 |  | 
 | static const char *const at91rm9200_dt_board_compat[] __initconst = { | 
 | 	"atmel,at91rm9200", | 
 | 	NULL | 
 | }; | 
 |  | 
 | DT_MACHINE_START(at91rm9200_dt, "Atmel AT91RM9200") | 
 | 	.init_machine	= at91rm9200_dt_device_init, | 
 | 	.dt_compat	= at91rm9200_dt_board_compat, | 
 | MACHINE_END |