Changeset 50 for trunk/tools/arch_info

Timestamp:

Jun 26, 2017, 3:15:11 PM (7 years ago)

Author:

alain

Message:

bloup

File:

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

trunk/tools/arch_info/boot_info.h

@@ -2 +2 @@
  * boot_info.h - informations passed by the bootloader to the kernel in each cluster.
  *
- * Author  Alain Greiner (june 2016)
+ * Author  Alain Greiner (june 2016,2017)
  *
  * Copyright (c) UPMC Sorbonne Universites
@@ -82 +82 @@
 
 /*********************************************************************************************
+ * This structure defines a reserved zone in the physical address space of a given cluster.
+ * A reserved zone is described as a set of contiguous small pages (4 Kbytes) covering the
+ * reserved zone, that must be considered already allocated.
+ ********************************************************************************************/
+
+typedef struct boot_rsvd_s
+{
+    ppn_t      first_page;            /*! first physical page index in cluster              */ 
+    uint32_t   npages;                /*! number of small pages                             */
+}
+boot_rsvd_t;
+
+/*********************************************************************************************
  * This structure defines the interface between the boot-loader and the kernel.
  * In each cluster, the boot core build a local boot_info_t structure containing
@@ -110 +123 @@
         uint32_t      cores_nr;                      /*! number of local cores in               */
     boot_core_t   core[CONFIG_MAX_LOCAL_CORES];  /*! array of core descriptors              */  
+    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      pages_nr;                      /*! number of 4 Kbytes pages               */
-    uint32_t      pages_offset;                  /*! number of pages allocated for kernel   */
+    uint32_t      pages_offset;                  /*! first free page index (after kernel)   */
+    uint32_t      pages_nr;                      /*! total number of physical pages in RAM  */
 
     // kernel segments
 
-    intptr_t      kernel_code_start;             /*! kernel code base address               */
-    intptr_t      kernel_code_end;               /*! kernel code last address (excluded)    */
-    intptr_t      kernel_data_start;             /*! kernel data base address               */
-    intptr_t      kernel_data_end;               /*! kernel data last address (excluded)    */
+    intptr_t      kernel_code_start;             /*! kernel code base paddr                 */
+    intptr_t      kernel_code_end;               /*! kernel code last paddr (excluded)      */
+    intptr_t      kernel_data_start;             /*! kernel data base paddr                 */
+    intptr_t      kernel_data_end;               /*! kernel data last paddr (excluded)      */
 }
 boot_info_t;