Ignore:
Timestamp:
Jun 26, 2017, 4:55:47 PM (4 years ago)
Author:
max@…
Message:

use reg_t instead of uint32_t

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/libk/remote_rwlock.c

    r50 r60  
    4646void remote_rwlock_rd_lock( xptr_t lock_xp )
    4747{
    48         uint32_t   mode;
     48        reg_t      mode;
    4949    uint32_t   ticket;
    5050
     
    9595void remote_rwlock_rd_unlock( xptr_t lock_xp )
    9696{
    97         uint32_t            mode;
     97        reg_t               mode;
    9898
    9999    // get cluster and local pointer on remote_rwlock
     
    124124void remote_rwlock_wr_lock( xptr_t lock_xp )
    125125{
    126         uint32_t   mode;
     126        reg_t      mode;
    127127    uint32_t   ticket;
    128128
     
    175175void remote_rwlock_wr_unlock( xptr_t lock_xp )
    176176{
    177         uint32_t            mode;
     177        reg_t               mode;
    178178
    179179    // get cluster and local pointer on remote_rwlock
Note: See TracChangeset for help on using the changeset viewer.