| /kernel/trunk/arch/ppc32/src/interrupt.c |
|---|
| 32,6 → 32,7 |
| #include <arch.h> |
| #include <time/clock.h> |
| #include <ipc/sysipc.h> |
| #include <arch/drivers/pic.h> |
| void start_decrementer(void) |
| 64,3 → 65,15 |
| panic("not implemented\n"); |
| /* TODO */ |
| } |
| #include <print.h> |
| /** Handler of externul interrupts */ |
| void extint_handler(int n, istate_t *istate) |
| { |
| int inum; |
| while ((inum = pic_get_pending()) != -1) { |
| exc_dispatch(inum+INT_OFFSET, istate); |
| pic_ack_interrupt(inum); |
| } |
| } |