Searched refs:IDXSEL (Results 1 – 6 of 6) sorted by relevance
107 return (sdp[IDXSEL(sel)].sd_def32 == 0 ? 16 : 32); in db_segsize()
910 sdtossd(&gdt[IDXSEL(frame->tf_cs & 0xffff)].sd, &softseg); in trap_fatal()
52 #define IDXSEL(s) (((s)>>3) & 0x1fff) /* index of selector */ macro
259 assert(IDXSEL(sel) != 0); in read_tss_descriptor()355 if (IDXSEL(sel) == 0) { in validate_seg_desc()804 if (ISLDT(ot_sel) || IDXSEL(ot_sel) == 0) { in vmexit_task_switch()
897 sdtossd(&gdt[IDXSEL(frame->tf_cs & 0xffff)], &softseg); in trap_fatal()
828 ndx = IDXSEL(sel); in fasttrap_do_seg()