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