GICODE_SEL
setsegment(&cpu_info_primary.ci_gdt[GICODE_SEL].sd, 0, 0xfffff,
setgate(&idt[vec], function, 0, SDT_SYS386IGT, SEL_KPL, GICODE_SEL);
#define CLKF_INTR(frame) (IDXSEL((frame)->if_cs) == GICODE_SEL)
SDT_SYS386IGT, SEL_KPL, GICODE_SEL);
setgate(&idt[irq], probeintr, 0, SDT_SYS386IGT, SEL_KPL, GICODE_SEL);