Searched refs:tss_eip (Results 1 – 4 of 4) sorted by relevance
54 int tss_eip; /* program counter */ member
367 eip = PCPU_GET(common_tssp)->tss_eip; in db_nextframe()
1002 printf("eip = 0x%x\n", PCPU_GET(common_tssp)->tss_eip); in dblfault_handler()
2572 dblfault_tss->tss_eip = (int)dblfault_handler; in machdep_init_trampoline()