Changes in src/libcfa/concurrency/kernel_private.h [c2b9f21:ea7d2b0]

File:

• src/libcfa/concurrency/kernel_private.h (modified) (3 diffs)

src/libcfa/concurrency/kernel_private.h

@@ -16 +16 @@
 #pragma once
 
+#include "libhdr.h"
+
 #include "kernel"
 #include "thread"
@@ -28 +30 @@
         void disable_interrupts();
         void enable_interrupts_noPoll();
-        void enable_interrupts( __cfaabi_dbg_ctx_param );
+        void enable_interrupts( DEBUG_CTX_PARAM );
 }
 
@@ -37 +39 @@
         disable_interrupts();
         ScheduleThread( thrd );
-        enable_interrupts( __cfaabi_dbg_ctx );
+        enable_interrupts( DEBUG_CTX );
 }
 thread_desc * nextThread(cluster * this);