Symbol: DOUBLE_FAULT
sys/i386/i386/db_trace.c
299
frame_type = DOUBLE_FAULT;
sys/i386/i386/db_trace.c
327
if (frame_type == DOUBLE_FAULT) {