tag	line	file	source code
coprocessor_error	57	kernel/traps.c	void coprocessor_error(void);
coprocessor_error	201	kernel/traps.c	set_trap_gate(16,&coprocessor_error);