tag
line
file
source code
double_fault
50
kernel/traps.c
void double_fault(void);
double_fault
194
kernel/traps.c
set_trap_gate(8,&double_fault);