Subversion Repositories HelenOS

Rev

Rev 2245 | Rev 2263 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2245 Rev 2262
1
/*
1
/*
2
 * Copyright (c) 2007 Petr Stepan
2
 * Copyright (c) 2007 Petr Stepan
3
 * All rights reserved.
3
 * All rights reserved.
4
 *
4
 *
5
 * Redistribution and use in source and binary forms, with or without
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
6
 * modification, are permitted provided that the following conditions
7
 * are met:
7
 * are met:
8
 *
8
 *
9
 * - Redistributions of source code must retain the above copyright
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
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
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.
15
 *   derived from this software without specific prior written permission.
16
 *
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
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
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
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
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
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
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.
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
27
 */
28
 
28
 
29
/** @addtogroup arm32
29
/** @addtogroup arm32
30
 * @{
30
 * @{
31
 */
31
 */
32
/** @file
32
/** @file
33
    @brief  Exception handlers and exception initialization routines.
33
    @brief  Exception handlers and exception initialization routines.
34
 */
34
 */
35
 
35
 
36
#include <arch/exception.h>
36
#include <arch/exception.h>
37
#include "aux_print/printf.h"
37
#include "aux_print/printf.h"
38
#include <arch/memstr.h>
38
#include <arch/memstr.h>
39
#include <arch/regutils.h>
39
#include <arch/regutils.h>
40
#include <interrupt.h>
40
#include <interrupt.h>
41
#include <arch/drivers/gxemul.h>
41
#include <arch/drivers/gxemul.h>
42
 
42
 
43
#define PREFETCH_OFFSET     0x8
43
#define PREFETCH_OFFSET     0x8
44
#define BRANCH_OPCODE       0xea000000
44
#define BRANCH_OPCODE       0xea000000
45
#define LDR_OPCODE      0xe59ff000
45
#define LDR_OPCODE      0xe59ff000
46
#define VALID_BRANCH_MASK   0xff000000
46
#define VALID_BRANCH_MASK   0xff000000
47
#define EXC_VECTORS_SIZE    0x20
47
#define EXC_VECTORS_SIZE    0x20
48
#define EXC_VECTORS     0x8
48
#define EXC_VECTORS     0x8
49
 
49
 
50
 
50
 
51
#define SAVE_REGS_TO_STACK          \
51
#define SAVE_REGS_TO_STACK          \
52
    asm("stmfd sp!, {r0-r12, sp, lr}");     \
52
    asm("stmfd sp!, {r0-r12, sp, lr}");     \
53
    asm("mrs r14, spsr");           \
53
    asm("mrs r14, spsr");           \
54
    asm("stmfd sp!, {r14}");
54
    asm("stmfd sp!, {r14}");
55
 
55
 
56
#define CALL_EXC_DISPATCH(exception)        \
56
#define CALL_EXC_DISPATCH(exception)        \
57
    asm("mov r0, %0" : : "i" (exception));  \
57
    asm("mov r0, %0" : : "i" (exception));  \
58
    asm("mov r1, sp");          \
58
    asm("mov r1, sp");          \
59
    asm("bl exc_dispatch");     
59
    asm("bl exc_dispatch");     
60
 
60
 
61
/**Loads registers from the stack and resets SPSR before exitting exception
61
/**Loads registers from the stack and resets SPSR before exitting exception
62
 * handler.
62
 * handler.
63
 */
63
 */
64
#define LOAD_REGS_FROM_STACK            \
64
#define LOAD_REGS_FROM_STACK            \
65
    asm("ldmfd sp!, {r14}");        \
65
    asm("ldmfd sp!, {r14}");        \
66
    asm("msr spsr, r14");           \
66
    asm("msr spsr, r14");           \
67
    asm("ldmfd sp!, {r0-r12, sp, pc}^");
67
    asm("ldmfd sp!, {r0-r12, sp, pc}^");
68
   
68
   
69
/** General exception handler.
69
/** General exception handler.
70
 *  Stores registers, dispatches the exception,
70
 *  Stores registers, dispatches the exception,
71
 *  and finally restores registers and returns from exception processing.
71
 *  and finally restores registers and returns from exception processing.
72
 */
72
 */
73
#define PROCESS_EXCEPTION(exception)        \
73
#define PROCESS_EXCEPTION(exception)        \
74
    SAVE_REGS_TO_STACK          \
74
    SAVE_REGS_TO_STACK          \
75
    CALL_EXC_DISPATCH(exception)        \
75
    CALL_EXC_DISPATCH(exception)        \
76
    LOAD_REGS_FROM_STACK            
76
    LOAD_REGS_FROM_STACK            
77
 
77
 
78
/** Updates specified exception vector to jump to given handler.
78
/** Updates specified exception vector to jump to given handler.
79
 * Addresses of handlers are stored in memory following exception vectors.
79
 * Addresses of handlers are stored in memory following exception vectors.
80
 */
80
 */
81
static void install_handler (unsigned handler_addr, unsigned* vector)
81
static void install_handler (unsigned handler_addr, unsigned* vector)
82
{
82
{
83
    /* relative address (related to exc. vector) of the word
83
    /* relative address (related to exc. vector) of the word
84
     * where handler's address is stored
84
     * where handler's address is stored
85
    */
85
    */
86
    volatile uint32_t handler_address_ptr = EXC_VECTORS_SIZE - PREFETCH_OFFSET;
86
    volatile uint32_t handler_address_ptr = EXC_VECTORS_SIZE - PREFETCH_OFFSET;
87
   
87
   
88
    /* make it LDR instruction and store at exception vector */
88
    /* make it LDR instruction and store at exception vector */
89
    *vector = handler_address_ptr | LDR_OPCODE;
89
    *vector = handler_address_ptr | LDR_OPCODE;
90
   
90
   
91
    /* store handler's address */
91
    /* store handler's address */
92
    *(vector + EXC_VECTORS) = handler_addr;
92
    *(vector + EXC_VECTORS) = handler_addr;
93
}
93
}
94
 
94
 
95
static void reset_exception_entry()
95
static void reset_exception_entry()
96
{
96
{
97
    PROCESS_EXCEPTION(EXC_RESET);
97
    PROCESS_EXCEPTION(EXC_RESET);
98
}
98
}
99
 
99
 
100
/** Low-level Software Interrupt Exception handler */
100
/** Low-level Software Interrupt Exception handler */
101
static void swi_exception_entry()
101
static void swi_exception_entry()
102
{
102
{
103
    PROCESS_EXCEPTION(EXC_SWI);
103
    PROCESS_EXCEPTION(EXC_SWI);
104
}
104
}
105
 
105
 
106
/** Low-level Undefined Instruction Exception handler */
106
/** Low-level Undefined Instruction Exception handler */
107
static void undef_instr_exception_entry()
107
static void undef_instr_exception_entry()
108
{
108
{
109
    PROCESS_EXCEPTION(EXC_UNDEF_INSTR);
109
    PROCESS_EXCEPTION(EXC_UNDEF_INSTR);
110
}
110
}
111
 
111
 
112
/** Low-level Fast Interrupt Exception handler */
112
/** Low-level Fast Interrupt Exception handler */
113
static void fiq_exception_entry()
113
static void fiq_exception_entry()
114
{
114
{
115
    PROCESS_EXCEPTION(EXC_FIQ);
115
    PROCESS_EXCEPTION(EXC_FIQ);
116
}
116
}
117
 
117
 
118
/** Low-level Prefetch Abort Exception handler */
118
/** Low-level Prefetch Abort Exception handler */
119
static void prefetch_abort_exception_entry()
119
static void prefetch_abort_exception_entry()
120
{
120
{
121
    asm("sub lr, lr, #4");
121
    asm("sub lr, lr, #4");
122
    PROCESS_EXCEPTION(EXC_PREFETCH_ABORT);
122
    PROCESS_EXCEPTION(EXC_PREFETCH_ABORT);
123
}
123
}
124
 
124
 
125
/** Low-level Data Abort Exception handler */
125
/** Low-level Data Abort Exception handler */
126
static void data_abort_exception_entry()
126
static void data_abort_exception_entry()
127
{
127
{
128
    asm("sub lr, lr, #8");
128
    asm("sub lr, lr, #8");
129
    PROCESS_EXCEPTION(EXC_DATA_ABORT);
129
    PROCESS_EXCEPTION(EXC_DATA_ABORT);
130
}
130
}
131
 
131
 
132
 
132
 
133
/** Low-level Interrupt Exception handler */
133
/** Low-level Interrupt Exception handler */
134
static void irq_exception_entry()
134
static void irq_exception_entry()
135
{
135
{
136
    asm("sub lr, lr, #4");
136
    asm("sub lr, lr, #4");
137
    PROCESS_EXCEPTION(EXC_IRQ);
137
    PROCESS_EXCEPTION(EXC_IRQ);
138
}
138
}
139
 
139
 
-
 
140
static void prefetch_abort_exception(int exc_no, istate_t* istate)
-
 
141
{
-
 
142
    //aux_puts("(PREFETCH|DATA) ABORT exception caught, not processed.\n");
-
 
143
}
-
 
144
 
140
 
145
 
141
/** Interrupt Exception handler.
146
/** Interrupt Exception handler.
142
 * Determines the sources of interrupt, and calls their handlers.
147
 * Determines the sources of interrupt, and calls their handlers.
143
 */
148
 */
144
static void irq_exception(int exc_no, istate_t* istate)
149
static void irq_exception(int exc_no, istate_t* istate)
145
{
150
{
146
    uint32_t sources = gxemul_irqc_get_sources();
151
    uint32_t sources = gxemul_irqc_get_sources();
147
    int i = 0;
152
    int i = 0;
148
    for (; i < GXEMUL_IRQC_MAX_IRQ; i++) {
153
    for (; i < GXEMUL_IRQC_MAX_IRQ; i++) {
149
        if (sources & (1 << i)) {
154
        if (sources & (1 << i)) {
150
            irq_t *irq = irq_dispatch_and_lock(i);
155
            irq_t *irq = irq_dispatch_and_lock(i);
151
            if (irq) {
156
            if (irq) {
152
                /* The IRQ handler was found. */
157
                /* The IRQ handler was found. */
153
                irq->handler(irq, irq->arg);
158
                irq->handler(irq, irq->arg);
154
                spinlock_unlock(&irq->lock);
159
                spinlock_unlock(&irq->lock);
155
            } else {
160
            } else {
156
                /* Spurious interrupt.*/
161
                /* Spurious interrupt.*/
157
                aux_printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, i);
162
                aux_printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, i);
158
            }
163
            }
159
        }
164
        }
160
    }
165
    }
161
/* TODO remove after testing the above code
166
/* TODO remove after testing the above code
162
            noirq = 0;
167
            noirq = 0;
163
            if (i == CONSOLE_IRQ) {
168
            if (i == CONSOLE_IRQ) {
164
                char readchar = *(char*)0x10000000;
169
                char readchar = *(char*)0x10000000;
165
                if (readchar == 0) {
170
                if (readchar == 0) {
166
                    aux_puts("?");
171
                    aux_puts("?");
167
                }
172
                }
168
                else {
173
                else {
169
                    aux_printf("%c", readchar);
174
                    aux_printf("%c", readchar);
170
                }
175
                }
171
               
176
               
172
            }
177
            }
173
            else if (i == TIMER_IRQ) {
178
            else if (i == TIMER_IRQ) {
174
                aux_printf("\n.\n");
179
                aux_printf("\n.\n");
175
                //acknowledge
180
                //acknowledge
176
                *(uint32_t*)0x15000110 = 0;
181
                *(uint32_t*)0x15000110 = 0;
177
            }
182
            }
178
        }
183
        }
179
    }
184
    }
180
 
185
 
181
    if (noirq)
186
    if (noirq)
182
    aux_puts("IRQ exception without source\n");*/
187
    aux_puts("IRQ exception without source\n");*/
183
}
188
}
184
 
189
 
185
/** Fills exception vectors with appropriate exception handlers.
190
/** Fills exception vectors with appropriate exception handlers.
186
*/
191
*/
187
void install_exception_handlers(void)
192
void install_exception_handlers(void)
188
{
193
{
189
    install_handler((unsigned)reset_exception_entry,
194
    install_handler((unsigned)reset_exception_entry,
190
             (unsigned*)EXC_RESET_VEC);
195
             (unsigned*)EXC_RESET_VEC);
191
   
196
   
192
    install_handler((unsigned)undef_instr_exception_entry,
197
    install_handler((unsigned)undef_instr_exception_entry,
193
             (unsigned*)EXC_UNDEF_INSTR_VEC);
198
             (unsigned*)EXC_UNDEF_INSTR_VEC);
194
   
199
   
195
    install_handler((unsigned)swi_exception_entry,
200
    install_handler((unsigned)swi_exception_entry,
196
             (unsigned*)EXC_SWI_VEC);
201
             (unsigned*)EXC_SWI_VEC);
197
   
202
   
198
    install_handler((unsigned)prefetch_abort_exception_entry,
203
    install_handler((unsigned)prefetch_abort_exception_entry,
199
             (unsigned*)EXC_PREFETCH_ABORT_VEC);
204
             (unsigned*)EXC_PREFETCH_ABORT_VEC);
200
   
205
   
201
    install_handler((unsigned)data_abort_exception_entry,
206
    install_handler((unsigned)data_abort_exception_entry,
202
             (unsigned*)EXC_DATA_ABORT_VEC);
207
             (unsigned*)EXC_DATA_ABORT_VEC);
203
   
208
   
204
    install_handler((unsigned)irq_exception_entry,  
209
    install_handler((unsigned)irq_exception_entry,  
205
             (unsigned*)EXC_IRQ_VEC);
210
             (unsigned*)EXC_IRQ_VEC);
206
   
211
   
207
    install_handler((unsigned)fiq_exception_entry,
212
    install_handler((unsigned)fiq_exception_entry,
208
             (unsigned*)EXC_FIQ_VEC);
213
             (unsigned*)EXC_FIQ_VEC);
209
}
214
}
210
 
215
 
-
 
216
/** Activates using high exception vectors addresses. */
-
 
217
 static void high_vectors()
-
 
218
{
-
 
219
    uint32_t control_reg;
-
 
220
   
-
 
221
    asm volatile( "mrc p15, 0, %0, c1, c1": "=r" (control_reg));
-
 
222
   
-
 
223
    //switch on the high vectors bit
-
 
224
    control_reg |= CP15_R1_HIGH_VECTORS_BIT;
-
 
225
   
-
 
226
    asm volatile( "mcr p15, 0, %0, c1, c1" : : "r" (control_reg));
-
 
227
}
-
 
228
 
-
 
229
 
211
/** Initializes exception handling.
230
/** Initializes exception handling.
212
 *
231
 *
213
 * Installs low-level exception handlers and then registers
232
 * Installs low-level exception handlers and then registers
214
 * exceptions and their handlers to kernel exception dispatcher.
233
 * exceptions and their handlers to kernel exception dispatcher.
215
 */
234
 */
216
void exception_init(void)
235
void exception_init(void)
217
{
236
{
-
 
237
#ifdef HIGH_EXCEPTION_VECTORS
-
 
238
    high_vectors();
-
 
239
#endif
-
 
240
 
218
    install_exception_handlers();
241
    install_exception_handlers();
219
   
242
   
220
    exc_register(EXC_IRQ, "interrupt", (iroutine) irq_exception);
243
    exc_register(EXC_IRQ, "interrupt", (iroutine) irq_exception);
-
 
244
    exc_register(EXC_PREFETCH_ABORT, "prefetch abort", (iroutine) prefetch_abort_exception);
-
 
245
    exc_register(EXC_DATA_ABORT, "data abort", (iroutine) prefetch_abort_exception);
221
    /* TODO add next */
246
    /* TODO add next */
222
}
247
}
223
 
248
 
224
/* TODO change soon, temporary hack. */
249
/* TODO change soon, temporary hack. */
225
void setup_exception_stacks()
250
void setup_exception_stacks()
226
{
251
{
227
    /* switch to particular mode and set "sp" there */
252
    /* switch to particular mode and set "sp" there */
-
 
253
 
228
    uint32_t cspr = current_status_reg_read();
254
    uint32_t cspr = current_status_reg_read();
-
 
255
 
-
 
256
    /* IRQ stack */
229
    current_status_reg_control_write(
257
    current_status_reg_control_write(
230
            (cspr & ~STATUS_REG_MODE_MASK) | IRQ_MODE
258
            (cspr & ~STATUS_REG_MODE_MASK) | IRQ_MODE
231
    );
259
    );
232
    asm("ldr sp, =irq_stack");
260
    asm("ldr sp, =irq_stack");
-
 
261
 
-
 
262
    /* abort stack */
233
    current_status_reg_control_write( cspr);
263
    current_status_reg_control_write(
-
 
264
            (cspr & ~STATUS_REG_MODE_MASK) | ABORT_MODE
-
 
265
    );
-
 
266
    asm("ldr sp, =abort_stack");
234
   
267
 
235
    /* TODO if you want to test other exceptions than IRQ,
268
    /* TODO if you want to test other exceptions than IRQ,
236
    make stack analogous to irq_stack (in start.S),
269
    make stack analogous to irq_stack (in start.S),
237
    and then set stack pointer here */
270
    and then set stack pointer here */
-
 
271
 
-
 
272
    current_status_reg_control_write( cspr);
-
 
273
 
238
}
274
}
239
 
275
 
240
/** @}
276
/** @}
241
 */
277
 */
242
 
278