// SPDX-License-Identifier: GPL-2.0-only
/*
 * Joshua Henderson <joshua.henderson@microchip.com>
 * Copyright (C) 2015 Microchip Technology Inc.  All rights reserved.
 */
#include <linux/init.h>
#include <linux/io.h>
#include <linux/platform_data/pic32.h>
#include <linux/pm.h>
#include <asm/reboot.h>

#define PIC32_RSWRST            0x10

static void pic32_halt(void)
{
        while (1) {
                __asm__(".set push;\n"
                        ".set arch=r4000;\n"
                        "wait;\n"
                        ".set pop;\n"
                );
        }
}

static void pic32_machine_restart(char *command)
{
        void __iomem *reg =
                ioremap(PIC32_BASE_RESET + PIC32_RSWRST, sizeof(u32));

        pic32_syskey_unlock();

        /* magic write/read */
        __raw_writel(1, reg);
        (void)__raw_readl(reg);

        pic32_halt();
}

static void pic32_machine_halt(void)
{
        local_irq_disable();

        pic32_halt();
}

static int __init mips_reboot_setup(void)
{
        _machine_restart = pic32_machine_restart;
        _machine_halt = pic32_machine_halt;
        pm_power_off = pic32_machine_halt;

        return 0;
}

arch_initcall(mips_reboot_setup);