Index: libcfa/src/concurrency/io/setup.cfa
===================================================================
--- libcfa/src/concurrency/io/setup.cfa	(revision d5cdbed94e0c2e127d88646c6d753c2db4c41d64)
+++ libcfa/src/concurrency/io/setup.cfa	(revision 7425720f5598dc04de75c544eb585d8a3195aeed)
@@ -33,6 +33,6 @@
 	void __cfa_io_start( processor * proc ) {}
 	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)));
+	bool __cfa_io_drain( processor * proc ) __attribute__((nonnull (1))) { return false; }
+	void __cfa_io_idle ( processor * ) __attribute__((nonnull (1))) {}
 	void __cfa_io_stop ( processor * proc ) {}