system.c (389B)
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 12void 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