tag	line	file	source code
divide_error	42	kernel/traps.c	void divide_error(void);
divide_error	185	kernel/traps.c	set_trap_gate(0,&divide_error);