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