Rev 4339 | Rev 4343 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4339 | Rev 4342 | ||
---|---|---|---|
Line 192... | Line 192... | ||
192 | panic("General Exception (%s).", desc); |
192 | panic("General Exception (%s).", desc); |
193 | } |
193 | } |
194 | 194 | ||
195 | void disabled_fp_register(uint64_t vector, istate_t *istate) |
195 | void disabled_fp_register(uint64_t vector, istate_t *istate) |
196 | { |
196 | { |
197 | #ifdef CONFIG_FPU_LAZY |
197 | #ifdef CONFIG_FPU_LAZY |
198 | scheduler_fpu_lazy_request(); |
198 | scheduler_fpu_lazy_request(); |
199 | #else |
199 | #else |
200 | fault_if_from_uspace(istate, "Interruption: %#hx (%s).", |
200 | fault_if_from_uspace(istate, "Interruption: %#hx (%s).", |
201 | (uint16_t) vector, vector_to_string(vector)); |
201 | (uint16_t) vector, vector_to_string(vector)); |
202 | dump_interrupted_context(istate); |
202 | dump_interrupted_context(istate); |
203 | panic("Interruption: %#hx (%s).", (uint16_t) vector, |
203 | panic("Interruption: %#hx (%s).", (uint16_t) vector, |
Line 299... | Line 299... | ||
299 | } |
299 | } |
300 | break; |
300 | break; |
301 | } |
301 | } |
302 | } |
302 | } |
303 | 303 | ||
- | 304 | void trap_virtual_enable_irqs(uint16_t irqmask) |
|
- | 305 | { |
|
- | 306 | } |
|
- | 307 | ||
304 | /** @} |
308 | /** @} |
305 | */ |
309 | */ |