Changes in kernel/generic/include/atomic.h [7a0359b:33c4f72] in mainline

File:

• kernel/generic/include/atomic.h (modified) (2 diffs)

kernel/generic/include/atomic.h

@@ -40 +40 @@
 #include <verify.h>
 
-NO_TRACE ATOMIC static inline void atomic_set(atomic_t *val, atomic_count_t i)
+ATOMIC static inline void atomic_set(atomic_t *val, atomic_count_t i)
     WRITES(&val->count)
     REQUIRES_EXTENT_MUTABLE(val)
@@ -47 +47 @@
 }
 
-NO_TRACE ATOMIC static inline atomic_count_t atomic_get(atomic_t *val)
+ATOMIC static inline atomic_count_t atomic_get(atomic_t *val)
     REQUIRES_EXTENT_MUTABLE(val)
 {