Changeset 633 for trunk/hal

Timestamp:

May 28, 2019, 6:10:15 PM (6 years ago)

Author:

alain

Message:

cosmetic

Location:

trunk/hal/tsar_mips32/core

Files:

• hal_gpt.c (modified) (7 diffs)
• hal_vmm.c (modified) (2 diffs)

trunk/hal/tsar_mips32/core/hal_gpt.c

@@ -346 +346 @@
 
 #if GPT_LOCK_WATCHDOG
-    uint32_t count;
+    uint32_t count = 0;
 #endif
 
@@ -391 +391 @@
             page_xp = ppm_remote_alloc_pages( gpt_cxy , 0 );
 
-            if( page_xp == NULL )
+            if( page_xp == XPTR_NULL )
             {
                 printk("\n[ERROR] in %s : cannot allocate memory for PT2\n", __FUNCTION__ );
@@ -445 +445 @@
 
     // get pointer on PT2 base from PTD1 
-        pt2_ppn = TSAR_MMU_PTBA_FROM_PTE1( ptd1 );
-        pt2_ptr = GET_PTR( ppm_ppn2base( pt2_ppn ) );
+    pt2_ppn = TSAR_MMU_PTBA_FROM_PTE1( ptd1 );
+    pt2_ptr = GET_PTR( ppm_ppn2base( pt2_ppn ) );
 
     // build extended pointers on PT2[ix2].attr  
@@ -461 +461 @@
         // wait until PTE lock released by the current owner
         do
-                {
-                        pte2_attr = hal_remote_l32( pte2_xp );
+        {
+            pte2_attr = hal_remote_l32( pte2_xp );
 
 #if GPT_LOCK_WATCHDOG
@@ -475 +475 @@
 #endif
       
-                }
+        }
         while( (pte2_attr & TSAR_PTE_LOCKED) != 0 );
 
@@ -482 +482 @@
                                         pte2_attr,
                                         (pte2_attr | TSAR_PTE_LOCKED) );
-        }
+    }
     while( atomic == 0 );
 
@@ -498 +498 @@
     *ppn  = pte2_ppn & ((1<<TSAR_MMU_PPN_WIDTH)-1);
     *attr = tsar2gpt( pte2_attr );
-        return 0;
+    return 0;
 
 }  // end hal_gpt_lock_pte()

trunk/hal/tsar_mips32/core/hal_vmm.c

@@ -122 +122 @@
 error_t hal_vmm_kernel_update( process_t * process )
 {
-    error_t  error;
     uint32_t attr;
     uint32_t ppn;
@@ -173 +172 @@
                                     vseg->min,
                                     vseg->max - vseg->min,
-                                    0, 0,                  // file ofset and file size (unused)
-                                    XPTR_NULL,             // no mapper
+                                    0, 0,          // file ofset and file size (unused)
+                                    XPTR_NULL,     // no mapper
                                     local_cxy );
     if( new == NULL )