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