Index: generic/src/proc/scheduler.c
===================================================================
--- generic/src/proc/scheduler.c	(revision e16e036a378fc32c389e8e9d78aabfc0682401f2)
+++ generic/src/proc/scheduler.c	(revision 7fc2bec150eb1d5e021a646592e99e93dfb4fe7c)
@@ -62,5 +62,5 @@
 {
 	before_thread_runs_arch();
-#ifdef FPU_LAZY
+#ifdef CONFIG_FPU_LAZY
 	if(THREAD==CPU->fpu_owner) 
 		fpu_enable();
@@ -78,5 +78,5 @@
 }
 
-#ifdef FPU_LAZY
+#ifdef CONFIG_FPU_LAZY
 void scheduler_fpu_lazy_request(void)
 {
@@ -135,5 +135,5 @@
 	
 	if (n == 0) {
-		#ifdef __SMP__
+		#ifdef CONFIG_SMP
 		/*
 		 * If the load balancing thread is not running, wake it up and
@@ -144,5 +144,5 @@
 			goto loop;
 		}
-		#endif /* __SMP__ */
+		#endif /* CONFIG_SMP */
 		
 		/*
@@ -413,5 +413,5 @@
 	if (THREAD) {
 		spinlock_lock(&THREAD->lock);
-#ifndef FPU_LAZY
+#ifndef CONFIG_FPU_LAZY
 		fpu_context_save(&(THREAD->saved_fpu_context));
 #endif
@@ -463,5 +463,5 @@
 
 
-#ifdef __SMP__
+#ifdef CONFIG_SMP
 /** Load balancing thread
  *
@@ -624,3 +624,3 @@
 }
 
-#endif /* __SMP__ */
+#endif /* CONFIG_SMP */