Changes in kernel/generic/src/proc/scheduler.c [e1326cf:6eef3c4] in mainline

File:

• kernel/generic/src/proc/scheduler.c (modified) (2 diffs)

kernel/generic/src/proc/scheduler.c

@@ -92 +92 @@
         else
                 fpu_disable();
-#elif defined CONFIG_FPU
+#else
         fpu_enable();
         if (THREAD->fpu_context_exists)
@@ -327 +327 @@
                 THREAD->kcycles += get_cycle() - THREAD->last_cycle;
                 
-#if (defined CONFIG_FPU) && (!defined CONFIG_FPU_LAZY)
+#ifndef CONFIG_FPU_LAZY
                 fpu_context_save(THREAD->saved_fpu_context);
 #endif