Index: kernel/arch/abs32le/include/atomic.h
===================================================================
--- kernel/arch/abs32le/include/atomic.h	(revision 33c4f72505a3c4729684b213f04c3c7feb9c842b)
+++ kernel/arch/abs32le/include/atomic.h	(revision 46c20c843b2930f93143ea308af9c4d278d6cf64)
@@ -40,6 +40,7 @@
 #include <preemption.h>
 #include <verify.h>
+#include <trace.h>
 
-ATOMIC static inline void atomic_inc(atomic_t *val)
+NO_TRACE ATOMIC static inline void atomic_inc(atomic_t *val)
     WRITES(&val->count)
     REQUIRES_EXTENT_MUTABLE(val)
@@ -52,5 +53,5 @@
 }
 
-ATOMIC static inline void atomic_dec(atomic_t *val)
+NO_TRACE ATOMIC static inline void atomic_dec(atomic_t *val)
     WRITES(&val->count)
     REQUIRES_EXTENT_MUTABLE(val)
@@ -63,5 +64,5 @@
 }
 
-ATOMIC static inline atomic_count_t atomic_postinc(atomic_t *val)
+NO_TRACE ATOMIC static inline atomic_count_t atomic_postinc(atomic_t *val)
     WRITES(&val->count)
     REQUIRES_EXTENT_MUTABLE(val)
@@ -78,5 +79,5 @@
 }
 
-ATOMIC static inline atomic_count_t atomic_postdec(atomic_t *val)
+NO_TRACE ATOMIC static inline atomic_count_t atomic_postdec(atomic_t *val)
     WRITES(&val->count)
     REQUIRES_EXTENT_MUTABLE(val)
@@ -96,5 +97,5 @@
 #define atomic_predec(val)  (atomic_postdec(val) - 1)
 
-ATOMIC static inline atomic_count_t test_and_set(atomic_t *val)
+NO_TRACE ATOMIC static inline atomic_count_t test_and_set(atomic_t *val)
     WRITES(&val->count)
     REQUIRES_EXTENT_MUTABLE(val)
@@ -109,5 +110,5 @@
 }
 
-static inline void atomic_lock_arch(atomic_t *val)
+NO_TRACE static inline void atomic_lock_arch(atomic_t *val)
     WRITES(&val->count)
     REQUIRES_EXTENT_MUTABLE(val)