blob: ecac6011c1a45489a5da5b1f7480266b2be2dc81 [file] [log] [blame] [edit]
/* SPDX-License-Identifier: GPL-2.0-only */
#include <linux/linkage.h>
struct pt_regs;
asmlinkage void handle_badint(struct pt_regs *regs);