Changes in libcfa/src/concurrency/kernel.cfa [8e16177:dd4e2d7]

File:

• libcfa/src/concurrency/kernel.cfa (modified) (3 diffs)

libcfa/src/concurrency/kernel.cfa

@@ -256 +256 @@
 }
 
-void ?{}(cluster & this, const char name[], Duration preemption_rate, int io_flags) with( this ) {
+void ?{}(cluster & this, const char name[], Duration preemption_rate, unsigned io_flags) with( this ) {
         this.name = name;
         this.preemption_rate = preemption_rate;
@@ -901 +901 @@
         // Wake them up
         __cfadbg_print_safe(runtime_core, "Kernel : waking Processor %p\n", this->idles.head);
-        /* paranoid */ verify( ! kernelTLS.preemption_state.enabled );
         post( this->idles.head->idle );
 
@@ -912 +911 @@
 static bool __wake_proc(processor * this) {
         __cfadbg_print_safe(runtime_core, "Kernel : waking Processor %p\n", this);
-
-        disable_interrupts();
-                /* paranoid */ verify( ! kernelTLS.preemption_state.enabled );
-                bool ret = post( this->idle );
-        enable_interrupts( __cfaabi_dbg_ctx );
-
-        return ret;
+        return post( this->idle );
 }