Index: libcfa/src/concurrency/io/setup.cfa
===================================================================
--- libcfa/src/concurrency/io/setup.cfa	(revision 18f7858ea013d58a6e3cd0b6bfc61801c6f018c1)
+++ libcfa/src/concurrency/io/setup.cfa	(revision 1e6ffb44376c08c30c95a0192ae6b14cc2c7fdef)
@@ -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 ) {}