arm/mach-highbank/system.c

0001 // SPDX-License-Identifier: GPL-2.0-only
0002 /*
0003  * Copyright 2011 Calxeda, Inc.
0004  */
0005 #include <linux/io.h>
0006 #include <asm/proc-fns.h>
0007 #include <linux/reboot.h>
0008
0009 #include "core.h"
0010 #include "sysregs.h"
0011
0012 void highbank_restart(enum reboot_mode mode, const char *cmd)
0013 {
0014     if (mode == REBOOT_HARD)
0015         highbank_set_pwr_hard_reset();
0016     else
0017         highbank_set_pwr_soft_reset();
0018
0019     while (1)
0020         cpu_do_idle();
0021 }
0022