Changeset 577 for trunk/kernel/kern

Timestamp:

Oct 5, 2018, 10:54:14 AM (6 years ago)

Author:

alain

Message:

Fix small bugs.

File:

• trunk/kernel/kern/kernel_init.c (modified) (1 diff)

trunk/kernel/kern/kernel_init.c

@@ -699 +699 @@
 
     // register input IRQ index for valid inputs 
-    uint32_t   id;         // input IRQ index
-    uint8_t    valid;      // input IRQ is connected
-    uint32_t   type;       // source device type
-    uint8_t    channel;    // source device channel
-    uint8_t    is_rx;      // source device direction
-    uint32_t * ptr;        // local pointer on one field in iopic_input stucture
+    uint32_t   id;             // input IRQ index
+    uint8_t    valid;          // input IRQ is connected
+    uint32_t   type;           // source device type
+    uint8_t    channel;        // source device channel
+    uint8_t    is_rx;          // source device direction
+    uint32_t * ptr = NULL;     // local pointer on one field in iopic_input stucture
 
     for( id = 0 ; id < CONFIG_MAX_EXTERNAL_IRQS ; id++ )