2013-04-14 10:33:00 -04:00
|
|
|
#include <hw/csr.h>
|
2013-03-21 05:42:31 -04:00
|
|
|
#include <irq.h>
|
|
|
|
#include <uart.h>
|
|
|
|
|
2013-05-09 04:52:43 -04:00
|
|
|
void dvisampler0_isr(void); // FIXME
|
|
|
|
|
2013-03-21 05:42:31 -04:00
|
|
|
void isr(void);
|
|
|
|
void isr(void)
|
|
|
|
{
|
|
|
|
unsigned int irqs;
|
|
|
|
|
|
|
|
irqs = irq_pending() & irq_getmask();
|
|
|
|
|
|
|
|
if(irqs & (1 << UART_INTERRUPT))
|
|
|
|
uart_isr();
|
2013-05-09 04:52:43 -04:00
|
|
|
if(irqs & (1 << DVISAMPLER0_INTERRUPT))
|
|
|
|
dvisampler0_isr();
|
2013-03-21 05:42:31 -04:00
|
|
|
}
|