Rev 4153 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1 | jermar | 1 | /* |
2071 | jermar | 2 | * Copyright (c) 2001-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 | |||
1705 | cejka | 29 | /** @addtogroup ia32interrupt |
1702 | cejka | 30 | * @{ |
31 | */ |
||
32 | /** @file |
||
33 | */ |
||
34 | |||
1 | jermar | 35 | #include <arch/interrupt.h> |
712 | decky | 36 | #include <syscall/syscall.h> |
1 | jermar | 37 | #include <print.h> |
68 | decky | 38 | #include <debug.h> |
1 | jermar | 39 | #include <panic.h> |
1477 | decky | 40 | #include <arch/drivers/i8259.h> |
1 | jermar | 41 | #include <func.h> |
42 | #include <cpu.h> |
||
43 | #include <arch/asm.h> |
||
5 | jermar | 44 | #include <mm/tlb.h> |
703 | jermar | 45 | #include <mm/as.h> |
22 | jermar | 46 | #include <arch.h> |
391 | jermar | 47 | #include <proc/thread.h> |
1256 | jermar | 48 | #include <proc/task.h> |
49 | #include <synch/spinlock.h> |
||
50 | #include <arch/ddi/ddi.h> |
||
1258 | palkovsky | 51 | #include <ipc/sysipc.h> |
52 | #include <interrupt.h> |
||
1956 | decky | 53 | #include <ddi/irq.h> |
4153 | mejdrech | 54 | #include <symtab.h> |
1 | jermar | 55 | |
56 | /* |
||
57 | * Interrupt and exception dispatching. |
||
58 | */ |
||
59 | |||
1780 | jermar | 60 | void (* disable_irqs_function)(uint16_t irqmask) = NULL; |
61 | void (* enable_irqs_function)(uint16_t irqmask) = NULL; |
||
1 | jermar | 62 | void (* eoi_function)(void) = NULL; |
63 | |||
1956 | decky | 64 | void decode_istate(istate_t *istate) |
1008 | jermar | 65 | { |
4153 | mejdrech | 66 | char *symbol; |
268 | palkovsky | 67 | |
4153 | mejdrech | 68 | symbol = symtab_fmt_name_lookup(istate->eip); |
1008 | jermar | 69 | |
70 | if (CPU) |
||
2439 | decky | 71 | printf("----------------EXCEPTION OCCURED (cpu%u)----------------\n", CPU->id); |
1008 | jermar | 72 | else |
73 | printf("----------------EXCEPTION OCCURED----------------\n"); |
||
74 | |||
2439 | decky | 75 | printf("%%eip: %#lx (%s)\n", istate->eip, symbol); |
76 | printf("ERROR_WORD=%#lx\n", istate->error_word); |
||
77 | printf("%%cs=%#lx,flags=%#lx\n", istate->cs, istate->eflags); |
||
78 | printf("%%eax=%#lx, %%ecx=%#lx, %%edx=%#lx, %%esp=%p\n", istate->eax, istate->ecx, istate->edx, &istate->stack[0]); |
||
79 | printf("stack: %#lx, %#lx, %#lx, %#lx\n", istate->stack[0], istate->stack[1], istate->stack[2], istate->stack[3]); |
||
80 | printf(" %#lx, %#lx, %#lx, %#lx\n", istate->stack[4], istate->stack[5], istate->stack[6], istate->stack[7]); |
||
1008 | jermar | 81 | } |
82 | |||
1956 | decky | 83 | static void trap_virtual_eoi(void) |
1 | jermar | 84 | { |
1956 | decky | 85 | if (eoi_function) |
86 | eoi_function(); |
||
87 | else |
||
4153 | mejdrech | 88 | panic("No eoi_function."); |
1956 | decky | 89 | |
90 | } |
||
91 | |||
92 | static void null_interrupt(int n, istate_t *istate) |
||
93 | { |
||
4153 | mejdrech | 94 | fault_if_from_uspace(istate, "Unserviced interrupt: %d.", n); |
1595 | palkovsky | 95 | |
1956 | decky | 96 | decode_istate(istate); |
4153 | mejdrech | 97 | panic("Unserviced interrupt: %d.", n); |
1 | jermar | 98 | } |
99 | |||
1256 | jermar | 100 | /** General Protection Fault. */ |
2439 | decky | 101 | static void gp_fault(int n __attribute__((unused)), istate_t *istate) |
1 | jermar | 102 | { |
1256 | jermar | 103 | if (TASK) { |
4581 | mejdrech | 104 | size_t ver; |
1256 | jermar | 105 | |
106 | spinlock_lock(&TASK->lock); |
||
107 | ver = TASK->arch.iomapver; |
||
108 | spinlock_unlock(&TASK->lock); |
||
109 | |||
110 | if (CPU->arch.iomapver_copy != ver) { |
||
111 | /* |
||
112 | * This fault can be caused by an early access |
||
113 | * to I/O port because of an out-dated |
||
114 | * I/O Permission bitmap installed on CPU. |
||
115 | * Install the fresh copy and restart |
||
116 | * the instruction. |
||
117 | */ |
||
118 | io_perm_bitmap_install(); |
||
119 | return; |
||
120 | } |
||
4153 | mejdrech | 121 | fault_if_from_uspace(istate, "General protection fault."); |
1256 | jermar | 122 | } |
123 | |||
1956 | decky | 124 | decode_istate(istate); |
4153 | mejdrech | 125 | panic("General protection fault."); |
1 | jermar | 126 | } |
127 | |||
2439 | decky | 128 | static void ss_fault(int n __attribute__((unused)), istate_t *istate) |
84 | vana | 129 | { |
4153 | mejdrech | 130 | fault_if_from_uspace(istate, "Stack fault."); |
1595 | palkovsky | 131 | |
1956 | decky | 132 | decode_istate(istate); |
4153 | mejdrech | 133 | panic("Stack fault."); |
84 | vana | 134 | } |
135 | |||
2439 | decky | 136 | static void simd_fp_exception(int n __attribute__((unused)), istate_t *istate) |
1019 | vana | 137 | { |
1780 | jermar | 138 | uint32_t mxcsr; |
2107 | jermar | 139 | asm ( |
4153 | mejdrech | 140 | "stmxcsr %[mxcsr]\n" |
141 | : [mxcsr] "=m" (mxcsr) |
||
1019 | vana | 142 | ); |
4153 | mejdrech | 143 | fault_if_from_uspace(istate, "SIMD FP exception(19), MXCSR: %#zx.", |
2439 | decky | 144 | (unative_t) mxcsr); |
4153 | mejdrech | 145 | |
1956 | decky | 146 | decode_istate(istate); |
2439 | decky | 147 | printf("MXCSR: %#lx\n", mxcsr); |
4153 | mejdrech | 148 | panic("SIMD FP exception(19)."); |
1019 | vana | 149 | } |
150 | |||
2439 | decky | 151 | static void nm_fault(int n __attribute__((unused)), istate_t *istate __attribute__((unused))) |
73 | vana | 152 | { |
458 | decky | 153 | #ifdef CONFIG_FPU_LAZY |
309 | palkovsky | 154 | scheduler_fpu_lazy_request(); |
155 | #else |
||
4153 | mejdrech | 156 | fault_if_from_uspace(istate, "FPU fault."); |
157 | panic("FPU fault."); |
||
309 | palkovsky | 158 | #endif |
73 | vana | 159 | } |
160 | |||
1956 | decky | 161 | #ifdef CONFIG_SMP |
2439 | decky | 162 | static void tlb_shootdown_ipi(int n __attribute__((unused)), istate_t *istate __attribute__((unused))) |
1 | jermar | 163 | { |
1956 | decky | 164 | trap_virtual_eoi(); |
165 | tlb_shootdown_ipi_recv(); |
||
1 | jermar | 166 | } |
1956 | decky | 167 | #endif |
1 | jermar | 168 | |
1956 | decky | 169 | /** Handler of IRQ exceptions */ |
2439 | decky | 170 | static void irq_interrupt(int n, istate_t *istate __attribute__((unused))) |
5 | jermar | 171 | { |
1956 | decky | 172 | ASSERT(n >= IVT_IRQBASE); |
173 | |||
174 | int inum = n - IVT_IRQBASE; |
||
2218 | decky | 175 | bool ack = false; |
1956 | decky | 176 | ASSERT(inum < IRQ_COUNT); |
177 | ASSERT((inum != IRQ_PIC_SPUR) && (inum != IRQ_PIC1)); |
||
2218 | decky | 178 | |
1956 | decky | 179 | irq_t *irq = irq_dispatch_and_lock(inum); |
180 | if (irq) { |
||
181 | /* |
||
182 | * The IRQ handler was found. |
||
183 | */ |
||
2218 | decky | 184 | |
185 | if (irq->preack) { |
||
186 | /* Send EOI before processing the interrupt */ |
||
187 | trap_virtual_eoi(); |
||
188 | ack = true; |
||
189 | } |
||
4153 | mejdrech | 190 | irq->handler(irq); |
1956 | decky | 191 | spinlock_unlock(&irq->lock); |
192 | } else { |
||
193 | /* |
||
194 | * Spurious interrupt. |
||
195 | */ |
||
196 | #ifdef CONFIG_DEBUG |
||
2439 | decky | 197 | printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, inum); |
1956 | decky | 198 | #endif |
199 | } |
||
2218 | decky | 200 | |
201 | if (!ack) |
||
202 | trap_virtual_eoi(); |
||
5 | jermar | 203 | } |
204 | |||
1956 | decky | 205 | void interrupt_init(void) |
206 | { |
||
207 | int i; |
||
208 | |||
209 | for (i = 0; i < IVT_ITEMS; i++) |
||
210 | exc_register(i, "null", (iroutine) null_interrupt); |
||
211 | |||
212 | for (i = 0; i < IRQ_COUNT; i++) { |
||
213 | if ((i != IRQ_PIC_SPUR) && (i != IRQ_PIC1)) |
||
214 | exc_register(IVT_IRQBASE + i, "irq", (iroutine) irq_interrupt); |
||
215 | } |
||
216 | |||
217 | exc_register(7, "nm_fault", (iroutine) nm_fault); |
||
218 | exc_register(12, "ss_fault", (iroutine) ss_fault); |
||
219 | exc_register(13, "gp_fault", (iroutine) gp_fault); |
||
220 | exc_register(19, "simd_fp", (iroutine) simd_fp_exception); |
||
221 | |||
222 | #ifdef CONFIG_SMP |
||
223 | exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", (iroutine) tlb_shootdown_ipi); |
||
224 | #endif |
||
225 | } |
||
226 | |||
1780 | jermar | 227 | void trap_virtual_enable_irqs(uint16_t irqmask) |
1 | jermar | 228 | { |
229 | if (enable_irqs_function) |
||
230 | enable_irqs_function(irqmask); |
||
231 | else |
||
4153 | mejdrech | 232 | panic("No enable_irqs_function."); |
1 | jermar | 233 | } |
234 | |||
1780 | jermar | 235 | void trap_virtual_disable_irqs(uint16_t irqmask) |
1 | jermar | 236 | { |
237 | if (disable_irqs_function) |
||
238 | disable_irqs_function(irqmask); |
||
239 | else |
||
4153 | mejdrech | 240 | panic("No disable_irqs_function."); |
1 | jermar | 241 | } |
242 | |||
1703 | jermar | 243 | /** @} |
1702 | cejka | 244 | */ |