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

    r23 r60  
    204204    uint32_t  count;
    205205    uint32_t  sense;
    206     uint32_t  irq_state;
     206    reg_t     irq_state;
    207207    xptr_t    root_xp;
    208208
Note: See TracChangeset for help on using the changeset viewer.