Changeset 188 for trunk/tools/arch_info

Timestamp:

Jul 12, 2017, 8:12:41 PM (7 years ago)

Author:

alain

Message:

Redefine the PIC device API.

File:

• trunk/tools/arch_info/boot_info.h (modified) (3 diffs)

trunk/tools/arch_info/boot_info.h

@@ -54 +54 @@
 typedef struct boot_irq_s 
 {
-    uint32_t    dev_type;             /*! source device functionnal type                    */
+    uint32_t    dev_type;             /*! source device functional type                     */
     uint8_t     channel;              /*! source device channel index                       */
     uint8_t     is_rx;                /*! source device direction                           */
@@ -65 +65 @@
  * This structure defines all informations associated to a device in a given cluster.
  * There is one device descriptor per peripheral channel.
+ * The base address can be physical or virtual depending on the hardware architecture.
  ********************************************************************************************/
 
 typedef struct boot_device_s
 {
-    uint64_t    base;                 /*! segment physical base address                     */
+    uint64_t    base;                 /*! segment base address                              */
     uint32_t    type;                 /*! peripheral type (func | impl)                     */
     uint32_t    channels;             /*! number of channels                                */
@@ -125 +126 @@
     uint32_t      rsvd_nr;                       /*! number of reserved zones               */
     boot_rsvd_t   rsvd[CONFIG_PPM_MAX_RSVD];     /*! array of reserved zones                */
-        boot_device_t dev_icu;                       /*! embedded ICU peripheral                */
-        boot_device_t dev_mmc;                       /*! embedded MMC peripheral                */
-        boot_device_t dev_dma;                       /*! embedded DMA peripheral                */
+
+    uint32_t      int_dev_nr;                    /*! number of internal peripherals         */
+    boot_device_t int_dev[CONFIG_MAX_INT_DEV];   /*! array of internal peripherals          */
 
     uint32_t      pages_offset;                  /*! first free page index (after kernel)   */