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