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