Changes in kernel/generic/src/preempt/preemption.c [df4ed85:2e4e706] 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(THE->preemption_disabled);
+        ASSERT(PREEMPTION_DISABLED);
         memory_barrier();
         THE->preemption_disabled--;