Subversion Repositories HelenOS-historic

Rev

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