Searched refs:tss_esp (Results 1 – 4 of 4) sorted by relevance
60 int tss_esp; /* user stack pointer */ member
366 esp = PCPU_GET(common_tssp)->tss_esp; in db_nextframe()
1003 printf("esp = 0x%x\n", PCPU_GET(common_tssp)->tss_esp); in dblfault_handler()
2566 dblfault_tss->tss_esp = dblfault_tss->tss_esp0 = in machdep_init_trampoline()