tag	line	file	source code
invalid_op	48	kernel/traps.c	void invalid_op(void);
invalid_op	192	kernel/traps.c	set_trap_gate(6,&invalid_op);