Changeset 107

Timestamp:

Jun 30, 2017, 9:28:00 AM (7 years ago)

Author:

max@…

Message:

reorder the code a bit, to reduce the (future) diff with x86

File:

• trunk/hal/tsar_mips32/core/hal_ppm.c (modified) (4 diffs)

trunk/hal/tsar_mips32/core/hal_ppm.c

@@ -1 +1 @@
 /*
- * hal_ppm.c - Generic Physical Page Table API implementation for TSAR
+ * hal_ppm.c - Generic Physical Page Manager API implementation for TSAR
  *
  * Authors  Alain Greiner (2016,2017)
@@ -49 +49 @@
 
         // get relevant info from boot_info structure
-        uint32_t   pages_nr         = info->pages_nr;
-        uint32_t   pages_tbl_offset = info->pages_offset;
-        uint32_t   rsvd_nr          = info->rsvd_nr;
+        uint32_t pages_nr         = info->pages_nr;
+        uint32_t pages_tbl_offset = info->pages_offset;
+        uint32_t rsvd_nr          = info->rsvd_nr;
 
         // check no reserved zones other than kernel code for TSAR
@@ -75 +75 @@
         list_root_init( &ppm->dirty_root );
 
-        // initialize pages_nr, pages_tbl, and vaddr_base pointers
-        // (TSAR uses identity mapping for kernel pointers)
-        // x86 architectures should use vaddr_base = 0xFFFF8000000000 + (cxy << 36)
-        ppm->pages_nr      = pages_nr;
-        ppm->vaddr_base = NULL;
-        ppm->pages_tbl  = (page_t*)( ppm->vaddr_base +
-                                     (pages_tbl_offset << CONFIG_PPM_PAGE_SHIFT) );
-
         // compute size of pages_tbl[] array rounded to an integer number of pages
         uint32_t bytes = ARROUND_UP( pages_nr * sizeof(page_t), CONFIG_PPM_PAGE_SIZE );
@@ -91 +83 @@
         // compute total number of reserved pages (kernel code & pages_tbl[])
         uint32_t reserved_pages = pages_tbl_offset + pages_tbl_nr;
+
+        // initialize pages_nr, pages_tbl, and vaddr_base pointers
+        // (TSAR uses identity mapping for kernel pointers)
+        // x86 architectures should use vaddr_base = 0xFFFF8000000000 + (cxy << 36)
+        ppm->pages_nr   = pages_nr;
+        ppm->vaddr_base = NULL;
+        ppm->pages_tbl  = (page_t*)( ppm->vaddr_base +
+                                     (pages_tbl_offset << CONFIG_PPM_PAGE_SHIFT) );
 
         // initialize all page descriptors in pages_tbl[]