| // SPDX-License-Identifier: GPL-2.0 | 
 | /* | 
 |  * Gemini Device Tree boot support | 
 |  */ | 
 | #include <linux/kernel.h> | 
 | #include <linux/init.h> | 
 | #include <linux/io.h> | 
 |  | 
 | #include <asm/mach/arch.h> | 
 | #include <asm/mach/map.h> | 
 | #include <asm/system_misc.h> | 
 | #include <asm/proc-fns.h> | 
 |  | 
 | #ifdef CONFIG_DEBUG_GEMINI | 
 | /* This is needed for LL-debug/earlyprintk/debug-macro.S */ | 
 | static struct map_desc gemini_io_desc[] __initdata = { | 
 | 	{ | 
 | 		.virtual = CONFIG_DEBUG_UART_VIRT, | 
 | 		.pfn = __phys_to_pfn(CONFIG_DEBUG_UART_PHYS), | 
 | 		.length = SZ_4K, | 
 | 		.type = MT_DEVICE, | 
 | 	}, | 
 | }; | 
 |  | 
 | static void __init gemini_map_io(void) | 
 | { | 
 | 	iotable_init(gemini_io_desc, ARRAY_SIZE(gemini_io_desc)); | 
 | } | 
 | #else | 
 | #define gemini_map_io NULL | 
 | #endif | 
 |  | 
 | static void gemini_idle(void) | 
 | { | 
 | 	/* | 
 | 	 * Because of broken hardware we have to enable interrupts or the CPU | 
 | 	 * will never wakeup... Acctualy it is not very good to enable | 
 | 	 * interrupts first since scheduler can miss a tick, but there is | 
 | 	 * no other way around this. Platforms that needs it for power saving | 
 | 	 * should enable it in init code, since by default it is | 
 | 	 * disabled. | 
 | 	 */ | 
 |  | 
 | 	/* FIXME: Enabling interrupts here is racy! */ | 
 | 	local_irq_enable(); | 
 | 	cpu_do_idle(); | 
 | } | 
 |  | 
 | static void __init gemini_init_machine(void) | 
 | { | 
 | 	arm_pm_idle = gemini_idle; | 
 | } | 
 |  | 
 | static const char *gemini_board_compat[] = { | 
 | 	"cortina,gemini", | 
 | 	NULL, | 
 | }; | 
 |  | 
 | DT_MACHINE_START(GEMINI_DT, "Gemini (Device Tree)") | 
 | 	.map_io		= gemini_map_io, | 
 | 	.init_machine	= gemini_init_machine, | 
 | 	.dt_compat	= gemini_board_compat, | 
 | MACHINE_END |