IDXSEL            283 arch/i386/i386/gdt.c 	gdt_put_slot(IDXSEL(sel));
IDXSEL            305 arch/i386/i386/gdt.c 	slot = IDXSEL(pmap->pm_ldt_sel);
IDXSEL            439 arch/i386/i386/svr4_machdep.c 			sa.start = IDXSEL(ssd.selector);
IDXSEL            202 arch/i386/i386/sys_machdep.c 			    ((IDXSEL(desc->gd.gd_selector) >= NGDT) ||
IDXSEL            203 arch/i386/i386/sys_machdep.c 			     (gdt[IDXSEL(desc->gd.gd_selector)].sd.sd_dpl !=
IDXSEL            236 arch/i386/include/cpu.h #define	CLKF_INTR(frame)	(IDXSEL((frame)->if_cs) == GICODE_SEL)