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