Rev 4341 | Rev 4343 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4341 | Rev 4342 | ||
|---|---|---|---|
| Line 140... | Line 140... | ||
| 140 | panic("Stack fault."); |
140 | panic("Stack fault."); |
| 141 | } |
141 | } |
| 142 | 142 | ||
| 143 | static void nm_fault(int n, istate_t *istate) |
143 | static void nm_fault(int n, istate_t *istate) |
| 144 | { |
144 | { |
| 145 | #ifdef CONFIG_FPU_LAZY |
145 | #ifdef CONFIG_FPU_LAZY |
| 146 | scheduler_fpu_lazy_request(); |
146 | scheduler_fpu_lazy_request(); |
| 147 | #else |
147 | #else |
| 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 |