Changeset 167 for soft/giet_vm/sys/irq_handler.c

Timestamp:

Jul 16, 2012, 10:26:27 AM (12 years ago)

Author:

alain

Message:

Fix several bugs to use the vci_block_device with MMU activated

File:

• soft/giet_vm/sys/irq_handler.c (modified) (1 diff)

soft/giet_vm/sys/irq_handler.c

@@ -23 +23 @@
 ///////////////////////////////////////////////////////////////////////////////////
 
-_isr_func_t _interrupt_vector[32] = { [0 ... 31] = &_isr_default };
+__attribute__((section (".kdata"))) _isr_func_t _interrupt_vector[32] = 
+                                                  { [0 ... 31] = &_isr_default };
 
 ///////////////////////////////////////////////////////////////////////////////////