Index: libcfa/src/concurrency/io/setup.cfa
===================================================================
--- libcfa/src/concurrency/io/setup.cfa	(revision 4479890a8b920bd26343ba78b81c5b6c26ae3ccf)
+++ libcfa/src/concurrency/io/setup.cfa	(revision 18f7858ea013d58a6e3cd0b6bfc61801c6f018c1)
@@ -32,5 +32,7 @@
 
 	void __cfa_io_start( processor * proc ) {}
-	bool __cfa_io_flush( processor * proc, int ) { return false; }
+	bool __cfa_io_flush( processor * proc ) { return false; }
+	bool __cfa_io_drain( processor * proc ) __attribute__((nonnull (1)));
+	void __cfa_io_idle ( processor * ) __attribute__((nonnull (1)));
 	void __cfa_io_stop ( processor * proc ) {}
 
@@ -215,5 +217,5 @@
 
 		// completion queue
-		cq.lock      = 0;
+		cq.lock      = false;
 		cq.id        = MAX;
 		cq.ts        = rdtscl();