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 12 void 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