| 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 | | // SPDX-License-Identifier: GPL-2.0-only |  | /* |  |  * Copyright (C) 2013 Uwe Kleine-Koenig for Pengutronix |  |  */ |  | #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(); |  | } | 
 |