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