source: soft/giet_vm/sys/irq_handler.h @ 158

Last change on this file since 158 was 158, checked in by alain, 12 years ago

Introducing the giet_vm and some example applications

File size: 927 bytes
Line 
1#ifndef _IRQ_HANDLER_H
2#define _IRQ_HANDLER_H
3
4/*
5 * Interrupt Vector Table (indexed by interrupt index)
6 *
7 * 32 entries corresponding to 32 ISR addresses
8 */
9
10typedef void (*_isr_func_t)(void);
11extern _isr_func_t _interrupt_vector[32];
12
13/*
14 * Prototypes of the Interrupt Service Routines (ISRs) supported by the GIET.
15 * - they must be installed in reset.s
16 */
17
18void _isr_default();
19
20void _isr_dma();
21
22void _isr_ioc();
23
24void _isr_timer0();
25void _isr_timer1();
26void _isr_timer2();
27void _isr_timer3();
28
29void _isr_tty_get();
30void _isr_tty_get_0();
31void _isr_tty_get_1();
32void _isr_tty_get_2();
33void _isr_tty_get_3();
34void _isr_tty_get_4();
35void _isr_tty_get_5();
36void _isr_tty_get_6();
37void _isr_tty_get_7();
38void _isr_tty_get_8();
39void _isr_tty_get_9();
40void _isr_tty_get_10();
41void _isr_tty_get_11();
42void _isr_tty_get_12();
43void _isr_tty_get_13();
44void _isr_tty_get_14();
45void _isr_tty_get_15();
46
47void _isr_switch();
48
49#endif
Note: See TracBrowser for help on using the repository browser.