1 #include <generated/csr.h>
5 #include "dvisampler0.h"
6 #include "dvisampler1.h"
13 irqs
= irq_pending() & irq_getmask();
15 if(irqs
& (1 << UART_INTERRUPT
))
17 if(irqs
& (1 << DVISAMPLER0_INTERRUPT
))
19 if(irqs
& (1 << DVISAMPLER1_INTERRUPT
))