1// SPDX-License-Identifier: GPL-2.0-only
 2/*
 3 * Copyright 2011 Calxeda, Inc.
 
 
 
 
 
 
 
 
 
 
 
 
 4 */
 5#include <linux/io.h>
 6#include <asm/proc-fns.h>
 7#include <linux/reboot.h>
 8
 9#include "core.h"
10#include "sysregs.h"
11
12void highbank_restart(enum reboot_mode mode, const char *cmd)
13{
14	if (mode == REBOOT_HARD)
15		highbank_set_pwr_hard_reset();
16	else
17		highbank_set_pwr_soft_reset();
18
19	while (1)
20		cpu_do_idle();
21}
22

 
 1/*
 2 * Copyright 2011 Calxeda, Inc.
 3 *
 4 * This program is free software; you can redistribute it and/or modify it
 5 * under the terms and conditions of the GNU General Public License,
 6 * version 2, as published by the Free Software Foundation.
 7 *
 8 * This program is distributed in the hope it will be useful, but WITHOUT
 9 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
10 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
11 * more details.
12 *
13 * You should have received a copy of the GNU General Public License along with
14 * this program.  If not, see <http://www.gnu.org/licenses/>.
15 */
16#include <linux/io.h>
17#include <asm/proc-fns.h>
18#include <linux/reboot.h>
19
20#include "core.h"
21#include "sysregs.h"
22
23void highbank_restart(enum reboot_mode mode, const char *cmd)
24{
25	if (mode == REBOOT_HARD)
26		highbank_set_pwr_hard_reset();
27	else
28		highbank_set_pwr_soft_reset();
29
30	while (1)
31		cpu_do_idle();
32}
33