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__); \
15 #define BUG() __builtin_trap()
21 #include <asm-generic/bug.h>
24 void __noreturn die_if_kernel(char *str, struct pt_regs *regs);