tag	line	file	source code
double_fault	76	arch/i386/kernel/traps.c	asmlinkage void double_fault(void);
double_fault	173	arch/i386/kernel/traps.c	DO_ERROR( 8, SIGSEGV, "double fault", double_fault, current)
double_fault	372	arch/i386/kernel/traps.c	set_trap_gate(8,&double_fault);