Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 036e97cf14fc9f9a4783fbb16419e5aaf0793b2d)
+++ kernel/generic/src/proc/scheduler.c	(revision d2c91abd4b109375f45c1205641991d346b2de18)
@@ -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;
 
 	/*