tag	line	file	source code
general_protection	55	kernel/traps.c	void general_protection(void);
general_protection	198	kernel/traps.c	set_trap_gate(13,&general_protection);