4 #include <linux/config.h>
7 #ifdef CONFIG_DEBUG_BUGVERBOSE
10 printk("kernel BUG at %s:%d!\n", __FILE__, __LINE__); \
11 asm volatile("illegal"); \
15 printk("kernel BUG at %s:%d!\n", __FILE__, __LINE__); \
21 asm volatile("illegal"); \
28 #include <asm-generic/bug.h>