Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 98000fb4ea6015506f059c9b121e417ce991ecfd)
+++ kernel/generic/src/proc/scheduler.c	(revision 672b22e998fe4b44c45775aa265ee54ebdcc43dc)
@@ -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;