Changes in kernel/generic/src/time/clock.c [b0c2075:b2e121a] in mainline

File:

• kernel/generic/src/time/clock.c (modified) (2 diffs)

kernel/generic/src/time/clock.c

@@ -46 +46 @@
 #include <synch/spinlock.h>
 #include <synch/waitq.h>
-#include <func.h>
+#include <halt.h>
 #include <proc/scheduler.h>
 #include <cpu.h>
@@ -212 +212 @@
                 irq_spinlock_unlock(&THREAD->lock, false);
                 
-                if ((!ticks) && (!PREEMPTION_DISABLED)) {
+                if (ticks == 0 && PREEMPTION_ENABLED) {
                         scheduler();
 #ifdef CONFIG_UDEBUG