system_desc_t
set_syssegd((system_desc_t *)&cp->cpu_gdt[GDT_KTSS], cp->cpu_tss,
system_desc_t null_sdesc; /* null system descriptor */
set_syssegd(system_desc_t *dp, void *base, size_t size, uint_t type,
get_ssd_base(system_desc_t *dp)
set_syssegd((system_desc_t *)&gdt[GDT_KTSS], ktss0,
system_desc_t desc;
*((system_desc_t *)&CPU->cpu_gdt[GDT_LDT]) = desc;
*((system_desc_t *)&CPU->cpu_gdt[GDT_LDT]) = null_sdesc;
extern void set_syssegd(system_desc_t *, void *, size_t, uint_t, uint_t);
extern void *get_ssd_base(system_desc_t *);
extern system_desc_t null_sdesc;