Orange Pi5 kernel

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