Changeset 633 for trunk/hal/tsar_mips32/core/hal_gpt.c

Timestamp:

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

Author:

alain

Message:

cosmetic

File:

• trunk/hal/tsar_mips32/core/hal_gpt.c (modified) (7 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()