Symbol: IDXSEL
sys/arch/amd64/include/segments.h
74
#define IDXSEL(s) (((s) >> 3) & 0x1fff)
sys/arch/i386/include/segments.h
58
#define IDXSEL(s) (((s) >> 3) & 0x1fff) /* index of selector */