Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 22e6802c4fece061e824ee107b0e2fff8c15e85b)
+++ kernel/generic/src/proc/scheduler.c	(revision c2efbb4ffae4b59dd2f12995a3926eb4251bfa3d)
@@ -542,6 +542,9 @@
 {
 	thread_t *t;
-	int count, average, j, k = 0;
+	int count;
+	atomic_count_t average;
 	unsigned int i;
+	int j;
+	int k = 0;
 	ipl_t ipl;