ddb_vec           510 arch/i386/i386/cpu.c extern int ddb_vec;
ddb_vec           543 arch/i386/i386/cpu.c 	setgate(&idt[ddb_vec], NULL, 0, SDT_SYSTASKGT, SEL_KPL,