set_idtgate
set_idtgate(&idt[ddb_vec], handler, 1, SDT_SYS386IGT, SEL_KPL,
set_idtgate(&idt[x], x86_exceptions[x], ist, SDT_SYS386IGT,
set_idtgate(&idt[128], &IDTVEC(osyscall), 0, SDT_SYS386IGT, SEL_UPL,
void set_idtgate(idt_descriptor_t *, void *, int, int, int, int);
set_idtgate(&idt[x], IDTVEC(exceptions)[x], 0, SDT_SYS386IGT,
set_idtgate(&idt[128], &IDTVEC(syscall), 0, SDT_SYS386IGT, SEL_UPL,
set_idtgate(&idt[8], NULL, 0, SDT_SYSTASKGT, SEL_KPL,
set_idtgate(&idt[ddb_vec], NULL, 0, SDT_SYSTASKGT, SEL_KPL,
void set_idtgate(idt_descriptor_t *, void *, int, int, int, int);
set_idtgate(&idt[vec], function, 0, SDT_SYS386IGT, SEL_KPL,
set_idtgate(&idt[ddb_vec], &Xintr_x2apic_ddbipi, 1,