printk("%s: %04lx\n", str, err & 0xffff); 
raw_printk("%s: %04lx\n", str, err & 0xffff); 
die_if_kernel(const char * str, struct pt_regs * regs, long err){	if(user_mode(regs))		return;#ifdef CONFIG_ETRAX_WATCHDOG_NICE_DOGGY	/* This printout might take too long and trigger the 	 * watchdog normally. If we're in the nice doggy	 * development mode, stop the watchdog during printout.	 */	stop_watchdog();#endif	printk("%s: %04lx\n", str, err & 0xffff);	show_registers(regs);#ifdef CONFIG_ETRAX_WATCHDOG_NICE_DOGGY	reset_watchdog();#endif	do_exit(SIGSEGV);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/059163cabc01a15b9e2cf10e5de5b6dc06e0da1f/traps.c/buggy/arch/cris/arch-v10/kernel/traps.c