Index: kernel/generic/src/synch/spinlock.c
===================================================================
--- kernel/generic/src/synch/spinlock.c	(revision 311929ece96bf4dc6018e75e0d12e512b9e541e4)
+++ kernel/generic/src/synch/spinlock.c	(revision 8d2d308fb498f32d36e15114a75008800742cc19)
@@ -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;
 }