| // SPDX-License-Identifier: GPL-2.0+ |
| * Copyright (C) 2012-2014 Panasonic Corporation |
| * Copyright (C) 2015-2016 Socionext Inc. |
| * Author: Masahiro Yamada <yamada.masahiro@socionext.com> |
| /* If PSCI is enabled, this is used for SYSTEM_RESET function */ |
| #define __SECURE __secure |
| void __SECURE reset_cpu(void) |
| writel(5, sc_base + SC_IRQTIMSET); /* default value */ |
| tmp = readl(sc_base + SC_SLFRSTSEL); |
| tmp &= ~0x3; /* mask [1:0] */ |
| tmp |= 0x0; /* XRST reboot */ |
| writel(tmp, sc_base + SC_SLFRSTSEL); |
| tmp = readl(sc_base + SC_SLFRSTCTL); |
| writel(tmp, sc_base + SC_SLFRSTCTL); |