38,7 → 38,6 |
#include <ddi/irq.h> |
#include <panic.h> |
#include <print.h> |
#include <symtab.h> |
#include <debug.h> |
#include <console/console.h> |
#include <arch/types.h> |
55,6 → 54,10 |
#include <synch/spinlock.h> |
#include <mm/tlb.h> |
|
#ifdef CONFIG_SYMTAB |
#include <symtab.h> |
#endif |
|
#define VECTORS_64_BUNDLE 20 |
#define VECTORS_16_BUNDLE 48 |
#define VECTORS_16_BUNDLE_START 0x5000 |
137,9 → 140,13 |
{ |
char *ifa, *iipa, *iip; |
|
#ifdef CONFIG_SYMTAB |
ifa = get_symtab_entry(istate->cr_ifa); |
iipa = get_symtab_entry(istate->cr_iipa); |
iip = get_symtab_entry(istate->cr_iip); |
#else |
ifa = iipa = iip = "n/a"; |
#endif |
|
putchar('\n'); |
printf("Interrupted context dump:\n"); |