Index: kernel/generic/include/console/kconsole.h
===================================================================
--- kernel/generic/include/console/kconsole.h	(revision d6c8ff67c1c804a0f5f7a82853ca2130eaeba9e4)
+++ kernel/generic/include/console/kconsole.h	(revision 09ababb72064b384cf70e51c6b186a578020991e)
@@ -78,5 +78,5 @@
 	int (* func)(cmd_arg_t *);
 	/** Number of arguments. */
-	count_t argc;
+	size_t argc;
 	/** Argument vector. */
 	cmd_arg_t *argv;