41,7 → 41,6 |
#include <arch.h> |
#include <debug.h> |
#include <proc/thread.h> |
#include <symtab.h> |
#include <print.h> |
#include <interrupt.h> |
#include <func.h> |
48,6 → 47,10 |
#include <ddi/irq.h> |
#include <arch/debugger.h> |
|
#ifdef CONFIG_SYMTAB |
#include <symtab.h> |
#endif |
|
static char * exctable[] = { |
"Interrupt", |
"TLB Modified", |
76,6 → 79,7 |
char *pcsymbol = ""; |
char *rasymbol = ""; |
|
#ifdef CONFIG_SYMTAB |
char *s = get_symtab_entry(istate->epc); |
if (s) |
pcsymbol = s; |
82,6 → 86,7 |
s = get_symtab_entry(istate->ra); |
if (s) |
rasymbol = s; |
#endif |
|
printf("PC: %#x(%s) RA: %#x(%s), SP(%p)\n", istate->epc, pcsymbol, istate->ra, rasymbol, istate->sp); |
} |