Changeset 188 for trunk/tools/arch_info


Ignore:
Timestamp:
Jul 12, 2017, 8:12:41 PM (5 years ago)
Author:
alain
Message:

Redefine the PIC device API.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/tools/arch_info/boot_info.h

    r50 r188  
    5454typedef struct boot_irq_s
    5555{
    56     uint32_t    dev_type;             /*! source device functionnal type                    */
     56    uint32_t    dev_type;             /*! source device functional type                     */
    5757    uint8_t     channel;              /*! source device channel index                       */
    5858    uint8_t     is_rx;                /*! source device direction                           */
     
    6565 * This structure defines all informations associated to a device in a given cluster.
    6666 * There is one device descriptor per peripheral channel.
     67 * The base address can be physical or virtual depending on the hardware architecture.
    6768 ********************************************************************************************/
    6869
    6970typedef struct boot_device_s
    7071{
    71     uint64_t    base;                 /*! segment physical base address                     */
     72    uint64_t    base;                 /*! segment base address                              */
    7273    uint32_t    type;                 /*! peripheral type (func | impl)                     */
    7374    uint32_t    channels;             /*! number of channels                                */
     
    125126    uint32_t      rsvd_nr;                       /*! number of reserved zones               */
    126127    boot_rsvd_t   rsvd[CONFIG_PPM_MAX_RSVD];     /*! array of reserved zones                */
    127         boot_device_t dev_icu;                       /*! embedded ICU peripheral                */
    128         boot_device_t dev_mmc;                       /*! embedded MMC peripheral                */
    129         boot_device_t dev_dma;                       /*! embedded DMA peripheral                */
     128
     129    uint32_t      int_dev_nr;                    /*! number of internal peripherals         */
     130    boot_device_t int_dev[CONFIG_MAX_INT_DEV];   /*! array of internal peripherals          */
    130131
    131132    uint32_t      pages_offset;                  /*! first free page index (after kernel)   */
Note: See TracChangeset for help on using the changeset viewer.