Index: libcfa/src/bits/defs.hfa
===================================================================
--- libcfa/src/bits/defs.hfa	(revision ec728619421b2c61e94f86fdfc062c238a3532ef)
+++ libcfa/src/bits/defs.hfa	(revision 2026bb680ed5d5d8295cce3291a89b31b8ec7de2)
@@ -41,2 +41,8 @@
 }
 #endif
+
+#if defined(__cforall_thread__)
+#define OPTIONAL_THREAD
+#else
+#define OPTIONAL_THREAD __attribute__((weak))
+#endif
Index: libcfa/src/bits/locks.hfa
===================================================================
--- libcfa/src/bits/locks.hfa	(revision ec728619421b2c61e94f86fdfc062c238a3532ef)
+++ libcfa/src/bits/locks.hfa	(revision 2026bb680ed5d5d8295cce3291a89b31b8ec7de2)
@@ -50,6 +50,6 @@
 #ifdef __cforall
 	extern "C" {
-		extern void disable_interrupts();
-		extern void enable_interrupts_noPoll();
+		extern void disable_interrupts() OPTIONAL_THREAD;
+		extern void enable_interrupts_noPoll() OPTIONAL_THREAD;
 
 		#ifdef __CFA_DEBUG__