Searched refs:dftss0 (Results 1 – 3 of 3) sorted by relevance
113 tss_t *dftss0; /* #DF double-fault exception */ variable755 set_syssegd((system_desc_t *)&gdt[GDT_DBFLT], dftss0, in init_gdt_common()756 sizeof (*dftss0) - 1, SDT_SYSTSS, SEL_KPL); in init_gdt_common()1139 dftss0->tss_esp0 = (uint32_t)&dblfault_stack0[sizeof (dblfault_stack0)]; in init_tss()1140 dftss0->tss_ss0 = KDS_SEL; in init_tss()1146 dftss0->tss_eip = (uint32_t)syserrtrap; in init_tss()1147 dftss0->tss_esp = (uint32_t)&dblfault_stack0[sizeof (dblfault_stack0)]; in init_tss()1148 dftss0->tss_cs = KCS_SEL; in init_tss()1149 dftss0->tss_ds = KDS_SEL; in init_tss()1150 dftss0->tss_es = KDS_SEL; in init_tss()[all …]
501 CPU->cpu_tss->tss_cr3 = dftss0->tss_cr3 = getcr3(); in hat_kern_setup()
672 extern tss_t *dftss0;