/* * (C) Copyright 2010 * Nobuhiro Iwamatsu * * (C) Copyright 2007 * Yoshihiro Shimoda * * SPDX-License-Identifier: GPL-2.0+ */ #include #include #include int watchdog_init(void) { return 0; } void reset_cpu(unsigned long ignored) { /* Address error with SR.BL=1 first. */ trigger_address_error(); while (1) ; }