1 /* SPDX-License-Identifier: GPL-2.0 */
6 #include <linux/compiler.h>
8 #ifdef CONFIG_DEBUG_BUGVERBOSE
9 void do_BUG(const char *file
, int line
);
11 do_BUG(__FILE__, __LINE__); \
12 barrier_before_unreachable(); \
17 barrier_before_unreachable(); \
25 #include <asm-generic/bug.h>
28 void __noreturn
die_if_kernel(char *str
, struct pt_regs
*regs
);