| 32,7 → 32,6 |
|---|
| /** @file |
| */ |
| |
| #include <ddi/irq.h> |
| #include <interrupt.h> |
| #include <arch/interrupt.h> |
| #include <arch/types.h> |
| 39,9 → 38,6 |
|---|
| #include <arch.h> |
| #include <time/clock.h> |
| #include <ipc/sysipc.h> |
| #include <arch/drivers/pic.h> |
| #include <arch/mm/tlb.h> |
| #include <print.h> |
| |
| |
| void start_decrementer(void) |
| 54,32 → 50,6 |
|---|
| } |
| |
| |
| /** Handler of external interrupts */ |
| static void exception_external(int n, istate_t *istate) |
| { |
| int inum; |
| |
| while ((inum = pic_get_pending()) != -1) { |
| irq_t *irq = irq_dispatch_and_lock(inum); |
| if (irq) { |
| /* |
| * The IRQ handler was found. |
| */ |
| irq->handler(irq, irq->arg); |
| spinlock_unlock(&irq->lock); |
| } else { |
| /* |
| * Spurious interrupt. |
| */ |
| #ifdef CONFIG_DEBUG |
| printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum); |
| #endif |
| } |
| pic_ack_interrupt(inum); |
| } |
| } |
| |
| |
| static void exception_decrementer(int n, istate_t *istate) |
| { |
| clock(); |
| 90,9 → 60,16 |
|---|
| /* Initialize basic tables for exception dispatching */ |
| void interrupt_init(void) |
| { |
| exc_register(VECTOR_EXTERNAL, "external", exception_external); |
| exc_register(VECTOR_DECREMENTER, "timer", exception_decrementer); |
| } |
| |
| |
| /* Reregister irq to be IPC-ready */ |
| void irq_ipc_bind_arch(unative_t irq) |
| { |
| panic("not implemented\n"); |
| /* TODO */ |
| } |
| |
| /** @} |
| */ |