taglinefilesource code
double_fault50kernel/traps.cvoid double_fault(void);
double_fault194kernel/traps.cset_trap_gate(8,&double_fault);