--- src/lib/libkcore/kcore_sched.c	2005/05/01 02:30:50	1.3
+++ src/lib/libkcore/kcore_sched.c	2005/05/01 02:36:49	1.4
@@ -79,7 +79,8 @@ kcore_get_sched_cputime(struct kcore_dat
 		{ "cputime_percpu", 0, 0, 0, 0},
 		{ NULL, 0, 0, 0, 0}
 	};
-	int len, cpucount, error = 0;
+	size_t len;
+	int cpucount, error = 0;
 
 	_DIAGASSERT(cputime != NULL);