Searched refs:tss_esp1 (Results 1 – 3 of 3) sorted by relevance
46 int tss_esp1; /* kernel stack pointer privilege level 1 */ member
59 uint32_t tss_esp1; member
1660 dblfault_tss->tss_esp1 = dblfault_tss->tss_esp2 = in machdep_init_trampoline()