Index: kernel/generic/src/synch/spinlock.c
===================================================================
--- kernel/generic/src/synch/spinlock.c	(revision 311929ece96bf4dc6018e75e0d12e512b9e541e4)
+++ kernel/generic/src/synch/spinlock.c	(revision 8264867016dcb0b1fbb2065b1672d6a538de8e11)
@@ -262,5 +262,5 @@
 	int rc = spinlock_trylock(&(lock->lock));
 	
-	ASSERT_IRQ_SPINLOCK(!lock->guard, lock);
+	ASSERT_IRQ_SPINLOCK(!rc || !lock->guard, lock);
 	return rc;
 }