Searched refs:IDXSEL (Results 1 – 4 of 4) sorted by relevance
109 return (sdp[IDXSEL(sel)].sd_def32 == 0 ? 16 : 32); in db_segsize()
891 sdtossd(&gdt[IDXSEL(frame->tf_cs & 0xffff)].sd, &softseg);
55 #define IDXSEL(s) (((s)>>3) & 0x1fff) /* index of selector */ macro
861 sdtossd(&gdt[IDXSEL(frame->tf_cs & 0xffff)], &softseg);