Subversion Repositories HelenOS

Rev

Rev 1965 | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 1965 Rev 1968
1
/*
1
/*
2
 * Copyright (C) 2003-2004 Jakub Jermar
2
 * Copyright (C) 2003-2004 Jakub Jermar
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
#include <arch/exception.h>
29
#include <arch/exception.h>
30
#include <arch/interrupt.h>
30
#include <arch/interrupt.h>
31
#include <panic.h>
31
#include <panic.h>
32
#include <arch/cp0.h>
32
#include <arch/cp0.h>
33
#include <arch/types.h>
33
#include <arch/types.h>
34
#include <arch.h>
34
#include <arch.h>
35
#include <debug.h>
35
#include <debug.h>
36
#include <proc/thread.h>
36
#include <proc/thread.h>
37
#include <symtab.h>
37
#include <symtab.h>
38
#include <print.h>
38
#include <print.h>
39
#include <interrupt.h>
39
#include <interrupt.h>
40
#include <func.h>
40
#include <func.h>
41
#include <console/kconsole.h>
41
#include <console/kconsole.h>
42
#include <arch/debugger.h>
42
#include <arch/debugger.h>
43
 
43
 
44
static char * exctable[] = {
44
static char * exctable[] = {
45
    "Interrupt","TLB Modified","TLB Invalid","TLB Invalid Store",
45
    "Interrupt","TLB Modified","TLB Invalid","TLB Invalid Store",
46
        "Address Error - load/instr. fetch",
46
        "Address Error - load/instr. fetch",
47
        "Address Error - store",
47
        "Address Error - store",
48
        "Bus Error - fetch instruction",
48
        "Bus Error - fetch instruction",
49
        "Bus Error - data reference",
49
        "Bus Error - data reference",
50
        "Syscall",
50
        "Syscall",
51
        "BreakPoint",
51
        "BreakPoint",
52
        "Reserved Instruction",
52
        "Reserved Instruction",
53
        "Coprocessor Unusable",
53
        "Coprocessor Unusable",
54
        "Arithmetic Overflow",
54
        "Arithmetic Overflow",
55
        "Trap",
55
        "Trap",
56
        "Virtual Coherency - instruction",
56
        "Virtual Coherency - instruction",
57
        "Floating Point",
57
        "Floating Point",
58
        NULL, NULL, NULL, NULL, NULL, NULL, NULL,
58
        NULL, NULL, NULL, NULL, NULL, NULL, NULL,
59
        "WatchHi/WatchLo", /* 23 */
59
        "WatchHi/WatchLo", /* 23 */
60
        NULL, NULL, NULL, NULL, NULL, NULL, NULL,
60
        NULL, NULL, NULL, NULL, NULL, NULL, NULL,
61
        "Virtual Coherency - data",
61
        "Virtual Coherency - data",
62
};
62
};
63
 
63
 
64
static void print_regdump(istate_t *istate)
64
static void print_regdump(istate_t *istate)
65
{
65
{
66
    char *pcsymbol = "";
66
    char *pcsymbol = "";
67
    char *rasymbol = "";
67
    char *rasymbol = "";
68
 
68
 
69
    char *s = get_symtab_entry(istate->epc);
69
    char *s = get_symtab_entry(istate->epc);
70
    if (s)
70
    if (s)
71
        pcsymbol = s;
71
        pcsymbol = s;
72
    s = get_symtab_entry(istate->ra);
72
    s = get_symtab_entry(istate->ra);
73
    if (s)
73
    if (s)
74
        rasymbol = s;
74
        rasymbol = s;
75
   
75
   
76
    printf("PC: %#x(%s) RA: %#x(%s), SP(%p)\n", istate->epc, pcsymbol, istate->ra, rasymbol, istate->sp);
76
    printf("PC: %#x(%s) RA: %#x(%s), SP(%p)\n", istate->epc, pcsymbol, istate->ra, rasymbol, istate->sp);
77
}
77
}
78
 
78
 
79
static void unhandled_exception(int n, istate_t *istate)
79
static void unhandled_exception(int n, istate_t *istate)
80
{
80
{
81
    fault_if_from_uspace(istate, "unhandled exception %s", exctable[n]);
81
    fault_if_from_uspace(istate, "unhandled exception %s", exctable[n]);
82
   
82
   
83
    print_regdump(istate);
83
    print_regdump(istate);
84
    panic("unhandled exception %s\n", exctable[n]);
84
    panic("unhandled exception %s\n", exctable[n]);
85
}
85
}
86
 
86
 
87
static void reserved_instr_exception(int n, istate_t *istate)
87
static void reserved_instr_exception(int n, istate_t *istate)
88
{
88
{
89
    if (*((__u32 *)istate->epc) == 0x7c03e83b) {
89
    if (*((__u32 *)istate->epc) == 0x7c03e83b) {
90
        ASSERT(THREAD);
90
        ASSERT(THREAD);
91
        istate->epc += 4;
91
        istate->epc += 4;
92
        istate->v1 = istate->k1;
92
        istate->v1 = istate->k1;
93
    } else
93
    } else
94
        unhandled_exception(n, istate);
94
        unhandled_exception(n, istate);
95
}
95
}
96
 
96
 
97
static void breakpoint_exception(int n, istate_t *istate)
97
static void breakpoint_exception(int n, istate_t *istate)
98
{
98
{
99
#ifdef CONFIG_DEBUG
99
#ifdef CONFIG_DEBUG
100
    debugger_bpoint(istate);
100
    debugger_bpoint(istate);
101
#else
101
#else
102
    /* it is necessary to not re-execute BREAK instruction after
102
    /* it is necessary to not re-execute BREAK instruction after
103
       returning from Exception handler
103
       returning from Exception handler
104
       (see page 138 in R4000 Manual for more information) */
104
       (see page 138 in R4000 Manual for more information) */
105
    istate->epc += 4;
105
    istate->epc += 4;
106
#endif
106
#endif
107
}
107
}
108
 
108
 
109
static void tlbmod_exception(int n, istate_t *istate)
109
static void tlbmod_exception(int n, istate_t *istate)
110
{
110
{
111
    tlb_modified(istate);
111
    tlb_modified(istate);
112
}
112
}
113
 
113
 
114
static void tlbinv_exception(int n, istate_t *istate)
114
static void tlbinv_exception(int n, istate_t *istate)
115
{
115
{
116
    tlb_invalid(istate);
116
    tlb_invalid(istate);
117
}
117
}
118
 
118
 
119
#ifdef CONFIG_FPU_LAZY
119
#ifdef CONFIG_FPU_LAZY
120
static void cpuns_exception(int n, istate_t *istate)
120
static void cpuns_exception(int n, istate_t *istate)
121
{
121
{
122
    if (cp0_cause_coperr(cp0_cause_read()) == fpu_cop_id)
122
    if (cp0_cause_coperr(cp0_cause_read()) == fpu_cop_id)
123
        scheduler_fpu_lazy_request();
123
        scheduler_fpu_lazy_request();
124
    else {
124
    else {
125
        fault_if_from_uspace(istate, "unhandled Coprocessor Unusable Exception");
125
        fault_if_from_uspace(istate, "unhandled Coprocessor Unusable Exception");
126
        panic("unhandled Coprocessor Unusable Exception\n");
126
        panic("unhandled Coprocessor Unusable Exception\n");
127
    }
127
    }
128
}
128
}
129
#endif
129
#endif
130
 
130
 
131
static void interrupt_exception(int n, istate_t *istate)
131
static void interrupt_exception(int n, istate_t *istate)
132
{
132
{
133
    __u32 cause;
133
    __u32 cause;
134
    int i;
134
    int i;
135
   
135
   
136
    /* decode interrupt number and process the interrupt */
136
    /* decode interrupt number and process the interrupt */
137
    cause = (cp0_cause_read() >> 8) &0xff;
137
    cause = (cp0_cause_read() >> 8) &0xff;
138
   
138
   
139
    for (i = 0; i < 8; i++)
139
    for (i = 0; i < 8; i++)
140
        if (cause & (1 << i))
140
        if (cause & (1 << i))
141
            exc_dispatch(i+INT_OFFSET, istate);
141
            exc_dispatch(i+INT_OFFSET, istate);
142
}
142
}
143
 
143
 
144
/** Handle syscall userspace call */
144
/** Handle syscall userspace call */
145
static void syscall_exception(int n, istate_t *istate)
145
static void syscall_exception(int n, istate_t *istate)
146
{
146
{
147
    panic("Syscall is handled through shortcut");
147
    panic("Syscall is handled through shortcut");
148
}
148
}
149
 
149
 
150
void exception_init(void)
150
void exception_init(void)
151
{
151
{
152
    int i;
152
    int i;
153
 
153
 
154
    /* Clear exception table */
154
    /* Clear exception table */
155
    for (i=0;i < IVT_ITEMS; i++)
155
    for (i=0;i < IVT_ITEMS; i++)
156
        exc_register(i, "undef", (iroutine) unhandled_exception);
156
        exc_register(i, "undef", (iroutine) unhandled_exception);
157
    exc_register(EXC_Bp, "bkpoint", (iroutine) breakpoint_exception);
157
    exc_register(EXC_Bp, "bkpoint", (iroutine) breakpoint_exception);
158
    exc_register(EXC_RI, "resinstr", (iroutine) reserved_instr_exception);
158
    exc_register(EXC_RI, "resinstr", (iroutine) reserved_instr_exception);
159
    exc_register(EXC_Mod, "tlb_mod", (iroutine) tlbmod_exception);
159
    exc_register(EXC_Mod, "tlb_mod", (iroutine) tlbmod_exception);
160
    exc_register(EXC_TLBL, "tlbinvl", (iroutine) tlbinv_exception);
160
    exc_register(EXC_TLBL, "tlbinvl", (iroutine) tlbinv_exception);
161
    exc_register(EXC_TLBS, "tlbinvl", (iroutine) tlbinv_exception);
161
    exc_register(EXC_TLBS, "tlbinvl", (iroutine) tlbinv_exception);
162
    exc_register(EXC_Int, "interrupt", (iroutine) interrupt_exception);
162
    exc_register(EXC_Int, "interrupt", (iroutine) interrupt_exception);
163
#ifdef CONFIG_FPU_LAZY
163
#ifdef CONFIG_FPU_LAZY
164
    exc_register(EXC_CpU, "cpunus", (iroutine) cpuns_exception);
164
    exc_register(EXC_CpU, "cpunus", (iroutine) cpuns_exception);
165
#endif
165
#endif
166
    exc_register(EXC_Sys, "syscall", (iroutine) syscall_exception);
166
    exc_register(EXC_Sys, "syscall", (iroutine) syscall_exception);
167
}
167
}
168
 
168