tag	line	file	source code
bounds	47	kernel/traps.c	void bounds(void);
bounds	190	kernel/traps.c	set_system_gate(5,&bounds);