Changeset 633 for trunk/kernel/mm/vmm.c

Timestamp:

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

Author:

alain

Message:

cosmetic

File:

• trunk/kernel/mm/vmm.c (modified) (2 diffs)

trunk/kernel/mm/vmm.c

@@ -1230 +1230 @@
     page_t    * page_ptr;   // page descriptor pointer
     xptr_t      count_xp;   // extended pointer on page refcount
-    uint32_t    count;      // current value of page refcount
 
 // check arguments
@@ -1282 +1281 @@
             // decrement page refcount
             count_xp = XPTR( page_cxy , &page_ptr->refcount );
-            count    = hal_remote_atomic_add( count_xp , -1 );
+            hal_remote_atomic_add( count_xp , -1 );
 
             // compute the ppn_release condition depending on vseg type