tag	line	file	source code
double_fault	50	kernel/traps.c	void double_fault(void);
double_fault	194	kernel/traps.c	set_trap_gate(8,&double_fault);