Searched refs:gd_type (Results 1 – 5 of 5) sorted by relevance
107 unsigned gd_type:5; /* segment type */ member130 uint64_t gd_type:5; /* segment type */ member
620 ip->gd_type = typ; in setidt_nodisp()654 if (ip->gd_type == SDT_SYSTASKGT) { in DB_SHOW_COMMAND()1292 if (ip->gd_type != SDT_SYS386IGT && in fixup_idt()1293 ip->gd_type != SDT_SYS386TGT) in fixup_idt()1298 ("IDT[%d] type %d off %#x", x, ip->gd_type, off)); in fixup_idt()
137 loader_idt_e->gd_type = SDT_SYSIGT; in prepare_exception()
494 ip->gd_type = typ; in setidt()
974 KASSERT(gd->gd_type == SDT_SYSIGT, ("gate descriptor for vector %d " in vmx_trigger_hostintr()975 "has invalid type %d", vector, gd->gd_type)); in vmx_trigger_hostintr()