Rev 3343 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1 | jermar | 1 | /* |
2071 | jermar | 2 | * Copyright (c) 2003-2004 Jakub Jermar |
1 | jermar | 3 | * All rights reserved. |
4 | * |
||
5 | * Redistribution and use in source and binary forms, with or without |
||
6 | * modification, are permitted provided that the following conditions |
||
7 | * are met: |
||
8 | * |
||
9 | * - Redistributions of source code must retain the above copyright |
||
10 | * notice, this list of conditions and the following disclaimer. |
||
11 | * - Redistributions in binary form must reproduce the above copyright |
||
12 | * notice, this list of conditions and the following disclaimer in the |
||
13 | * documentation and/or other materials provided with the distribution. |
||
14 | * - The name of the author may not be used to endorse or promote products |
||
15 | * derived from this software without specific prior written permission. |
||
16 | * |
||
17 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
||
18 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
||
19 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
||
20 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
||
21 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
||
22 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
||
23 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
||
24 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
||
25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
||
26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
||
27 | */ |
||
28 | |||
1754 | jermar | 29 | /** @addtogroup mips32 |
1702 | cejka | 30 | * @{ |
31 | */ |
||
32 | /** @file |
||
33 | */ |
||
34 | |||
1 | jermar | 35 | #include <arch/exception.h> |
195 | vana | 36 | #include <arch/interrupt.h> |
2089 | decky | 37 | #include <arch/mm/tlb.h> |
1 | jermar | 38 | #include <panic.h> |
39 | #include <arch/cp0.h> |
||
40 | #include <arch/types.h> |
||
41 | #include <arch.h> |
||
227 | jermar | 42 | #include <debug.h> |
391 | jermar | 43 | #include <proc/thread.h> |
590 | palkovsky | 44 | #include <symtab.h> |
45 | #include <print.h> |
||
46 | #include <interrupt.h> |
||
609 | palkovsky | 47 | #include <func.h> |
1936 | decky | 48 | #include <ddi/irq.h> |
614 | palkovsky | 49 | #include <arch/debugger.h> |
1 | jermar | 50 | |
590 | palkovsky | 51 | static char * exctable[] = { |
1769 | jermar | 52 | "Interrupt", |
53 | "TLB Modified", |
||
54 | "TLB Invalid", |
||
55 | "TLB Invalid Store", |
||
56 | "Address Error - load/instr. fetch", |
||
57 | "Address Error - store", |
||
58 | "Bus Error - fetch instruction", |
||
59 | "Bus Error - data reference", |
||
60 | "Syscall", |
||
61 | "BreakPoint", |
||
62 | "Reserved Instruction", |
||
63 | "Coprocessor Unusable", |
||
64 | "Arithmetic Overflow", |
||
65 | "Trap", |
||
66 | "Virtual Coherency - instruction", |
||
67 | "Floating Point", |
||
68 | NULL, NULL, NULL, NULL, NULL, NULL, NULL, |
||
69 | "WatchHi/WatchLo", /* 23 */ |
||
70 | NULL, NULL, NULL, NULL, NULL, NULL, NULL, |
||
71 | "Virtual Coherency - data", |
||
590 | palkovsky | 72 | }; |
73 | |||
958 | jermar | 74 | static void print_regdump(istate_t *istate) |
590 | palkovsky | 75 | { |
76 | char *pcsymbol = ""; |
||
77 | char *rasymbol = ""; |
||
78 | |||
958 | jermar | 79 | char *s = get_symtab_entry(istate->epc); |
590 | palkovsky | 80 | if (s) |
81 | pcsymbol = s; |
||
958 | jermar | 82 | s = get_symtab_entry(istate->ra); |
590 | palkovsky | 83 | if (s) |
84 | rasymbol = s; |
||
85 | |||
1221 | decky | 86 | printf("PC: %#x(%s) RA: %#x(%s), SP(%p)\n", istate->epc, pcsymbol, istate->ra, rasymbol, istate->sp); |
590 | palkovsky | 87 | } |
88 | |||
958 | jermar | 89 | static void unhandled_exception(int n, istate_t *istate) |
590 | palkovsky | 90 | { |
1595 | palkovsky | 91 | fault_if_from_uspace(istate, "unhandled exception %s", exctable[n]); |
92 | |||
958 | jermar | 93 | print_regdump(istate); |
590 | palkovsky | 94 | panic("unhandled exception %s\n", exctable[n]); |
95 | } |
||
96 | |||
1119 | palkovsky | 97 | static void reserved_instr_exception(int n, istate_t *istate) |
98 | { |
||
1780 | jermar | 99 | if (*((uint32_t *)istate->epc) == 0x7c03e83b) { |
1119 | palkovsky | 100 | ASSERT(THREAD); |
101 | istate->epc += 4; |
||
102 | istate->v1 = istate->k1; |
||
1126 | palkovsky | 103 | } else |
104 | unhandled_exception(n, istate); |
||
1119 | palkovsky | 105 | } |
106 | |||
958 | jermar | 107 | static void breakpoint_exception(int n, istate_t *istate) |
590 | palkovsky | 108 | { |
614 | palkovsky | 109 | #ifdef CONFIG_DEBUG |
958 | jermar | 110 | debugger_bpoint(istate); |
614 | palkovsky | 111 | #else |
590 | palkovsky | 112 | /* it is necessary to not re-execute BREAK instruction after |
113 | returning from Exception handler |
||
114 | (see page 138 in R4000 Manual for more information) */ |
||
958 | jermar | 115 | istate->epc += 4; |
614 | palkovsky | 116 | #endif |
590 | palkovsky | 117 | } |
118 | |||
958 | jermar | 119 | static void tlbmod_exception(int n, istate_t *istate) |
590 | palkovsky | 120 | { |
958 | jermar | 121 | tlb_modified(istate); |
590 | palkovsky | 122 | } |
123 | |||
958 | jermar | 124 | static void tlbinv_exception(int n, istate_t *istate) |
590 | palkovsky | 125 | { |
958 | jermar | 126 | tlb_invalid(istate); |
590 | palkovsky | 127 | } |
128 | |||
615 | palkovsky | 129 | #ifdef CONFIG_FPU_LAZY |
958 | jermar | 130 | static void cpuns_exception(int n, istate_t *istate) |
590 | palkovsky | 131 | { |
132 | if (cp0_cause_coperr(cp0_cause_read()) == fpu_cop_id) |
||
133 | scheduler_fpu_lazy_request(); |
||
1595 | palkovsky | 134 | else { |
135 | fault_if_from_uspace(istate, "unhandled Coprocessor Unusable Exception"); |
||
590 | palkovsky | 136 | panic("unhandled Coprocessor Unusable Exception\n"); |
1595 | palkovsky | 137 | } |
590 | palkovsky | 138 | } |
615 | palkovsky | 139 | #endif |
590 | palkovsky | 140 | |
958 | jermar | 141 | static void interrupt_exception(int n, istate_t *istate) |
590 | palkovsky | 142 | { |
1780 | jermar | 143 | uint32_t cause; |
590 | palkovsky | 144 | int i; |
145 | |||
146 | /* decode interrupt number and process the interrupt */ |
||
147 | cause = (cp0_cause_read() >> 8) &0xff; |
||
148 | |||
1936 | decky | 149 | for (i = 0; i < 8; i++) { |
150 | if (cause & (1 << i)) { |
||
151 | irq_t *irq = irq_dispatch_and_lock(i); |
||
152 | if (irq) { |
||
153 | /* |
||
154 | * The IRQ handler was found. |
||
155 | */ |
||
156 | irq->handler(irq, irq->arg); |
||
157 | spinlock_unlock(&irq->lock); |
||
158 | } else { |
||
159 | /* |
||
160 | * Spurious interrupt. |
||
161 | */ |
||
162 | #ifdef CONFIG_DEBUG |
||
3071 | decky | 163 | printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, i); |
1936 | decky | 164 | #endif |
165 | } |
||
166 | } |
||
167 | } |
||
590 | palkovsky | 168 | } |
169 | |||
1096 | palkovsky | 170 | /** Handle syscall userspace call */ |
171 | static void syscall_exception(int n, istate_t *istate) |
||
1 | jermar | 172 | { |
1096 | palkovsky | 173 | panic("Syscall is handled through shortcut"); |
1 | jermar | 174 | } |
590 | palkovsky | 175 | |
176 | void exception_init(void) |
||
177 | { |
||
178 | int i; |
||
179 | |||
180 | /* Clear exception table */ |
||
1936 | decky | 181 | for (i = 0; i < IVT_ITEMS; i++) |
799 | palkovsky | 182 | exc_register(i, "undef", (iroutine) unhandled_exception); |
1936 | decky | 183 | |
799 | palkovsky | 184 | exc_register(EXC_Bp, "bkpoint", (iroutine) breakpoint_exception); |
1119 | palkovsky | 185 | exc_register(EXC_RI, "resinstr", (iroutine) reserved_instr_exception); |
799 | palkovsky | 186 | exc_register(EXC_Mod, "tlb_mod", (iroutine) tlbmod_exception); |
187 | exc_register(EXC_TLBL, "tlbinvl", (iroutine) tlbinv_exception); |
||
188 | exc_register(EXC_TLBS, "tlbinvl", (iroutine) tlbinv_exception); |
||
189 | exc_register(EXC_Int, "interrupt", (iroutine) interrupt_exception); |
||
590 | palkovsky | 190 | #ifdef CONFIG_FPU_LAZY |
799 | palkovsky | 191 | exc_register(EXC_CpU, "cpunus", (iroutine) cpuns_exception); |
590 | palkovsky | 192 | #endif |
799 | palkovsky | 193 | exc_register(EXC_Sys, "syscall", (iroutine) syscall_exception); |
590 | palkovsky | 194 | } |
1702 | cejka | 195 | |
1754 | jermar | 196 | /** @} |
1702 | cejka | 197 | */ |