| 51,10 → 51,7 |
|---|
| #include <arch/ddi/ddi.h> |
| #include <interrupt.h> |
| #include <ddi/irq.h> |
| |
| #ifdef CONFIG_SYMTAB |
| #include <symtab.h> |
| #endif |
| |
| /* |
| * Interrupt and exception dispatching. |
| 67,14 → 64,8 |
|---|
| void decode_istate(int n, istate_t *istate) |
| { |
| char *symbol; |
| /* uint64_t *x = &istate->stack[0]; */ |
| |
| #ifdef CONFIG_SYMTAB |
| if (!(symbol = get_symtab_entry(istate->rip))) |
| symbol = ""; |
| #else |
| symbol = ""; |
| #endif |
| symbol = symtab_fmt_name_lookup((istate->rip); |
| |
| printf("-----EXCEPTION(%d) OCCURED----- ( %s )\n", n, __func__); |
| printf("%%rip: %#llx (%s)\n", istate->rip, symbol); |