Rev 4339 | Rev 4342 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4339 | Rev 4341 | ||
|---|---|---|---|
| Line 148... | Line 148... | ||
| 148 | fault_if_from_uspace(istate, "FPU fault."); |
148 | fault_if_from_uspace(istate, "FPU fault."); |
| 149 | panic("FPU fault."); |
149 | panic("FPU fault."); |
| 150 | #endif |
150 | #endif |
| 151 | } |
151 | } |
| 152 | 152 | ||
| - | 153 | #ifdef CONFIG_SMP |
|
| 153 | static void tlb_shootdown_ipi(int n, istate_t *istate) |
154 | static void tlb_shootdown_ipi(int n, istate_t *istate) |
| 154 | { |
155 | { |
| 155 | trap_virtual_eoi(); |
156 | trap_virtual_eoi(); |
| 156 | tlb_shootdown_ipi_recv(); |
157 | tlb_shootdown_ipi_recv(); |
| 157 | } |
158 | } |
| - | 159 | #endif |
|
| 158 | 160 | ||
| 159 | /** Handler of IRQ exceptions */ |
161 | /** Handler of IRQ exceptions */ |
| 160 | static void irq_interrupt(int n, istate_t *istate) |
162 | static void irq_interrupt(int n, istate_t *istate) |
| 161 | { |
163 | { |
| 162 | ASSERT(n >= IVT_IRQBASE); |
164 | ASSERT(n >= IVT_IRQBASE); |