| /trunk/kernel/arch/ia64/src/interrupt.c |
|---|
| 186,8 → 186,6 |
| panic("General Exception (%s)\n", desc); |
| } |
| void fpu_enable(void); |
| void disabled_fp_register(uint64_t vector, istate_t *istate) |
| { |
| #ifdef CONFIG_FPU_LAZY |
| 205,7 → 203,6 |
| } |
| /** Handle syscall. */ |
| int break_instruction(uint64_t vector, istate_t *istate) |
| { |
| 258,7 → 255,8 |
| { |
| switch(irq) { |
| case IRQ_KBD: |
| if(kbd_uspace) ipc_irq_send_notif(irq); |
| if (kbd_uspace) |
| ipc_irq_send_notif(irq); |
| break; |
| default: |
| panic("\nUnhandled Virtual Interrupt request %d\n", irq); |
| 280,4 → 278,3 |
| /** @} |
| */ |