GICODE_SEL       2857 arch/i386/i386/machdep.c 	setsegment(&gdt[GICODE_SEL].sd, 0, 0xfffff, SDT_MEMERA, SEL_KPL, 1, 1);
GICODE_SEL        236 arch/i386/include/cpu.h #define	CLKF_INTR(frame)	(IDXSEL((frame)->if_cs) == GICODE_SEL)
GICODE_SEL        185 arch/i386/isa/isa_machdep.c 		    SDT_SYS386IGT, SEL_KPL, GICODE_SEL);
GICODE_SEL        303 arch/i386/isa/npx.c 	setgate(&idt[irq], probeintr, 0, SDT_SYS386IGT, SEL_KPL, GICODE_SEL);