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