Symbol: IDXSEL
sys/arch/amd64/amd64/gdt.c
119
idx = IDXSEL(GDYNSEL(slot, SEL_KPL));
sys/arch/i386/i386/gdt.c
106
idx = IDXSEL(GDYNSEL(slot, SEL_KPL));