Index: kernel/generic/src/synch/spinlock.c
===================================================================
--- kernel/generic/src/synch/spinlock.c	(revision 55821eead31822cd7053e1f55e528a9ba9197182)
+++ kernel/generic/src/synch/spinlock.c	(revision 13108f24b5d03e6fd6e35534dd89da620a897b88)
@@ -120,4 +120,23 @@
 }
 
+/** Unlock spinlock
+ *
+ * Unlock spinlock.
+ *
+ * @param sl Pointer to spinlock_t structure.
+ */
+void spinlock_unlock_debug(spinlock_t *lock)
+{
+	ASSERT(atomic_get(&lock->val) != 0);
+	
+	/*
+	 * Prevent critical section code from bleeding out this way down.
+	 */
+	CS_LEAVE_BARRIER();
+	
+	atomic_set(&lock->val, 0);
+	preemption_enable();
+}
+
 #endif