SMP - cpu_is_idle made volatile

diff --git a/kernel/cpulocals.h b/kernel/cpulocals.h
index b12978a65bf4dea2ca6c1a80938737b99cc9dd35..2f844f1b9043373df396e40ce2d6cb021e6b0d90 100644 (file)
--- a/kernel/cpulocals.h
+++ b/kernel/cpulocals.h
@@ -74,7 +74,7 @@ DECLARE_CPULOCAL(struct proc *, ptproc);
 /* CPU private run queues */
 DECLARE_CPULOCAL(struct proc *, run_q_head[NR_SCHED_QUEUES]); /* ptrs to ready list headers */
 DECLARE_CPULOCAL(struct proc *, run_q_tail[NR_SCHED_QUEUES]); /* ptrs to ready list tails */
-DECLARE_CPULOCAL(int, cpu_is_idle); /* let the others know that you are idle */
+DECLARE_CPULOCAL(volatile int, cpu_is_idle); /* let the others know that you are idle */
 
 DECLARE_CPULOCAL(volatile int, idle_interrupted); /* to interrupt busy-idle
                                                     while profiling */