| 94,15 → 94,15 |
|---|
| if (eoi_function) |
| eoi_function(); |
| else |
| panic("no eoi_function\n"); |
| panic("No eoi_function."); |
| |
| } |
| |
| static void null_interrupt(int n, istate_t *istate) |
| { |
| fault_if_from_uspace(istate, "Unserviced interrupt: %d", n); |
| fault_if_from_uspace(istate, "Unserviced interrupt: %d.", n); |
| decode_istate(n, istate); |
| panic("Unserviced interrupt\n"); |
| panic("Unserviced interrupt."); |
| } |
| |
| /** General Protection Fault. */ |
| 126,18 → 126,18 |
|---|
| io_perm_bitmap_install(); |
| return; |
| } |
| fault_if_from_uspace(istate, "General protection fault"); |
| fault_if_from_uspace(istate, "General protection fault."); |
| } |
| |
| decode_istate(n, istate); |
| panic("General protection fault\n"); |
| panic("General protection fault."); |
| } |
| |
| static void ss_fault(int n, istate_t *istate) |
| { |
| fault_if_from_uspace(istate, "Stack fault"); |
| fault_if_from_uspace(istate, "Stack fault."); |
| decode_istate(n, istate); |
| panic("Stack fault\n"); |
| panic("Stack fault."); |
| } |
| |
| static void nm_fault(int n, istate_t *istate) |
| 145,8 → 145,8 |
|---|
| #ifdef CONFIG_FPU_LAZY |
| scheduler_fpu_lazy_request(); |
| #else |
| fault_if_from_uspace(istate, "FPU fault"); |
| panic("FPU fault"); |
| fault_if_from_uspace(istate, "FPU fault."); |
| panic("FPU fault."); |
| #endif |
| } |
| |
| 221,7 → 221,7 |
|---|
| if (enable_irqs_function) |
| enable_irqs_function(irqmask); |
| else |
| panic("no enable_irqs_function\n"); |
| panic("No enable_irqs_function."); |
| } |
| |
| void trap_virtual_disable_irqs(uint16_t irqmask) |
| 229,7 → 229,7 |
|---|
| if (disable_irqs_function) |
| disable_irqs_function(irqmask); |
| else |
| panic("no disable_irqs_function\n"); |
| panic("No disable_irqs_function."); |
| } |
| |
| /** @} |