Changes in kernel/generic/src/preempt/preemption.c [057e77f:9d58539] in mainline

File:

• kernel/generic/src/preempt/preemption.c (modified) (1 diff)

kernel/generic/src/preempt/preemption.c

@@ -37 +37 @@
 
 #include <preemption.h>
+#include <arch.h>
+#include <arch/asm.h>
+#include <arch/barrier.h>
+#include <debug.h>
 
+/** Increment preemption disabled counter. */
+void preemption_disable(void)
+{
+        THE->preemption_disabled++;
+        memory_barrier();
+}
+
+/** Decrement preemption disabled counter. */
+void preemption_enable(void)
+{
+        ASSERT(PREEMPTION_DISABLED);
+        memory_barrier();
+        THE->preemption_disabled--;
+}
 
 /** @}