Changeset 60 for trunk/kernel/libk/remote_barrier.c

Timestamp:

Jun 26, 2017, 4:55:47 PM (7 years ago)

Author:

max@…

Message:

use reg_t instead of uint32_t

File:

• trunk/kernel/libk/remote_barrier.c (modified) (1 diff)

trunk/kernel/libk/remote_barrier.c

@@ -204 +204 @@
     uint32_t  count;
     uint32_t  sense;
-    uint32_t  irq_state;
+    reg_t     irq_state;
     xptr_t    root_xp;