Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision efa28d59767f732b135ad7af6f4d956a258eab51)
+++ libcfa/src/concurrency/kernel.cfa	(revision 77adaee5189a15eb2111feec2c5c6b69c50e6b2a)
@@ -659,5 +659,6 @@
 		// If the processor was ready to sleep, we need to wake it up with an actual write
 		val = 1;
-		eventfd_write( fd, val );
+		__attribute__((unused)) int ret = eventfd_write( fd, val );
+		/* paranoid */ verifyf( ret == 0, "Expected return to be 0, was %d\n", ret );
 
 		#if !defined(__CFA_NO_STATISTICS__)