Changeset 633 for trunk/kernel/mm


Ignore:
Timestamp:
May 28, 2019, 6:10:15 PM (5 years ago)
Author:
alain
Message:

cosmetic

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/mm/vmm.c

    r632 r633  
    12301230    page_t    * page_ptr;   // page descriptor pointer
    12311231    xptr_t      count_xp;   // extended pointer on page refcount
    1232     uint32_t    count;      // current value of page refcount
    12331232
    12341233// check arguments
     
    12821281            // decrement page refcount
    12831282            count_xp = XPTR( page_cxy , &page_ptr->refcount );
    1284             count    = hal_remote_atomic_add( count_xp , -1 );
     1283            hal_remote_atomic_add( count_xp , -1 );
    12851284
    12861285            // compute the ppn_release condition depending on vseg type
Note: See TracChangeset for help on using the changeset viewer.