Rev 3851 | Rev 3890 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3851 | Rev 3880 | ||
---|---|---|---|
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 |