Searched refs:ktss0 (Results 1 – 2 of 2) sorted by relevance
110 tss_t *ktss0; /* kernel task state structure */ variable540 set_syssegd((system_desc_t *)&gdt[GDT_KTSS], ktss0, in init_gdt_common()541 sizeof (*ktss0) - 1, SDT_SYSTSS, SEL_KPL); in init_gdt_common()761 set_syssegd((system_desc_t *)&gdt[GDT_KTSS], ktss0, in init_gdt_common()762 sizeof (*ktss0) - 1, SDT_SYSTSS, SEL_KPL); in init_gdt_common()1103 ktss0->tss_ist1 = in init_tss()1111 ktss0->tss_bitmapbase = sizeof (*ktss0); in init_tss()1128 ktss0->tss_ss0 = KDS_SEL; in init_tss()1129 ktss0->tss_eip = (uint32_t)_start; in init_tss()1130 ktss0->tss_ds = ktss0->tss_es = ktss0->tss_ss = KDS_SEL; in init_tss()[all …]
669 extern tss_t *ktss0;