/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); |
} |
} |