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);