4 #include <linux/config.h>
6 #ifdef CONFIG_DEBUG_BUGVERBOSE
9 printk("kernel BUG at %s:%d!\n", __FILE__, __LINE__); \
10 asm volatile("illegal"); \
14 printk("kernel BUG at %s:%d!\n", __FILE__, __LINE__); \
20 asm volatile("illegal"); \
25 #include <asm-generic/bug.h>