Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/generic/src/time/clock.c	(revision a68f7375e3e4f83a6876853e429edc329d00e4e4)
@@ -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;