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();