// SPDX-License-Identifier: GPL-2.0
/*
 *  Nintendo 64 init.
 *
 *  Copyright (C) 2021	Lauri Kasanen
 */
#include <linux/init.h>
#include <linux/ioport.h>
#include <linux/irq.h>
#include <linux/memblock.h>
#include <linux/platform_device.h>
#include <linux/platform_data/simplefb.h>
#include <linux/string.h>

#include <asm/bootinfo.h>
#include <asm/fw/fw.h>
#include <asm/time.h>

#define IO_MEM_RESOURCE_START	0UL
#define IO_MEM_RESOURCE_END	0x1fffffffUL

/*
 * System-specifc irq names for clarity
 */
#define MIPS_CPU_IRQ(x)		(MIPS_CPU_IRQ_BASE + (x))
#define MIPS_SOFTINT0_IRQ	MIPS_CPU_IRQ(0)
#define MIPS_SOFTINT1_IRQ	MIPS_CPU_IRQ(1)
#define RCP_IRQ			MIPS_CPU_IRQ(2)
#define CART_IRQ		MIPS_CPU_IRQ(3)
#define PRENMI_IRQ		MIPS_CPU_IRQ(4)
#define RDBR_IRQ		MIPS_CPU_IRQ(5)
#define RDBW_IRQ		MIPS_CPU_IRQ(6)
#define TIMER_IRQ		MIPS_CPU_IRQ(7)

static void __init iomem_resource_init(void)
{
	iomem_resource.start = IO_MEM_RESOURCE_START;
	iomem_resource.end = IO_MEM_RESOURCE_END;
}

const char *get_system_type(void)
{
	return "Nintendo 64";
}

void __init prom_init(void)
{
	fw_init_cmdline();
}

#define W 320
#define H 240
#define REG_BASE ((u32 *) CKSEG1ADDR(0x4400000))

static void __init n64rdp_write_reg(const u8 reg, const u32 value)
{
	__raw_writel(value, REG_BASE + reg);
}

#undef REG_BASE

static const u32 ntsc_320[] __initconst = {
	0x00013212, 0x00000000, 0x00000140, 0x00000200,
	0x00000000, 0x03e52239, 0x0000020d, 0x00000c15,
	0x0c150c15, 0x006c02ec, 0x002501ff, 0x000e0204,
	0x00000200, 0x00000400
};

#define MI_REG_BASE 0x4300000
#define NUM_MI_REGS 4
#define AI_REG_BASE 0x4500000
#define NUM_AI_REGS 6
#define PI_REG_BASE 0x4600000
#define NUM_PI_REGS 5
#define SI_REG_BASE 0x4800000
#define NUM_SI_REGS 7

static int __init n64_platform_init(void)
{
	static const char simplefb_resname[] = "FB";
	static const struct simplefb_platform_data mode = {
		.width = W,
		.height = H,
		.stride = W * 2,
		.format = "r5g5b5a1"
	};
	struct resource res[3];
	void *orig;
	unsigned long phys;
	unsigned i;

	memset(res, 0, sizeof(struct resource) * 3);
	res[0].flags = IORESOURCE_MEM;
	res[0].start = MI_REG_BASE;
	res[0].end = MI_REG_BASE + NUM_MI_REGS * 4 - 1;

	res[1].flags = IORESOURCE_MEM;
	res[1].start = AI_REG_BASE;
	res[1].end = AI_REG_BASE + NUM_AI_REGS * 4 - 1;

	res[2].flags = IORESOURCE_IRQ;
	res[2].start = RCP_IRQ;
	res[2].end = RCP_IRQ;

	platform_device_register_simple("n64audio", -1, res, 3);

	memset(&res[0], 0, sizeof(res[0]));
	res[0].flags = IORESOURCE_MEM;
	res[0].start = PI_REG_BASE;
	res[0].end = PI_REG_BASE + NUM_PI_REGS * 4 - 1;

	platform_device_register_simple("n64cart", -1, res, 1);

	memset(&res[0], 0, sizeof(res[0]));
	res[0].flags = IORESOURCE_MEM;
	res[0].start = SI_REG_BASE;
	res[0].end = SI_REG_BASE + NUM_SI_REGS * 4 - 1;

	platform_device_register_simple("n64joy", -1, res, 1);

	/* The framebuffer needs 64-byte alignment */
	orig = kzalloc(W * H * 2 + 63, GFP_DMA | GFP_KERNEL);
	if (!orig)
		return -ENOMEM;
	phys = virt_to_phys(orig);
	phys += 63;
	phys &= ~63;

	for (i = 0; i < ARRAY_SIZE(ntsc_320); i++) {
		if (i == 1)
			n64rdp_write_reg(i, phys);
		else
			n64rdp_write_reg(i, ntsc_320[i]);
	}

	/* setup IORESOURCE_MEM as framebuffer memory */
	memset(&res[0], 0, sizeof(res[0]));
	res[0].flags = IORESOURCE_MEM;
	res[0].name = simplefb_resname;
	res[0].start = phys;
	res[0].end = phys + W * H * 2 - 1;

	platform_device_register_resndata(NULL, "simple-framebuffer", 0,
					  &res[0], 1, &mode, sizeof(mode));

	return 0;
}

#undef W
#undef H

arch_initcall(n64_platform_init);

void __init plat_mem_setup(void)
{
	iomem_resource_init();
	memblock_add(0x0, 8 * 1024 * 1024); /* Bootloader blocks the 4mb config */
}

void __init plat_time_init(void)
{
	/* 93.75 MHz cpu, count register runs at half rate */
	mips_hpt_frequency = 93750000 / 2;
}