Changeset 547 for soft/giet_vm/giet_kernel/irq_handler.h

Timestamp:

Apr 5, 2015, 12:09:09 AM (9 years ago)

Author:

alain

Message:

Move the peripheral initialisation from the boot.c to the kernel_init.c

File:

• soft/giet_vm/giet_kernel/irq_handler.h (modified) (2 diffs)

soft/giet_vm/giet_kernel/irq_handler.h

@@ -31 +31 @@
     ISR_MMC     = 10,
     ISR_DMA     = 11,
-    ISR_SPI     = 12,
+    ISR_SDC     = 12,
     ISR_MWR     = 13,
     ISR_HBA     = 14,
@@ -47 +47 @@
 extern unsigned char _wti_alloc_two[X_SIZE][Y_SIZE][NB_PROCS_MAX];
 extern unsigned char _wti_alloc_ter[X_SIZE][Y_SIZE][NB_PROCS_MAX];
+
+// ISR type names
+extern char* _isr_type_str[GIET_ISR_TYPE_MAX];
+
+// IRQ type names
+extern char* _irq_type_str[3];
 
 ///////////////////////////////////////////////////////////////////////////