Subversion Repositories HelenOS-historic

Rev

Rev 615 | Rev 799 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1 jermar 1
/*
319 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
 
29
#include <arch/exception.h>
195 vana 30
#include <arch/interrupt.h>
1 jermar 31
#include <panic.h>
32
#include <arch/cp0.h>
33
#include <arch/types.h>
34
#include <arch.h>
227 jermar 35
#include <debug.h>
391 jermar 36
#include <proc/thread.h>
590 palkovsky 37
#include <symtab.h>
38
#include <print.h>
39
#include <interrupt.h>
609 palkovsky 40
#include <func.h>
41
#include <console/kconsole.h>
614 palkovsky 42
#include <arch/debugger.h>
794 palkovsky 43
#include <syscall/syscall.h>
1 jermar 44
 
590 palkovsky 45
static char * exctable[] = {
46
    "Interrupt","TLB Modified","TLB Invalid","TLB Invalid Store",
47
        "Address Error - load/instr. fetch",
48
        "Address Error - store",
49
        "Bus Error - fetch instruction",
50
        "Bus Error - data reference",
51
        "Syscall",
52
        "BreakPoint",
53
        "Reserved Instruction",
54
        "Coprocessor Unusable",
55
        "Arithmetic Overflow",
56
        "Trap",
57
        "Virtual Coherency - instruction",
58
        "Floating Point",
59
        NULL, NULL, NULL, NULL, NULL, NULL, NULL,
60
        "WatchHi/WatchLo", /* 23 */
61
        NULL, NULL, NULL, NULL, NULL, NULL, NULL,
62
        "Virtual Coherency - data",
63
};
64
 
65
static void print_regdump(struct exception_regdump *pstate)
66
{
67
    char *pcsymbol = "";
68
    char *rasymbol = "";
69
 
70
    char *s = get_symtab_entry(pstate->epc);
71
    if (s)
72
        pcsymbol = s;
73
    s = get_symtab_entry(pstate->ra);
74
    if (s)
75
        rasymbol = s;
76
 
77
    printf("PC: %X(%s) RA: %X(%s)\n",pstate->epc,pcsymbol,
78
           pstate->ra,rasymbol);
79
}
80
 
81
static void unhandled_exception(int n, void *data)
82
{
83
    struct exception_regdump *pstate = (struct exception_regdump *)data;
84
 
85
    print_regdump(pstate);
86
    panic("unhandled exception %s\n", exctable[n]);
87
}
88
 
89
static void breakpoint_exception(int n, void *data)
90
{
91
    struct exception_regdump *pstate = (struct exception_regdump *)data;
609 palkovsky 92
 
614 palkovsky 93
#ifdef CONFIG_DEBUG
94
    debugger_bpoint(pstate);
95
#else
590 palkovsky 96
    /* it is necessary to not re-execute BREAK instruction after
97
       returning from Exception handler
98
       (see page 138 in R4000 Manual for more information) */
99
    pstate->epc += 4;
614 palkovsky 100
#endif
590 palkovsky 101
}
102
 
103
static void tlbmod_exception(int n, void *data)
104
{
105
    struct exception_regdump *pstate = (struct exception_regdump *)data;
106
    tlb_modified(pstate);
107
}
108
 
109
static void tlbinv_exception(int n, void *data)
110
{
111
    struct exception_regdump *pstate = (struct exception_regdump *)data;
112
    tlb_invalid(pstate);
113
}
114
 
615 palkovsky 115
#ifdef CONFIG_FPU_LAZY
593 palkovsky 116
static void cpuns_exception(int n, void *data)
590 palkovsky 117
{
118
    if (cp0_cause_coperr(cp0_cause_read()) == fpu_cop_id)
119
        scheduler_fpu_lazy_request();
120
    else
121
        panic("unhandled Coprocessor Unusable Exception\n");
122
}
615 palkovsky 123
#endif
590 palkovsky 124
 
125
static void interrupt_exception(int n, void *pstate)
126
{
127
    __u32 cause;
128
    int i;
129
 
130
    /* decode interrupt number and process the interrupt */
131
    cause = (cp0_cause_read() >> 8) &0xff;
132
 
133
    for (i = 0; i < 8; i++)
134
        if (cause & (1 << i))
135
            exc_dispatch(i+INT_OFFSET, pstate);
136
}
137
 
794 palkovsky 138
#include <debug.h>
139
/** Handle syscall userspace call */
140
static void syscall_exception(int n, void *data)
141
{
142
    struct exception_regdump *pstate = (struct exception_regdump *)data;
143
 
144
    if (pstate->a3 < SYSCALL_END)
145
        pstate->v0 = syscall_table[pstate->a3](pstate->a0,
146
                               pstate->a1,
147
                               pstate->a2);
148
    else
149
        panic("Undefined syscall %d", pstate->a3);
150
    pstate->epc += 4;
151
}
590 palkovsky 152
 
794 palkovsky 153
 
317 palkovsky 154
void exception(struct exception_regdump *pstate)
1 jermar 155
{
330 palkovsky 156
    int cause;
1 jermar 157
    int excno;
213 jermar 158
 
227 jermar 159
    ASSERT(CPU != NULL);
160
 
213 jermar 161
    /*
162
     * NOTE ON OPERATION ORDERING
163
     *
413 jermar 164
     * On entry, interrupts_disable() must be called before
317 palkovsky 165
     * exception bit is cleared.
213 jermar 166
     */
167
 
413 jermar 168
    interrupts_disable();
313 palkovsky 169
    cp0_status_write(cp0_status_read() & ~ (cp0_status_exl_exception_bit |
170
                        cp0_status_um_bit));
327 palkovsky 171
 
326 palkovsky 172
    /* Save pstate so that the threads can access it */
327 palkovsky 173
    /* If THREAD->pstate is set, this is nested exception,
174
     * do not rewrite it
175
     */
176
    if (THREAD && !THREAD->pstate)
326 palkovsky 177
        THREAD->pstate = pstate;
1 jermar 178
 
330 palkovsky 179
    cause = cp0_cause_read();
180
    excno = cp0_cause_excno(cause);
590 palkovsky 181
    /* Dispatch exception */
182
    exc_dispatch(excno, pstate);
183
 
327 palkovsky 184
    /* Set to NULL, so that we can still support nested
185
     * exceptions
186
     * TODO: We should probably set EXL bit before this command,
187
     * nesting. On the other hand, if some exception occurs between
188
     * here and ERET, it won't set anything on the pstate anyway.
189
     */
326 palkovsky 190
    if (THREAD)
191
        THREAD->pstate = NULL;
1 jermar 192
}
590 palkovsky 193
 
194
void exception_init(void)
195
{
196
    int i;
197
 
198
    /* Clear exception table */
199
    for (i=0;i < IVT_ITEMS; i++)
200
        exc_register(i, "undef", unhandled_exception);
201
    exc_register(EXC_Bp, "bkpoint", breakpoint_exception);
202
    exc_register(EXC_Mod, "tlb_mod", tlbmod_exception);
203
    exc_register(EXC_TLBL, "tlbinvl", tlbinv_exception);
204
    exc_register(EXC_TLBS, "tlbinvl", tlbinv_exception);
205
    exc_register(EXC_Int, "interrupt", interrupt_exception);
206
#ifdef CONFIG_FPU_LAZY
593 palkovsky 207
    exc_register(EXC_CpU, "cpunus", cpuns_exception);
590 palkovsky 208
#endif
794 palkovsky 209
    exc_register(EXC_Sys, "syscall", syscall_exception);
590 palkovsky 210
}