Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 22e6802c4fece061e824ee107b0e2fff8c15e85b)
+++ kernel/generic/src/proc/scheduler.c	(revision 95c47767f9669a11d10f6b7cb3e1ceca40b9788b)
@@ -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;