Searched refs:IDXSEL (Results 1 – 6 of 6) sorted by relevance
109 return (sdp[IDXSEL(sel)].sd_def32 == 0 ? 16 : 32); in db_segsize()
899 sdtossd(&gdt[IDXSEL(frame->tf_cs & 0xffff)].sd, &softseg);
55 #define IDXSEL(s) (((s)>>3) & 0x1fff) /* index of selector */ macro
263 assert(IDXSEL(sel) != 0); in read_tss_descriptor()359 if (IDXSEL(sel) == 0) { in validate_seg_desc()805 if (ISLDT(ot_sel) || IDXSEL(ot_sel) == 0) { in vmexit_task_switch()
866 sdtossd(&gdt[NGDT * PCPU_GET(cpuid) + IDXSEL(frame->tf_cs & 0xffff)],
830 ndx = IDXSEL(sel); in fasttrap_do_seg()