Changes in kernel/generic/src/preempt/preemption.c [2e4e706:df4ed85] in mainline

File:

• kernel/generic/src/preempt/preemption.c (modified) (2 diffs)

kernel/generic/src/preempt/preemption.c

@@ -27 +27 @@
  */
 
-/** @addtogroup generic
+/** @addtogroup generic 
  * @{
  */
 
 /**
- * @file preemption.c
- * @brief Preemption control.
+ * @file        preemption.c
+ * @brief       Preemption control.
  */
-
+ 
 #include <preemption.h>
 #include <arch.h>
@@ -52 +52 @@
 void preemption_enable(void)
 {
-        ASSERT(PREEMPTION_DISABLED);
+        ASSERT(THE->preemption_disabled);
         memory_barrier();
         THE->preemption_disabled--;