Searched refs:gd_selector (Results 1 – 4 of 4) sorted by relevance
104 unsigned gd_selector:16; /* gate segment selector */ member127 uint64_t gd_selector:16; /* gate segment selector */ member
978 KASSERT(gd->gd_selector == GSEL(GCODE_SEL, SEL_KPL), ("gate descriptor " in vmx_trigger_hostintr()979 "for vector %d has invalid selector %d", vector, gd->gd_selector)); in vmx_trigger_hostintr()
813 ip->gd_selector = GSEL(GCODE_SEL, SEL_KPL); in setidt()
1527 ip->gd_selector = selec; in setidt_nodisp()