| /* |
| * (c) 2015 Purna Chandra Mandal <purna.mandal@microchip.com> |
| * |
| * SPDX-License-Identifier: GPL-2.0+ |
| * |
| */ |
| |
| #include <common.h> |
| #include <asm/io.h> |
| #include <mach/pic32.h> |
| |
| /* SYSKEY */ |
| #define UNLOCK_KEY1 0xaa996655 |
| #define UNLOCK_KEY2 0x556699aa |
| #define LOCK_KEY 0 |
| |
| #define RSWRST 0x1250 |
| |
| void _machine_restart(void) |
| { |
| void __iomem *base; |
| |
| base = pic32_get_syscfg_base(); |
| |
| /* unlock sequence */ |
| writel(LOCK_KEY, base + SYSKEY); |
| writel(UNLOCK_KEY1, base + SYSKEY); |
| writel(UNLOCK_KEY2, base + SYSKEY); |
| |
| /* soft reset */ |
| writel(0x1, base + RSWRST); |
| (void) readl(base + RSWRST); |
| |
| while (1) |
| ; |
| } |