#if 0 /* This should be a die, but warn only for now */ 
/* Illegal floating point operation in the kernel */ 
static int kernel_math_error(struct pt_regs *regs, char *str){	const struct exception_table_entry *fixup;	fixup = search_exception_tables(regs->rip);	if (fixup) {		regs->rip = fixup->fixup;		return 1;	}	notify_die(DIE_GPF, str, regs, 0, 16, SIGFPE);#if 0	/* This should be a die, but warn only for now */	die(str, regs, 0);#else	printk(KERN_DEBUG "%s: %s at ", current->comm, str);	printk_address(regs->rip);	printk("\n");#endif	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3a848f632f86f1602094e6172cdc05c048042d7a/traps.c/buggy/arch/x86_64/kernel/traps.c