tag	line	file	source code
set_system_gate	783	kernel/sched.c	set_system_gate(0x80,&system_call);
set_system_gate	220	kernel/traps.c	set_system_gate(3,&int3);  /* int3-5 can be called from all */
set_system_gate	221	kernel/traps.c	set_system_gate(4,&overflow);
set_system_gate	222	kernel/traps.c	set_system_gate(5,&bounds);