volatile void __bug(const char *file, int line, void *data) 
void __attribute__((noreturn)) __bug(const char *file, int line, void *data) 
volatile void __bug(const char *file, int line, void *data){	printk(KERN_CRIT"kernel BUG at %s:%d!", file, line);	if (data)		printk(" - extra data = %p", data);	printk("\n");	*(int *)0 = 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/33215652e4a75dfa8adb20f4d741517457b0da2b/traps.c/clean/arch/arm/kernel/traps.c