| /* |
| * 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(); |
| } |
