1 | // SPDX-License-Identifier: GPL-2.0-only |
---|---|
2 | /* |
3 | * Copyright (C) 2013 Uwe Kleine-Koenig for Pengutronix |
4 | */ |
5 | #include <linux/io.h> |
6 | #include <linux/reboot.h> |
7 | #include <asm/barrier.h> |
8 | #include <asm/v7m.h> |
9 | |
10 | void armv7m_restart(enum reboot_mode mode, const char *cmd) |
11 | { |
12 | dsb(); |
13 | __raw_writel(V7M_SCB_AIRCR_VECTKEY | V7M_SCB_AIRCR_SYSRESETREQ, |
14 | BASEADDR_V7M_SCB + V7M_SCB_AIRCR); |
15 | dsb(); |
16 | } |
17 |