tag	line	file	source code
debug	44	kernel/traps.c	void debug(void);
debug	182	kernel/traps.c	set_trap_gate(1,&debug);