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