2013-11-24 13:50:17 -05:00
|
|
|
#include <generated/csr.h>
|
2013-07-11 13:03:45 -04:00
|
|
|
#include <irq.h>
|
|
|
|
|
#include <uart.h>
|
|
|
|
|
|
|
|
|
|
void isr(void);
|
|
|
|
|
void isr(void)
|
|
|
|
|
{
|
|
|
|
|
unsigned int irqs;
|
|
|
|
|
|
|
|
|
|
irqs = irq_pending() & irq_getmask();
|
|
|
|
|
|
|
|
|
|
if(irqs & (1 << UART_INTERRUPT))
|
|
|
|
|
uart_isr();
|
|
|
|
|
}
|
