Searched refs:gd_selector (Results 1 – 5 of 5) sorted by relevance
102 unsigned gd_selector:16; /* gate segment selector */ member125 uint64_t gd_selector:16; /* gate segment selector */ member
135 loader_idt_e->gd_selector = fw_idt_e->gd_selector; in prepare_exception()
1517 ip->gd_selector = selec;2761 gdp->gd_selector = GSEL(GCODE_SEL,SEL_KPL); in init386()
906 KASSERT(gd->gd_selector == GSEL(GCODE_SEL, SEL_KPL), ("gate descriptor " in vmx_trigger_hostintr()907 "for vector %d has invalid selector %d", vector, gd->gd_selector)); in vmx_trigger_hostintr()
823 ip->gd_selector = GSEL(GCODE_SEL, SEL_KPL); in setidt()