Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/generic/src/time/clock.c	(revision abc49824b5516002f684f33a5f2f334d901152fb)
@@ -135,5 +135,5 @@
 	timeout_handler_t f;
 	void *arg;
-	count_t missed_clock_ticks = CPU->missed_clock_ticks;
+	size_t missed_clock_ticks = CPU->missed_clock_ticks;
 	unsigned int i;