// 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! */
 raw_local_irq_enable();
 cpu_do_idle();
 raw_local_irq_disable();
}

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