/* | |
* Copyright (C) 2012-2015 Masahiro Yamada <yamada.masahiro@socionext.com> | |
* | |
* SPDX-License-Identifier: GPL-2.0+ | |
*/ | |
#include <common.h> | |
#include <linux/io.h> | |
#include <mach/sc-regs.h> | |
void reset_cpu(unsigned long ignored) | |
{ | |
u32 tmp; | |
writel(5, SC_IRQTIMSET); /* default value */ | |
tmp = readl(SC_SLFRSTSEL); | |
tmp &= ~0x3; /* mask [1:0] */ | |
tmp |= 0x0; /* XRST reboot */ | |
writel(tmp, SC_SLFRSTSEL); | |
tmp = readl(SC_SLFRSTCTL); | |
tmp |= 0x1; | |
writel(tmp, SC_SLFRSTCTL); | |
} |