Rev 4345 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4345 | Rev 4346 | ||
|---|---|---|---|
| Line 42... | Line 42... | ||
| 42 | #include <cpu.h> |
42 | #include <cpu.h> |
| 43 | #include <arch/asm.h> |
43 | #include <arch/asm.h> |
| 44 | #include <mm/tlb.h> |
44 | #include <mm/tlb.h> |
| 45 | #include <mm/as.h> |
45 | #include <mm/as.h> |
| 46 | #include <arch.h> |
46 | #include <arch.h> |
| 47 | #include <symtab.h> |
- | |
| 48 | #include <proc/thread.h> |
47 | #include <proc/thread.h> |
| 49 | #include <proc/task.h> |
48 | #include <proc/task.h> |
| 50 | #include <synch/spinlock.h> |
49 | #include <synch/spinlock.h> |
| 51 | #include <arch/ddi/ddi.h> |
50 | #include <arch/ddi/ddi.h> |
| 52 | #include <ipc/sysipc.h> |
51 | #include <ipc/sysipc.h> |
| 53 | #include <interrupt.h> |
52 | #include <interrupt.h> |
| 54 | #include <ddi/irq.h> |
53 | #include <ddi/irq.h> |
| - | 54 | #include <symtab.h> |
|
| 55 | 55 | ||
| 56 | /* |
56 | /* |
| 57 | * Interrupt and exception dispatching. |
57 | * Interrupt and exception dispatching. |
| 58 | */ |
58 | */ |
| 59 | 59 | ||
| Line 61... | Line 61... | ||
| 61 | void (* enable_irqs_function)(uint16_t irqmask) = NULL; |
61 | void (* enable_irqs_function)(uint16_t irqmask) = NULL; |
| 62 | void (* eoi_function)(void) = NULL; |
62 | void (* eoi_function)(void) = NULL; |
| 63 | 63 | ||
| 64 | void decode_istate(istate_t *istate) |
64 | void decode_istate(istate_t *istate) |
| 65 | { |
65 | { |
| 66 | char *symbol = get_symtab_entry(istate->eip); |
66 | char *symbol; |
| 67 | 67 | ||
| 68 | if (!symbol) |
- | |
| 69 | symbol = ""; |
68 | symbol = symtab_fmt_name_lookup(istate->eip); |
| 70 | 69 | ||
| 71 | if (CPU) |
70 | if (CPU) |
| 72 | printf("----------------EXCEPTION OCCURED (cpu%u)----------------\n", CPU->id); |
71 | printf("----------------EXCEPTION OCCURED (cpu%u)----------------\n", CPU->id); |
| 73 | else |
72 | else |
| 74 | printf("----------------EXCEPTION OCCURED----------------\n"); |
73 | printf("----------------EXCEPTION OCCURED----------------\n"); |