Index: kernel/generic/include/synch/spinlock.h
===================================================================
--- kernel/generic/include/synch/spinlock.h	(revision 543662b3a5a91cc3b12c5ff897d1940f7a0248fc)
+++ kernel/generic/include/synch/spinlock.h	(revision 1995ac3eb9bf37f3e753f79bcf6dba1a3c3df86e)
@@ -103,5 +103,5 @@
  * @param lock  Pointer to spinlock_t structure.
  */
-NO_TRACE static inline void spinlock_lock(spinlock_t *lock)
+_NO_TRACE static inline void spinlock_lock(spinlock_t *lock)
 {
 	preemption_disable();
@@ -115,5 +115,5 @@
  * @param lock  Pointer to spinlock_t structure.
  */
-NO_TRACE static inline void spinlock_unlock(spinlock_t *lock)
+_NO_TRACE static inline void spinlock_unlock(spinlock_t *lock)
 {
 	atomic_flag_clear_explicit(&lock->flag, memory_order_release);