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