Rev 4339 | Rev 4342 | Go to most recent revision | Show entire file | Regard 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); |