Subversion Repositories HelenOS-historic

Rev

Rev 852 | Rev 958 | 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
 
852 palkovsky 77
    printf("PC: %X(%s) RA: %X(%s), SP(%P)\n",pstate->epc,pcsymbol,
78
           pstate->ra,rasymbol, pstate->sp);
590 palkovsky 79
}
80
 
799 palkovsky 81
static void unhandled_exception(int n, struct exception_regdump *pstate)
590 palkovsky 82
{
83
    print_regdump(pstate);
84
    panic("unhandled exception %s\n", exctable[n]);
85
}
86
 
799 palkovsky 87
static void breakpoint_exception(int n, struct exception_regdump *pstate)
590 palkovsky 88
{
614 palkovsky 89
#ifdef CONFIG_DEBUG
90
    debugger_bpoint(pstate);
91
#else
590 palkovsky 92
    /* it is necessary to not re-execute BREAK instruction after
93
       returning from Exception handler
94
       (see page 138 in R4000 Manual for more information) */
95
    pstate->epc += 4;
614 palkovsky 96
#endif
590 palkovsky 97
}
98
 
799 palkovsky 99
static void tlbmod_exception(int n, struct exception_regdump *pstate)
590 palkovsky 100
{
101
    tlb_modified(pstate);
102
}
103
 
799 palkovsky 104
static void tlbinv_exception(int n, struct exception_regdump *pstate)
590 palkovsky 105
{
106
    tlb_invalid(pstate);
107
}
108
 
615 palkovsky 109
#ifdef CONFIG_FPU_LAZY
799 palkovsky 110
static void cpuns_exception(int n, struct exception_regdump *pstate)
590 palkovsky 111
{
112
    if (cp0_cause_coperr(cp0_cause_read()) == fpu_cop_id)
113
        scheduler_fpu_lazy_request();
114
    else
115
        panic("unhandled Coprocessor Unusable Exception\n");
116
}
615 palkovsky 117
#endif
590 palkovsky 118
 
799 palkovsky 119
static void interrupt_exception(int n, struct exception_regdump *pstate)
590 palkovsky 120
{
121
    __u32 cause;
122
    int i;
123
 
124
    /* decode interrupt number and process the interrupt */
125
    cause = (cp0_cause_read() >> 8) &0xff;
126
 
127
    for (i = 0; i < 8; i++)
128
        if (cause & (1 << i))
129
            exc_dispatch(i+INT_OFFSET, pstate);
130
}
131
 
794 palkovsky 132
#include <debug.h>
133
/** Handle syscall userspace call */
799 palkovsky 134
static void syscall_exception(int n, struct exception_regdump *pstate)
794 palkovsky 135
{
955 palkovsky 136
    interrupts_enable();
794 palkovsky 137
    if (pstate->a3 < SYSCALL_END)
138
        pstate->v0 = syscall_table[pstate->a3](pstate->a0,
139
                               pstate->a1,
140
                               pstate->a2);
141
    else
142
        panic("Undefined syscall %d", pstate->a3);
955 palkovsky 143
    interrupts_disable();
794 palkovsky 144
    pstate->epc += 4;
145
}
590 palkovsky 146
 
794 palkovsky 147
 
317 palkovsky 148
void exception(struct exception_regdump *pstate)
1 jermar 149
{
330 palkovsky 150
    int cause;
1 jermar 151
    int excno;
213 jermar 152
 
227 jermar 153
    ASSERT(CPU != NULL);
154
 
213 jermar 155
    /*
156
     * NOTE ON OPERATION ORDERING
157
     *
413 jermar 158
     * On entry, interrupts_disable() must be called before
317 palkovsky 159
     * exception bit is cleared.
213 jermar 160
     */
161
 
413 jermar 162
    interrupts_disable();
313 palkovsky 163
    cp0_status_write(cp0_status_read() & ~ (cp0_status_exl_exception_bit |
164
                        cp0_status_um_bit));
327 palkovsky 165
 
326 palkovsky 166
    /* Save pstate so that the threads can access it */
327 palkovsky 167
    /* If THREAD->pstate is set, this is nested exception,
168
     * do not rewrite it
169
     */
170
    if (THREAD && !THREAD->pstate)
326 palkovsky 171
        THREAD->pstate = pstate;
1 jermar 172
 
330 palkovsky 173
    cause = cp0_cause_read();
174
    excno = cp0_cause_excno(cause);
590 palkovsky 175
    /* Dispatch exception */
176
    exc_dispatch(excno, pstate);
177
 
327 palkovsky 178
    /* Set to NULL, so that we can still support nested
179
     * exceptions
180
     * TODO: We should probably set EXL bit before this command,
181
     * nesting. On the other hand, if some exception occurs between
182
     * here and ERET, it won't set anything on the pstate anyway.
183
     */
326 palkovsky 184
    if (THREAD)
185
        THREAD->pstate = NULL;
1 jermar 186
}
590 palkovsky 187
 
188
void exception_init(void)
189
{
190
    int i;
191
 
192
    /* Clear exception table */
193
    for (i=0;i < IVT_ITEMS; i++)
799 palkovsky 194
        exc_register(i, "undef", (iroutine) unhandled_exception);
195
    exc_register(EXC_Bp, "bkpoint", (iroutine) breakpoint_exception);
196
    exc_register(EXC_Mod, "tlb_mod", (iroutine) tlbmod_exception);
197
    exc_register(EXC_TLBL, "tlbinvl", (iroutine) tlbinv_exception);
198
    exc_register(EXC_TLBS, "tlbinvl", (iroutine) tlbinv_exception);
199
    exc_register(EXC_Int, "interrupt", (iroutine) interrupt_exception);
590 palkovsky 200
#ifdef CONFIG_FPU_LAZY
799 palkovsky 201
    exc_register(EXC_CpU, "cpunus", (iroutine) cpuns_exception);
590 palkovsky 202
#endif
799 palkovsky 203
    exc_register(EXC_Sys, "syscall", (iroutine) syscall_exception);
590 palkovsky 204
}