/**************************************************************************************
    File : isr.h
    Written by Alain Greiner
    Date : April 2011

    The Interrupt Service Routine (ISR) supported by the GIET are:
**************************************************************************************/

void _isr_dma();

void _isr_ioc();

void _isr_timer0();
void _isr_timer1();
void _isr_timer2();
void _isr_timer3();

void _isr_tty_get();
void _isr_tty_get_task0();
void _isr_tty_get_task1();
void _isr_tty_get_task2();
void _isr_tty_get_task3();

void _isr_switch();