taglinefilesource code
stack_segment54kernel/traps.cvoid stack_segment(void);
stack_segment197kernel/traps.cset_trap_gate(12,&stack_segment);