Index: kernel/test/synch/semaphore1.c
===================================================================
--- kernel/test/synch/semaphore1.c	(revision 077842c7d8763d465a4900cd0693e65cd9338385)
+++ kernel/test/synch/semaphore1.c	(revision e9d2905d090ff2994c1a8f2d7b4d0d4387d60ef7)
@@ -115,7 +115,7 @@
 		waitq_wakeup(&can_start, WAKEUP_ALL);
 
-		while ((items_consumed.count != consumers) || (items_produced.count != producers)) {
+		while ((items_consumed != consumers) || (items_produced != producers)) {
 			TPRINTF("%zu consumers remaining, %zu producers remaining\n",
-			    consumers - items_consumed.count, producers - items_produced.count);
+			    consumers - items_consumed, producers - items_produced);
 			thread_sleep(1);
 		}