1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2012-2014 Panasonic Corporation
4 * Copyright (C) 2015-2016 Socionext Inc.
5 * Author: Masahiro Yamada <yamada.masahiro@socionext.com>
10 #include <asm/secure.h>
14 /* If PSCI is enabled, this is used for SYSTEM_RESET function */
15 #ifdef CONFIG_ARMV7_PSCI
16 #define __SECURE __secure
21 void __SECURE reset_cpu(unsigned long ignored)
25 writel(5, SC_IRQTIMSET); /* default value */
27 tmp = readl(SC_SLFRSTSEL);
28 tmp &= ~0x3; /* mask [1:0] */
29 tmp |= 0x0; /* XRST reboot */
30 writel(tmp, SC_SLFRSTSEL);
32 tmp = readl(SC_SLFRSTCTL);
34 writel(tmp, SC_SLFRSTCTL);