tag	line	file	source code
segment_not_present	53	kernel/traps.c	void segment_not_present(void);
segment_not_present	197	kernel/traps.c	set_trap_gate(11,&segment_not_present);