tag	line	file	source code
alignment_check	59	kernel/traps.c	void alignment_check(void);
alignment_check	202	kernel/traps.c	set_trap_gate(17,&alignment_check);