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