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