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_mutex.c

    r23 r60  
    168168{
    169169    bool_t    success;
    170     uint32_t  irq_state;
     170    reg_t     irq_state;
    171171
    172172    // get cluster and local pointer on remote mutex
     
    221221void remote_mutex_unlock( xptr_t mutex_xp )
    222222{
    223         uint32_t            irq_state;
     223        reg_t               irq_state;
    224224
    225225    // get cluster and local pointer on remote mutex
Note: See TracChangeset for help on using the changeset viewer.