4 * Copyright (c) 2005-2007 Analog Devices Inc.
6 * SPDX-License-Identifier: GPL-2.0+
14 void board_reset(void) __attribute__((__weak__));
15 void bfin_dump(struct pt_regs *reg);
16 void bfin_panic(struct pt_regs *reg);
17 void dump(struct pt_regs *regs);
19 asmlinkage void trap(void);
20 asmlinkage void evt_nmi(void);
21 asmlinkage void evt_default(void);