Ignore:
Timestamp:
Oct 5, 2018, 10:54:14 AM (4 years ago)
Author:
alain
Message:

Fix small bugs.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/kern/kernel_init.c

    r564 r577  
    699699
    700700    // register input IRQ index for valid inputs
    701     uint32_t   id;         // input IRQ index
    702     uint8_t    valid;      // input IRQ is connected
    703     uint32_t   type;       // source device type
    704     uint8_t    channel;    // source device channel
    705     uint8_t    is_rx;      // source device direction
    706     uint32_t * ptr;        // local pointer on one field in iopic_input stucture
     701    uint32_t   id;             // input IRQ index
     702    uint8_t    valid;          // input IRQ is connected
     703    uint32_t   type;           // source device type
     704    uint8_t    channel;        // source device channel
     705    uint8_t    is_rx;          // source device direction
     706    uint32_t * ptr = NULL;     // local pointer on one field in iopic_input stucture
    707707
    708708    for( id = 0 ; id < CONFIG_MAX_EXTERNAL_IRQS ; id++ )
Note: See TracChangeset for help on using the changeset viewer.