tag	line	file	source code
stack_segment	54	kernel/traps.c	void stack_segment(void);
stack_segment	198	kernel/traps.c	set_trap_gate(12,&stack_segment);