Changes in libcfa/src/concurrency/kernel_private.hfa [254ad1b:431cd4f]

File:

• libcfa/src/concurrency/kernel_private.hfa (modified) (1 diff)

libcfa/src/concurrency/kernel_private.hfa

@@ -29 +29 @@
 extern "C" {
         void disable_interrupts() OPTIONAL_THREAD;
-        void enable_interrupts( bool poll = true );
-}
-
-void schedule_thread$( $thread * ) __attribute__((nonnull (1)));
+        void enable_interrupts_noPoll();
+        void enable_interrupts( __cfaabi_dbg_ctx_param );
+}
+
+void __schedule_thread( $thread * )
+#if defined(NDEBUG) || (!defined(__CFA_DEBUG__) && !defined(__CFA_VERIFY__))
+        __attribute__((nonnull (1)))
+#endif
+;
 
 extern bool __preemption_enabled();