#ifndef _IRQ_HANDLER_H
#define _IRQ_HANDLER_H

/*
 * Interrupt Vector Table (indexed by interrupt index)
 *
 * 32 entries corresponding to 32 ISR addresses
 */

typedef void (*_isr_func_t)(void);
extern _isr_func_t _interrupt_vector[32];

/*
 * Prototypes of the Interrupt Service Routines (ISRs) supported by the GIET.
 * - they must be installed in reset.s
 */

void _isr_default();

void _isr_dma_0();
void _isr_dma_1();
void _isr_dma_2();
void _isr_dma_3();
void _isr_dma_4();
void _isr_dma_5();
void _isr_dma_6();
void _isr_dma_7();

void _isr_ioc();

void _isr_timer_0();
void _isr_timer_1();
void _isr_timer_2();
void _isr_timer_3();
void _isr_timer_4();
void _isr_timer_5();
void _isr_timer_6();
void _isr_timer_7();

void _isr_tty_get();
void _isr_tty_get_0();
void _isr_tty_get_1();
void _isr_tty_get_2();
void _isr_tty_get_3();
void _isr_tty_get_4();
void _isr_tty_get_5();
void _isr_tty_get_6();
void _isr_tty_get_7();
void _isr_tty_get_8();
void _isr_tty_get_9();
void _isr_tty_get_10();
void _isr_tty_get_11();
void _isr_tty_get_12();
void _isr_tty_get_13();
void _isr_tty_get_14();
void _isr_tty_get_15();

void _isr_switch();

#endif