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

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

Introducing various modifications in kernel initialisation

File size: 1.1 KB
RevLine 
[158]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
[165]20void _isr_dma_0();
21void _isr_dma_1();
22void _isr_dma_2();
23void _isr_dma_3();
24void _isr_dma_4();
25void _isr_dma_5();
26void _isr_dma_6();
27void _isr_dma_7();
[158]28
29void _isr_ioc();
30
[165]31void _isr_timer_0();
32void _isr_timer_1();
33void _isr_timer_2();
34void _isr_timer_3();
35void _isr_timer_4();
36void _isr_timer_5();
37void _isr_timer_6();
38void _isr_timer_7();
[158]39
40void _isr_tty_get();
41void _isr_tty_get_0();
42void _isr_tty_get_1();
43void _isr_tty_get_2();
44void _isr_tty_get_3();
45void _isr_tty_get_4();
46void _isr_tty_get_5();
47void _isr_tty_get_6();
48void _isr_tty_get_7();
49void _isr_tty_get_8();
50void _isr_tty_get_9();
51void _isr_tty_get_10();
52void _isr_tty_get_11();
53void _isr_tty_get_12();
54void _isr_tty_get_13();
55void _isr_tty_get_14();
56void _isr_tty_get_15();
57
58void _isr_switch();
59
60#endif
Note: See TracBrowser for help on using the repository browser.