Rev 2787 | Rev 3125 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
2235 | stepan | 1 | /* |
2179 | stepan | 2 | * Copyright (c) 2007 Petr Stepan |
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 | |||
29 | /** @addtogroup arm32 |
||
30 | * @{ |
||
31 | */ |
||
32 | /** @file |
||
2410 | stepan | 33 | * @brief Exception handlers and exception initialization routines. |
2179 | stepan | 34 | */ |
35 | |||
36 | #include <arch/exception.h> |
||
2326 | kebrt | 37 | #include <arch/debug/print.h> |
2179 | stepan | 38 | #include <arch/memstr.h> |
2235 | stepan | 39 | #include <arch/regutils.h> |
40 | #include <interrupt.h> |
||
2306 | kebrt | 41 | #include <arch/machine.h> |
2282 | jancik | 42 | #include <arch/mm/page_fault.h> |
2284 | stepan | 43 | #include <print.h> |
2286 | stepan | 44 | #include <syscall/syscall.h> |
3123 | svoboda | 45 | #include <udebug/udebug.h> |
2179 | stepan | 46 | |
2407 | stepan | 47 | /** Offset used in calculation of exception handler's relative address. |
48 | * |
||
49 | * @see install_handler() |
||
50 | */ |
||
51 | #define PREFETCH_OFFSET 0x8 |
||
2329 | kebrt | 52 | |
2407 | stepan | 53 | /** LDR instruction's code */ |
2306 | kebrt | 54 | #define LDR_OPCODE 0xe59ff000 |
2179 | stepan | 55 | |
2407 | stepan | 56 | /** Number of exception vectors. */ |
57 | #define EXC_VECTORS 8 |
||
2329 | kebrt | 58 | |
2407 | stepan | 59 | /** Size of memory block occupied by exception vectors. */ |
60 | #define EXC_VECTORS_SIZE (EXC_VECTORS * 4) |
||
61 | |||
2355 | stepan | 62 | /** Switches to kernel stack and saves all registers there. |
63 | * |
||
64 | * Temporary exception stack is used to save a few registers |
||
65 | * before stack switch takes place. |
||
66 | */ |
||
2284 | stepan | 67 | inline static void setup_stack_and_save_regs() |
68 | { |
||
2464 | jermar | 69 | asm volatile( |
70 | "ldr r13, =exc_stack \n" |
||
71 | "stmfd r13!, {r0} \n" |
||
72 | "mrs r0, spsr \n" |
||
73 | "and r0, r0, #0x1f \n" |
||
74 | "cmp r0, #0x10 \n" |
||
75 | "bne 1f \n" |
||
76 | |||
77 | /* prev mode was usermode */ |
||
78 | "ldmfd r13!, {r0} \n" |
||
79 | "ldr r13, =supervisor_sp \n" |
||
80 | "ldr r13, [r13] \n" |
||
81 | "stmfd r13!, {lr} \n" |
||
82 | "stmfd r13!, {r0-r12} \n" |
||
83 | "stmfd r13!, {r13, lr}^ \n" |
||
84 | "mrs r0, spsr \n" |
||
85 | "stmfd r13!, {r0} \n" |
||
86 | "b 2f \n" |
||
87 | |||
88 | /* mode was not usermode */ |
||
89 | "1:\n" |
||
90 | "stmfd r13!, {r1, r2, r3} \n" |
||
91 | "mrs r1, cpsr \n" |
||
92 | "mov r2, lr \n" |
||
93 | "bic r1, r1, #0x1f \n" |
||
94 | "orr r1, r1, r0 \n" |
||
95 | "mrs r0, cpsr \n" |
||
96 | "msr cpsr_c, r1 \n" |
||
97 | |||
98 | "mov r3, r13 \n" |
||
99 | "stmfd r13!, {r2} \n" |
||
100 | "mov r2, lr \n" |
||
101 | "stmfd r13!, {r4-r12} \n" |
||
102 | "mov r1, r13 \n" |
||
103 | /* the following two lines are for debugging */ |
||
104 | "mov sp, #0 \n" |
||
105 | "mov lr, #0 \n" |
||
106 | "msr cpsr_c, r0 \n" |
||
107 | |||
108 | "ldmfd r13!, {r4, r5, r6, r7} \n" |
||
109 | "stmfd r1!, {r4, r5, r6} \n" |
||
110 | "stmfd r1!, {r7} \n" |
||
111 | "stmfd r1!, {r2} \n" |
||
112 | "stmfd r1!, {r3} \n" |
||
113 | "mrs r0, spsr \n" |
||
114 | "stmfd r1!, {r0} \n" |
||
115 | "mov r13, r1 \n" |
||
116 | "2:\n" |
||
117 | ); |
||
2284 | stepan | 118 | } |
119 | |||
2355 | stepan | 120 | /** Returns from exception mode. |
121 | * |
||
122 | * Previously saved state of registers (including control register) |
||
123 | * is restored from the stack. |
||
124 | */ |
||
2284 | stepan | 125 | inline static void load_regs() |
126 | { |
||
2464 | jermar | 127 | asm volatile( |
128 | "ldmfd r13!, {r0} \n" |
||
129 | "msr spsr, r0 \n" |
||
130 | "and r0, r0, #0x1f \n" |
||
131 | "cmp r0, #0x10 \n" |
||
132 | "bne 1f \n" |
||
133 | |||
134 | /* return to user mode */ |
||
135 | "ldmfd r13!, {r13, lr}^ \n" |
||
136 | "b 2f \n" |
||
137 | |||
138 | /* return to non-user mode */ |
||
139 | "1:\n" |
||
140 | "ldmfd r13!, {r1, r2} \n" |
||
141 | "mrs r3, cpsr \n" |
||
142 | "bic r3, r3, #0x1f \n" |
||
143 | "orr r3, r3, r0 \n" |
||
144 | "mrs r0, cpsr \n" |
||
145 | "msr cpsr_c, r3 \n" |
||
146 | |||
147 | "mov r13, r1 \n" |
||
148 | "mov lr, r2 \n" |
||
149 | "msr cpsr_c, r0 \n" |
||
150 | |||
151 | /* actual return */ |
||
152 | "2:\n" |
||
153 | "ldmfd r13, {r0-r12, pc}^\n" |
||
154 | ); |
||
2284 | stepan | 155 | } |
156 | |||
2411 | stepan | 157 | |
2407 | stepan | 158 | /** Switch CPU to mode in which interrupts are serviced (currently it |
159 | * is Undefined mode). |
||
160 | * |
||
161 | * The default mode for interrupt servicing (Interrupt Mode) |
||
162 | * can not be used because of nested interrupts (which can occur |
||
2464 | jermar | 163 | * because interrupts are enabled in higher levels of interrupt handler). |
2407 | stepan | 164 | */ |
2414 | kebrt | 165 | inline static void switch_to_irq_servicing_mode() |
2407 | stepan | 166 | { |
167 | /* switch to Undefined mode */ |
||
168 | asm volatile( |
||
169 | /* save regs used during switching */ |
||
170 | "stmfd sp!, {r0-r3} \n" |
||
171 | |||
172 | /* save stack pointer and link register to r1, r2 */ |
||
173 | "mov r1, sp \n" |
||
174 | "mov r2, lr \n" |
||
175 | |||
176 | /* mode switch */ |
||
177 | "mrs r0, cpsr \n" |
||
178 | "bic r0, r0, #0x1f \n" |
||
179 | "orr r0, r0, #0x1b \n" |
||
180 | "msr cpsr_c, r0 \n" |
||
181 | |||
182 | /* restore saved sp and lr */ |
||
183 | "mov sp, r1 \n" |
||
184 | "mov lr, r2 \n" |
||
185 | |||
186 | /* restore original regs */ |
||
187 | "ldmfd sp!, {r0-r3} \n" |
||
188 | ); |
||
189 | } |
||
190 | |||
2355 | stepan | 191 | /** Calls exception dispatch routine. */ |
2235 | stepan | 192 | #define CALL_EXC_DISPATCH(exception) \ |
193 | asm("mov r0, %0" : : "i" (exception)); \ |
||
2284 | stepan | 194 | asm("mov r1, r13"); \ |
2235 | stepan | 195 | asm("bl exc_dispatch"); |
196 | |||
197 | /** General exception handler. |
||
2355 | stepan | 198 | * |
2235 | stepan | 199 | * Stores registers, dispatches the exception, |
200 | * and finally restores registers and returns from exception processing. |
||
2329 | kebrt | 201 | * |
202 | * @param exception Exception number. |
||
2235 | stepan | 203 | */ |
204 | #define PROCESS_EXCEPTION(exception) \ |
||
2284 | stepan | 205 | setup_stack_and_save_regs(); \ |
2235 | stepan | 206 | CALL_EXC_DISPATCH(exception) \ |
2284 | stepan | 207 | load_regs(); |
2235 | stepan | 208 | |
209 | /** Updates specified exception vector to jump to given handler. |
||
2355 | stepan | 210 | * |
2329 | kebrt | 211 | * Addresses of handlers are stored in memory following exception vectors. |
2235 | stepan | 212 | */ |
213 | static void install_handler (unsigned handler_addr, unsigned* vector) |
||
214 | { |
||
215 | /* relative address (related to exc. vector) of the word |
||
216 | * where handler's address is stored |
||
217 | */ |
||
2611 | jermar | 218 | volatile uint32_t handler_address_ptr = EXC_VECTORS_SIZE - |
219 | PREFETCH_OFFSET; |
||
2179 | stepan | 220 | |
2235 | stepan | 221 | /* make it LDR instruction and store at exception vector */ |
222 | *vector = handler_address_ptr | LDR_OPCODE; |
||
2179 | stepan | 223 | |
2235 | stepan | 224 | /* store handler's address */ |
225 | *(vector + EXC_VECTORS) = handler_addr; |
||
2284 | stepan | 226 | |
2179 | stepan | 227 | } |
228 | |||
2329 | kebrt | 229 | /** Low-level Reset Exception handler. */ |
2235 | stepan | 230 | static void reset_exception_entry() |
231 | { |
||
232 | PROCESS_EXCEPTION(EXC_RESET); |
||
2179 | stepan | 233 | } |
234 | |||
2329 | kebrt | 235 | /** Low-level Software Interrupt Exception handler. */ |
2235 | stepan | 236 | static void swi_exception_entry() |
237 | { |
||
238 | PROCESS_EXCEPTION(EXC_SWI); |
||
2179 | stepan | 239 | } |
240 | |||
2329 | kebrt | 241 | /** Low-level Undefined Instruction Exception handler. */ |
2235 | stepan | 242 | static void undef_instr_exception_entry() |
243 | { |
||
244 | PROCESS_EXCEPTION(EXC_UNDEF_INSTR); |
||
245 | } |
||
246 | |||
2329 | kebrt | 247 | /** Low-level Fast Interrupt Exception handler. */ |
2235 | stepan | 248 | static void fiq_exception_entry() |
249 | { |
||
250 | PROCESS_EXCEPTION(EXC_FIQ); |
||
251 | } |
||
252 | |||
2329 | kebrt | 253 | /** Low-level Prefetch Abort Exception handler. */ |
2235 | stepan | 254 | static void prefetch_abort_exception_entry() |
255 | { |
||
256 | asm("sub lr, lr, #4"); |
||
257 | PROCESS_EXCEPTION(EXC_PREFETCH_ABORT); |
||
258 | } |
||
259 | |||
2329 | kebrt | 260 | /** Low-level Data Abort Exception handler. */ |
2235 | stepan | 261 | static void data_abort_exception_entry() |
262 | { |
||
263 | asm("sub lr, lr, #8"); |
||
264 | PROCESS_EXCEPTION(EXC_DATA_ABORT); |
||
265 | } |
||
266 | |||
2355 | stepan | 267 | /** Low-level Interrupt Exception handler. |
268 | * |
||
269 | * CPU is switched to Undefined mode before further interrupt processing |
||
270 | * because of possible occurence of nested interrupt exception, which |
||
271 | * would overwrite (and thus spoil) stack pointer. |
||
272 | */ |
||
2235 | stepan | 273 | static void irq_exception_entry() |
274 | { |
||
275 | asm("sub lr, lr, #4"); |
||
2344 | stepan | 276 | setup_stack_and_save_regs(); |
2407 | stepan | 277 | |
2414 | kebrt | 278 | switch_to_irq_servicing_mode(); |
2407 | stepan | 279 | |
2344 | stepan | 280 | CALL_EXC_DISPATCH(EXC_IRQ) |
281 | |||
282 | load_regs(); |
||
2235 | stepan | 283 | } |
284 | |||
2286 | stepan | 285 | /** Software Interrupt handler. |
286 | * |
||
287 | * Dispatches the syscall. |
||
288 | */ |
||
2304 | kebrt | 289 | static void swi_exception(int exc_no, istate_t *istate) |
2284 | stepan | 290 | { |
2464 | jermar | 291 | istate->r0 = syscall_handler(istate->r0, istate->r1, istate->r2, |
2611 | jermar | 292 | istate->r3, istate->r4, istate->r5, istate->r6); |
2284 | stepan | 293 | } |
294 | |||
3123 | svoboda | 295 | /** Data abort exception handler. |
296 | * |
||
297 | * Determines whether the exception was caused by a breakpoint |
||
298 | * instruction or a page fault. |
||
299 | */ |
||
300 | static void data_abort_exception(int exc_no, istate_t *istate) |
||
301 | { |
||
302 | uint32_t *instr_addr = (uint32_t *) istate->pc; |
||
303 | uint32_t opcode = *instr_addr; |
||
304 | |||
305 | if ((opcode & 0xfff000f0) == 0xe1200070) { |
||
306 | /* Bkpt */ |
||
307 | if (istate_from_uspace(istate)) { |
||
308 | udebug_breakpoint_event(0); |
||
309 | } else { |
||
310 | panic("Unexpected BKPT instruction at 0x%x", |
||
311 | istate->pc); |
||
312 | } |
||
313 | } else { |
||
314 | /* Page fault */ |
||
315 | data_abort(exc_no, istate); |
||
316 | } |
||
317 | } |
||
318 | |||
2235 | stepan | 319 | /** Interrupt Exception handler. |
2286 | stepan | 320 | * |
2464 | jermar | 321 | * Determines the sources of interrupt and calls their handlers. |
2235 | stepan | 322 | */ |
2304 | kebrt | 323 | static void irq_exception(int exc_no, istate_t *istate) |
2235 | stepan | 324 | { |
2306 | kebrt | 325 | machine_irq_exception(exc_no, istate); |
2235 | stepan | 326 | } |
327 | |||
2329 | kebrt | 328 | /** Fills exception vectors with appropriate exception handlers. */ |
2235 | stepan | 329 | void install_exception_handlers(void) |
330 | { |
||
2464 | jermar | 331 | install_handler((unsigned) reset_exception_entry, |
332 | (unsigned *) EXC_RESET_VEC); |
||
2235 | stepan | 333 | |
2464 | jermar | 334 | install_handler((unsigned) undef_instr_exception_entry, |
335 | (unsigned *) EXC_UNDEF_INSTR_VEC); |
||
2235 | stepan | 336 | |
2464 | jermar | 337 | install_handler((unsigned) swi_exception_entry, |
338 | (unsigned *) EXC_SWI_VEC); |
||
2235 | stepan | 339 | |
2464 | jermar | 340 | install_handler((unsigned) prefetch_abort_exception_entry, |
341 | (unsigned *) EXC_PREFETCH_ABORT_VEC); |
||
2235 | stepan | 342 | |
2464 | jermar | 343 | install_handler((unsigned) data_abort_exception_entry, |
344 | (unsigned *) EXC_DATA_ABORT_VEC); |
||
2235 | stepan | 345 | |
2464 | jermar | 346 | install_handler((unsigned) irq_exception_entry, |
347 | (unsigned *) EXC_IRQ_VEC); |
||
2235 | stepan | 348 | |
349 | install_handler((unsigned)fiq_exception_entry, |
||
2464 | jermar | 350 | (unsigned *) EXC_FIQ_VEC); |
2179 | stepan | 351 | } |
352 | |||
2284 | stepan | 353 | #ifdef HIGH_EXCEPTION_VECTORS |
2329 | kebrt | 354 | /** Activates use of high exception vectors addresses. */ |
2464 | jermar | 355 | static void high_vectors(void) |
2262 | stepan | 356 | { |
357 | uint32_t control_reg; |
||
358 | |||
2464 | jermar | 359 | asm volatile("mrc p15, 0, %0, c1, c1" : "=r" (control_reg)); |
2262 | stepan | 360 | |
2464 | jermar | 361 | /* switch on the high vectors bit */ |
2262 | stepan | 362 | control_reg |= CP15_R1_HIGH_VECTORS_BIT; |
363 | |||
2464 | jermar | 364 | asm volatile("mcr p15, 0, %0, c1, c1" : : "r" (control_reg)); |
2262 | stepan | 365 | } |
2284 | stepan | 366 | #endif |
2262 | stepan | 367 | |
2245 | stepan | 368 | /** Initializes exception handling. |
369 | * |
||
370 | * Installs low-level exception handlers and then registers |
||
371 | * exceptions and their handlers to kernel exception dispatcher. |
||
372 | */ |
||
2235 | stepan | 373 | void exception_init(void) |
374 | { |
||
2262 | stepan | 375 | #ifdef HIGH_EXCEPTION_VECTORS |
376 | high_vectors(); |
||
377 | #endif |
||
2245 | stepan | 378 | install_exception_handlers(); |
379 | |||
2235 | stepan | 380 | exc_register(EXC_IRQ, "interrupt", (iroutine) irq_exception); |
2464 | jermar | 381 | exc_register(EXC_PREFETCH_ABORT, "prefetch abort", |
382 | (iroutine) prefetch_abort); |
||
3123 | svoboda | 383 | exc_register(EXC_DATA_ABORT, "data abort", |
384 | (iroutine) data_abort_exception); |
||
2284 | stepan | 385 | exc_register(EXC_SWI, "software interrupt", (iroutine) swi_exception); |
2179 | stepan | 386 | } |
387 | |||
2326 | kebrt | 388 | /** Prints #istate_t structure content. |
389 | * |
||
390 | * @param istate Structure to be printed. |
||
391 | */ |
||
2304 | kebrt | 392 | void print_istate(istate_t *istate) |
393 | { |
||
394 | dprintf("istate dump:\n"); |
||
395 | |||
396 | dprintf(" r0: %x r1: %x r2: %x r3: %x\n", |
||
2464 | jermar | 397 | istate->r0, istate->r1, istate->r2, istate->r3); |
2304 | kebrt | 398 | dprintf(" r4: %x r5: %x r6: %x r7: %x\n", |
2464 | jermar | 399 | istate->r4, istate->r5, istate->r6, istate->r7); |
2304 | kebrt | 400 | dprintf(" r8: %x r8: %x r10: %x r11: %x\n", |
2464 | jermar | 401 | istate->r8, istate->r9, istate->r10, istate->r11); |
2304 | kebrt | 402 | dprintf(" r12: %x sp: %x lr: %x spsr: %x\n", |
2464 | jermar | 403 | istate->r12, istate->sp, istate->lr, istate->spsr); |
2304 | kebrt | 404 | |
405 | dprintf(" pc: %x\n", istate->pc); |
||
406 | } |
||
407 | |||
2179 | stepan | 408 | /** @} |
409 | */ |