Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision 77adaee5189a15eb2111feec2c5c6b69c50e6b2a)
+++ libcfa/src/concurrency/kernel.cfa	(revision 4ccc150c9b64b75f8bed9f05fa94ead9f2709ff1)
@@ -642,4 +642,5 @@
 
 	switch(fd) {
+		__attribute__((unused)) int ret;
 	case 0:
 		// If the processor isn't ready to sleep then the exchange will already wake it up
@@ -659,5 +660,5 @@
 		// If the processor was ready to sleep, we need to wake it up with an actual write
 		val = 1;
-		__attribute__((unused)) int ret = eventfd_write( fd, val );
+		ret = eventfd_write( fd, val );
 		/* paranoid */ verifyf( ret == 0, "Expected return to be 0, was %d\n", ret );