Index: kernel/generic/include/synch/spinlock.h
===================================================================
--- kernel/generic/include/synch/spinlock.h	(revision ee42e43c628b18c45323f958209e636e51f1bfd0)
+++ kernel/generic/include/synch/spinlock.h	(revision c15b37446cc540323e335d60ebc0166256615461)
@@ -124,5 +124,5 @@
  *
  */
-static inline void spinlock_unlock_nondebug(spinlock_t *lock)
+NO_TRACE static inline void spinlock_unlock_nondebug(spinlock_t *lock)
 {
 	/*