Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/generic/src/proc/scheduler.c	(revision 83932dc9d1a3817203e9b972f966969ae565aaa0)
@@ -566,6 +566,6 @@
 void kcpulb(void *arg)
 {
-	atomic_count_t average;
-	atomic_count_t rdy;
+	size_t average;
+	size_t rdy;
 
 	/*
@@ -593,5 +593,5 @@
 		goto satisfied;
 
-	atomic_count_t count = average - rdy;
+	size_t count = average - rdy;
 
 	/*