Changes in / [4598e03:d4da1535]

File:

• libcfa/src/concurrency/kernel.cfa (modified) (1 diff)

libcfa/src/concurrency/kernel.cfa

@@ -686 +686 @@
         eventfd_t val;
         val = 1;
-        __attribute__((unused)) int ret = eventfd_write( this->idle_wctx.evfd, val );
-
-        /* paranoid */ verifyf( ret == 0, "Expected return to be 0, was %d\n", ret );
+        eventfd_write( this->idle_wctx.evfd, val );
+
         /* paranoid */ verify( ! __preemption_enabled() );
 }