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