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