tag	line	file	source code
bounds	49	kernel/traps.c	extern "C" void bounds(void);
bounds	234	kernel/traps.c	set_system_gate(5,&bounds);