1 // SPDX-License-Identifier: GPL-2.0-only
3 * Copyright 2011 Calxeda, Inc.
6 #include <asm/proc-fns.h>
7 #include <linux/reboot.h>
12 void highbank_restart(enum reboot_mode mode
, const char *cmd
)
14 if (mode
== REBOOT_HARD
)
15 highbank_set_pwr_hard_reset();
17 highbank_set_pwr_soft_reset();