Searched refs:tss_ebp (Results 1 – 3 of 3) sorted by relevance
61 int tss_ebp; /* user frame pointer */ member
368 ebp = PCPU_GET(common_tssp)->tss_ebp; in db_nextframe()
1004 printf("ebp = 0x%x\n", PCPU_GET(common_tssp)->tss_ebp); in dblfault_handler()