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