41,21 → 41,15 |
#include <arch/register.h> |
#include <debug.h> |
#include <print.h> |
|
#ifdef CONFIG_SYMTAB |
#include <symtab.h> |
#endif |
|
void dump_istate(istate_t *istate) |
{ |
char *tpcs, *tnpcs; |
|
#ifdef CONFIG_SYMTAB |
tpcs = get_symtab_entry(istate->tpc); |
tnpcs = get_symtab_entry(istate->tnpc); |
#else |
tpcs = tnpcs = "n/a"; |
#endif |
tpcs = symtab_fmt_name_lookup(istate->tpc); |
tnpcs = symtab_fmt_name_lookup(istate->tnpc); |
|
printf("TSTATE=%#" PRIx64 "\n", istate->tstate); |
printf("TPC=%#" PRIx64 " (%s)\n", istate->tpc, tpcs); |
printf("TNPC=%#" PRIx64 " (%s)\n", istate->tnpc, tnpcs); |