Symbol: IDXDYNSEL
sys/arch/amd64/amd64/gdt.c
277
gdt_put_slot(IDXDYNSEL(sel));
sys/arch/amd64/amd64/gdt.c
305
slot = IDXDYNSEL(sel);
sys/arch/i386/i386/gdt.c
300
gdt_put_slot(IDXDYNSEL(sel));
sys/arch/i386/i386/gdt.c
330
slot = IDXDYNSEL(sel);