taglinefilesource code
alignment_check59kernel/traps.cvoid alignment_check(void);
alignment_check202kernel/traps.cset_trap_gate(17,&alignment_check);