taglinefilesource code
double_fault74arch/i386/kernel/traps.casmlinkage void double_fault(void);
double_fault170arch/i386/kernel/traps.cDO_ERROR( 8, SIGSEGV, "double fault", double_fault, current)
double_fault325arch/i386/kernel/traps.cset_trap_gate(8,&double_fault);