die_if_kernel("cache flush denied", regs, error_code); 
fastcall void do_simd_coprocessor_error(struct pt_regs * regs,					  long error_code){	if (cpu_has_xmm) {		/* Handle SIMD FPU exceptions on PIII+ processors. */		ignore_fpu_irq = 1;		simd_math_error((void __user *)regs->eip);	} else {		/*		 * Handle strange cache flush from user space exception		 * in all other cases.  This is undocumented behaviour.		 */		if (regs->eflags & VM_MASK) {			handle_vm86_fault((struct kernel_vm86_regs *)regs,					  error_code);			return;		}		die_if_kernel("cache flush denied", regs, error_code);		current->thread.trap_no = 19;		current->thread.error_code = error_code;		force_sig(SIGSEGV, current);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4f339ecb30c759f94a29992d4635d9194132b6cf/traps.c/buggy/arch/i386/kernel/traps.c