Searched refs:sgd_type (Results 1 – 4 of 4) sorted by relevance
349 uint32_t sgd_type:5; /* segment type, includes S bit */ member373 uint64_t sgd_type:5; /* segment type, includes S bit */ member
340 dp->sgd_type = type; in set_gatesegd()357 dp->sgd_type = type; in set_gatesegd()432 ASSERT(sgd->sgd_type == SDT_SYSIGT); in xen_idt_to_trap_info()439 if (sgd->sgd_type == SDT_SYSIGT) { in xen_idt_to_trap_info()
329 sgd->sgd_type = ssd->acc1; in ssd_to_sgd()332 ASSERT(sgd->sgd_type == SDT_SYSCGT); in ssd_to_sgd()
624 switch (gate->sgd_type) { in gate_desc_dump()635 (void) mdb_snprintf(type, sizeof (type), "%3x", gate->sgd_type); in gate_desc_dump()654 if (gate->sgd_type == SDT_SYSTASKGT) in gate_desc_dump()