Index: kernel/generic/src/synch/spinlock.c
===================================================================
--- kernel/generic/src/synch/spinlock.c	(revision a3900ccd7e17ab082827110cf5c4b6ee6faefd2b)
+++ kernel/generic/src/synch/spinlock.c	(revision 481d47513438cdc33d95733bb4dadfbb80b196ef)
@@ -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