Searched refs:tss_esp0 (Results 1 – 5 of 5) sorted by relevance
100 uint32_t tss_esp0; member
96 tss_esp0 TSS_ESP0
199 ntss->tss_esp0 = ntss->tss_esp1 = ntss->tss_esp2 = ntss->tss_esp = in mach_cpucontext_alloc_tables()
2030 printf(tss_fmt, "tss_esp0", (void *)(uintptr_t)tss->tss_esp0); in dump_tss()
1139 dftss0->tss_esp0 = (uint32_t)&dblfault_stack0[sizeof (dblfault_stack0)]; in init_tss()