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