1 // SPDX-License-Identifier: GPL-2.0-only
3 * Joshua Henderson <joshua.henderson@microchip.com>
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
);