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 
highbank_restart(enum reboot_mode mode,const char * cmd)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 
23