Rev 2924 | Rev 3431 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1 | jermar | 1 | /* |
| 2071 | 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 | |||
| 1754 | jermar | 29 | /** @addtogroup mips32 |
| 1702 | cejka | 30 | * @{ |
| 31 | */ |
||
| 32 | /** @file |
||
| 33 | */ |
||
| 34 | |||
| 1 | jermar | 35 | #include <arch/exception.h> |
| 195 | vana | 36 | #include <arch/interrupt.h> |
| 2089 | decky | 37 | #include <arch/mm/tlb.h> |
| 1 | jermar | 38 | #include <panic.h> |
| 39 | #include <arch/cp0.h> |
||
| 40 | #include <arch/types.h> |
||
| 41 | #include <arch.h> |
||
| 227 | jermar | 42 | #include <debug.h> |
| 391 | jermar | 43 | #include <proc/thread.h> |
| 590 | palkovsky | 44 | #include <symtab.h> |
| 45 | #include <print.h> |
||
| 46 | #include <interrupt.h> |
||
| 609 | palkovsky | 47 | #include <func.h> |
| 48 | #include <console/kconsole.h> |
||
| 1936 | decky | 49 | #include <ddi/irq.h> |
| 614 | palkovsky | 50 | #include <arch/debugger.h> |
| 1 | jermar | 51 | |
| 590 | palkovsky | 52 | static char * exctable[] = { |
| 1769 | jermar | 53 | "Interrupt", |
| 54 | "TLB Modified", |
||
| 55 | "TLB Invalid", |
||
| 56 | "TLB Invalid Store", |
||
| 57 | "Address Error - load/instr. fetch", |
||
| 58 | "Address Error - store", |
||
| 59 | "Bus Error - fetch instruction", |
||
| 60 | "Bus Error - data reference", |
||
| 61 | "Syscall", |
||
| 62 | "BreakPoint", |
||
| 63 | "Reserved Instruction", |
||
| 64 | "Coprocessor Unusable", |
||
| 65 | "Arithmetic Overflow", |
||
| 66 | "Trap", |
||
| 67 | "Virtual Coherency - instruction", |
||
| 68 | "Floating Point", |
||
| 69 | NULL, NULL, NULL, NULL, NULL, NULL, NULL, |
||
| 70 | "WatchHi/WatchLo", /* 23 */ |
||
| 71 | NULL, NULL, NULL, NULL, NULL, NULL, NULL, |
||
| 72 | "Virtual Coherency - data", |
||
| 590 | palkovsky | 73 | }; |
| 74 | |||
| 958 | jermar | 75 | static void print_regdump(istate_t *istate) |
| 590 | palkovsky | 76 | { |
| 77 | char *pcsymbol = ""; |
||
| 78 | char *rasymbol = ""; |
||
| 79 | |||
| 958 | jermar | 80 | char *s = get_symtab_entry(istate->epc); |
| 590 | palkovsky | 81 | if (s) |
| 82 | pcsymbol = s; |
||
| 958 | jermar | 83 | s = get_symtab_entry(istate->ra); |
| 590 | palkovsky | 84 | if (s) |
| 85 | rasymbol = s; |
||
| 86 | |||
| 1221 | decky | 87 | printf("PC: %#x(%s) RA: %#x(%s), SP(%p)\n", istate->epc, pcsymbol, istate->ra, rasymbol, istate->sp); |
| 590 | palkovsky | 88 | } |
| 89 | |||
| 958 | jermar | 90 | static void unhandled_exception(int n, istate_t *istate) |
| 590 | palkovsky | 91 | { |
| 1595 | palkovsky | 92 | fault_if_from_uspace(istate, "unhandled exception %s", exctable[n]); |
| 93 | |||
| 958 | jermar | 94 | print_regdump(istate); |
| 590 | palkovsky | 95 | panic("unhandled exception %s\n", exctable[n]); |
| 96 | } |
||
| 97 | |||
| 1119 | palkovsky | 98 | static void reserved_instr_exception(int n, istate_t *istate) |
| 99 | { |
||
| 1780 | jermar | 100 | if (*((uint32_t *)istate->epc) == 0x7c03e83b) { |
| 1119 | palkovsky | 101 | ASSERT(THREAD); |
| 102 | istate->epc += 4; |
||
| 103 | istate->v1 = istate->k1; |
||
| 1126 | palkovsky | 104 | } else |
| 105 | unhandled_exception(n, istate); |
||
| 1119 | palkovsky | 106 | } |
| 107 | |||
| 958 | jermar | 108 | static void breakpoint_exception(int n, istate_t *istate) |
| 590 | palkovsky | 109 | { |
| 2924 | svoboda | 110 | if (istate_from_uspace(istate)) { |
| 111 | /* userspace breakpoint */ |
||
| 112 | udebug_breakpoint_event(0); |
||
| 113 | return; |
||
| 114 | } |
||
| 115 | |||
| 614 | palkovsky | 116 | #ifdef CONFIG_DEBUG |
| 958 | jermar | 117 | debugger_bpoint(istate); |
| 614 | palkovsky | 118 | #else |
| 590 | palkovsky | 119 | /* it is necessary to not re-execute BREAK instruction after |
| 120 | returning from Exception handler |
||
| 121 | (see page 138 in R4000 Manual for more information) */ |
||
| 958 | jermar | 122 | istate->epc += 4; |
| 614 | palkovsky | 123 | #endif |
| 590 | palkovsky | 124 | } |
| 125 | |||
| 958 | jermar | 126 | static void tlbmod_exception(int n, istate_t *istate) |
| 590 | palkovsky | 127 | { |
| 958 | jermar | 128 | tlb_modified(istate); |
| 590 | palkovsky | 129 | } |
| 130 | |||
| 958 | jermar | 131 | static void tlbinv_exception(int n, istate_t *istate) |
| 590 | palkovsky | 132 | { |
| 958 | jermar | 133 | tlb_invalid(istate); |
| 590 | palkovsky | 134 | } |
| 135 | |||
| 615 | palkovsky | 136 | #ifdef CONFIG_FPU_LAZY |
| 958 | jermar | 137 | static void cpuns_exception(int n, istate_t *istate) |
| 590 | palkovsky | 138 | { |
| 139 | if (cp0_cause_coperr(cp0_cause_read()) == fpu_cop_id) |
||
| 140 | scheduler_fpu_lazy_request(); |
||
| 1595 | palkovsky | 141 | else { |
| 142 | fault_if_from_uspace(istate, "unhandled Coprocessor Unusable Exception"); |
||
| 590 | palkovsky | 143 | panic("unhandled Coprocessor Unusable Exception\n"); |
| 1595 | palkovsky | 144 | } |
| 590 | palkovsky | 145 | } |
| 615 | palkovsky | 146 | #endif |
| 590 | palkovsky | 147 | |
| 958 | jermar | 148 | static void interrupt_exception(int n, istate_t *istate) |
| 590 | palkovsky | 149 | { |
| 1780 | jermar | 150 | uint32_t cause; |
| 590 | palkovsky | 151 | int i; |
| 152 | |||
| 153 | /* decode interrupt number and process the interrupt */ |
||
| 154 | cause = (cp0_cause_read() >> 8) &0xff; |
||
| 155 | |||
| 1936 | decky | 156 | for (i = 0; i < 8; i++) { |
| 157 | if (cause & (1 << i)) { |
||
| 158 | irq_t *irq = irq_dispatch_and_lock(i); |
||
| 159 | if (irq) { |
||
| 160 | /* |
||
| 161 | * The IRQ handler was found. |
||
| 162 | */ |
||
| 163 | irq->handler(irq, irq->arg); |
||
| 164 | spinlock_unlock(&irq->lock); |
||
| 165 | } else { |
||
| 166 | /* |
||
| 167 | * Spurious interrupt. |
||
| 168 | */ |
||
| 169 | #ifdef CONFIG_DEBUG |
||
| 3424 | svoboda | 170 | printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, i); |
| 1936 | decky | 171 | #endif |
| 172 | } |
||
| 173 | } |
||
| 174 | } |
||
| 590 | palkovsky | 175 | } |
| 176 | |||
| 1096 | palkovsky | 177 | /** Handle syscall userspace call */ |
| 178 | static void syscall_exception(int n, istate_t *istate) |
||
| 1 | jermar | 179 | { |
| 1096 | palkovsky | 180 | panic("Syscall is handled through shortcut"); |
| 1 | jermar | 181 | } |
| 590 | palkovsky | 182 | |
| 183 | void exception_init(void) |
||
| 184 | { |
||
| 185 | int i; |
||
| 186 | |||
| 187 | /* Clear exception table */ |
||
| 1936 | decky | 188 | for (i = 0; i < IVT_ITEMS; i++) |
| 799 | palkovsky | 189 | exc_register(i, "undef", (iroutine) unhandled_exception); |
| 1936 | decky | 190 | |
| 799 | palkovsky | 191 | exc_register(EXC_Bp, "bkpoint", (iroutine) breakpoint_exception); |
| 1119 | palkovsky | 192 | exc_register(EXC_RI, "resinstr", (iroutine) reserved_instr_exception); |
| 799 | palkovsky | 193 | exc_register(EXC_Mod, "tlb_mod", (iroutine) tlbmod_exception); |
| 194 | exc_register(EXC_TLBL, "tlbinvl", (iroutine) tlbinv_exception); |
||
| 195 | exc_register(EXC_TLBS, "tlbinvl", (iroutine) tlbinv_exception); |
||
| 196 | exc_register(EXC_Int, "interrupt", (iroutine) interrupt_exception); |
||
| 590 | palkovsky | 197 | #ifdef CONFIG_FPU_LAZY |
| 799 | palkovsky | 198 | exc_register(EXC_CpU, "cpunus", (iroutine) cpuns_exception); |
| 590 | palkovsky | 199 | #endif |
| 799 | palkovsky | 200 | exc_register(EXC_Sys, "syscall", (iroutine) syscall_exception); |
| 590 | palkovsky | 201 | } |
| 1702 | cejka | 202 | |
| 1754 | jermar | 203 | /** @} |
| 1702 | cejka | 204 | */ |