1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <linux/linkage.h>
4 
5 struct pt_regs;
6 
7 asmlinkage void handle_badint(struct pt_regs *regs);
8