Changeset 811 for soft/giet_vm/giet_kernel

Timestamp:

Mar 24, 2016, 1:08:31 PM (9 years ago)

Author:

bouyer

Message:

Do not try to allocate a WTI and write it to the PIC if we don't have a PIC.

File:

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

soft/giet_vm/giet_kernel/irq_handler.c

@@ -152 +152 @@
                      unsigned int*  wti_index )
 {
+#if USE_PIC
     unsigned int wti_id;        // allocated WTI mailbox index in XCU
     unsigned int irq_id;        // external IRQ index in PIC (input)
@@ -230 +231 @@
         wti_id , _isr_type_str[isr_type] , isr_channel , irq_id );
 #endif
-
+#endif // USE_PIC
 }  // end ext_irq_alloc()