Subversion Repositories HelenOS

Rev

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