1 // SPDX-License-Identifier: GPL-2.0-only
4 * Copyright (C) 2015 Microchip Technology Inc. All rights reserved.
6 #include <linux/init.h>
8 #include <asm/reboot.h>
9 #include <asm/mach-pic32/pic32.h>
11 #define PIC32_RSWRST 0x10
13 static void pic32_halt(void)
16 __asm__(".set push;\n"
24 static void pic32_machine_restart(char *command)
27 ioremap(PIC32_BASE_RESET + PIC32_RSWRST, sizeof(u32));
29 pic32_syskey_unlock();
31 /* magic write/read */
33 (void)__raw_readl(reg);
38 static void pic32_machine_halt(void)
45 static int __init mips_reboot_setup(void)
47 _machine_restart = pic32_machine_restart;
48 _machine_halt = pic32_machine_halt;
49 pm_power_off = pic32_machine_halt;
54 arch_initcall(mips_reboot_setup);