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