taglinefilesource code
bounds47kernel/traps.cvoid bounds(void);
bounds190kernel/traps.cset_system_gate(5,&bounds);