| /* | |
| * Copyright (C) 2013 Uwe Kleine-Koenig for Pengutronix | |
| * | |
| * This program is free software; you can redistribute it and/or modify it under | |
| * the terms of the GNU General Public License version 2 as published by the | |
| * Free Software Foundation. | |
| */ | |
| #include <linux/io.h> | |
| #include <linux/reboot.h> | |
| #include <asm/barrier.h> | |
| #include <asm/v7m.h> | |
| void armv7m_restart(enum reboot_mode mode, const char *cmd) | |
| { | |
| dsb(); | |
| __raw_writel(V7M_SCB_AIRCR_VECTKEY | V7M_SCB_AIRCR_SYSRESETREQ, | |
| BASEADDR_V7M_SCB + V7M_SCB_AIRCR); | |
| dsb(); | |
| } |