Searched refs:dblfault_tss (Results 1 – 1 of 1) sorted by relevance
1264 static struct i386tss *dblfault_tss; variable2566 dblfault_tss->tss_esp = dblfault_tss->tss_esp0 = in machdep_init_trampoline()2567 dblfault_tss->tss_esp1 = dblfault_tss->tss_esp2 = in machdep_init_trampoline()2569 dblfault_tss->tss_ss = dblfault_tss->tss_ss0 = dblfault_tss->tss_ss1 = in machdep_init_trampoline()2571 dblfault_tss->tss_cr3 = pmap_get_kcr3(); in machdep_init_trampoline()2572 dblfault_tss->tss_eip = (int)dblfault_handler; in machdep_init_trampoline()2573 dblfault_tss->tss_eflags = PSL_KERNEL; in machdep_init_trampoline()2574 dblfault_tss->tss_ds = dblfault_tss->tss_es = in machdep_init_trampoline()2576 dblfault_tss->tss_fs = GSEL(GPRIV_SEL, SEL_KPL); in machdep_init_trampoline()2577 dblfault_tss->tss_cs = GSEL(GCODE_SEL, SEL_KPL); in machdep_init_trampoline()[all …]