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