tag	line	file	source code
double_fault	74	kernel/traps.c	asmlinkage void double_fault(void);
double_fault	128	kernel/traps.c	DO_ERROR( 8, SIGSEGV, "double fault", double_fault, current)
double_fault	281	kernel/traps.c	set_trap_gate(8,&double_fault);