Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision a78d001740e2ccd838b22b766e7d7338534733e0)
+++ kernel/generic/src/printf/printf_core.c	(revision f8ef6608009092d820081ab0f9bd7c8da8205b96)
@@ -175,5 +175,5 @@
 static int print_char(const char ch, int width, uint32_t flags, printf_spec_t *ps)
 {
-	count_t counter = 0;
+	size_t counter = 0;
 	if (!(flags & __PRINTF_FLAG_LEFTALIGNED)) {
 		while (--width > 0) {
@@ -213,5 +213,5 @@
 static int print_wchar(const wchar_t ch, int width, uint32_t flags, printf_spec_t *ps)
 {
-	count_t counter = 0;
+	size_t counter = 0;
 	if (!(flags & __PRINTF_FLAG_LEFTALIGNED)) {
 		while (--width > 0) {
@@ -256,10 +256,10 @@
 
 	/* Print leading spaces. */
-	count_t strw = str_length(str);
+	size_t strw = str_length(str);
 	if (precision == 0)
 		precision = strw;
 
 	/* Left padding */
-	count_t counter = 0;
+	size_t counter = 0;
 	width -= precision;
 	if (!(flags & __PRINTF_FLAG_LEFTALIGNED)) {
@@ -312,5 +312,5 @@
 	
 	/* Left padding */
-	count_t counter = 0;
+	size_t counter = 0;
 	width -= precision;
 	if (!(flags & __PRINTF_FLAG_LEFTALIGNED)) {
@@ -434,5 +434,5 @@
 	
 	width -= precision + size - number_size;
-	count_t counter = 0;
+	size_t counter = 0;
 	
 	if (!(flags & __PRINTF_FLAG_LEFTALIGNED)) {
@@ -597,5 +597,5 @@
 	size_t j = 0;    /* Index to the first not printed nonformating character */
 	
-	count_t counter = 0;  /* Number of characters printed */
+	size_t counter = 0;   /* Number of characters printed */
 	int retval;           /* Return values from nested functions */
 	
Index: kernel/generic/src/printf/vprintf.c
===================================================================
--- kernel/generic/src/printf/vprintf.c	(revision a78d001740e2ccd838b22b766e7d7338534733e0)
+++ kernel/generic/src/printf/vprintf.c	(revision f8ef6608009092d820081ab0f9bd7c8da8205b96)
@@ -47,5 +47,5 @@
 {
 	size_t offset = 0;
-	count_t chars = 0;
+	size_t chars = 0;
 	
 	while (offset < size) {
@@ -60,5 +60,5 @@
 {
 	size_t offset = 0;
-	count_t chars = 0;
+	size_t chars = 0;
 	
 	while (offset < size) {
@@ -74,5 +74,5 @@
 {
 	size_t offset = 0;
-	count_t chars = 0;
+	size_t chars = 0;
 	wchar_t uc;
 	
Index: kernel/generic/src/printf/vsnprintf.c
===================================================================
--- kernel/generic/src/printf/vsnprintf.c	(revision a78d001740e2ccd838b22b766e7d7338534733e0)
+++ kernel/generic/src/printf/vsnprintf.c	(revision f8ef6608009092d820081ab0f9bd7c8da8205b96)
@@ -83,5 +83,5 @@
 		 * of string
 		 */
-		index_t index = 0;
+		size_t index = 0;
 		
 		while (index < size) {
@@ -131,5 +131,5 @@
 static int vsnprintf_wstr_write(const wchar_t *str, size_t size, vsnprintf_data_t *data)
 {
-	index_t index = 0;
+	size_t index = 0;
 	
 	while (index < (size / sizeof(wchar_t))) {