Index: kernel/generic/src/printf/vsnprintf.c
===================================================================
--- kernel/generic/src/printf/vsnprintf.c	(revision 1abcf1db7c2a8071caaf9983f1571b2ef88e1be6)
+++ kernel/generic/src/printf/vsnprintf.c	(revision 2ee0e4a1310e3fe2e6e7d1f090bbe5a5e0aa5bb3)
@@ -170,6 +170,6 @@
 	};
 	printf_spec_t ps = {
-		(int(*) (const char *, size_t, void *)) vsnprintf_str_write,
-		(int(*) (const wchar_t *, size_t, void *)) vsnprintf_wstr_write,
+		(int (*) (const char *, size_t, void *)) vsnprintf_str_write,
+		(int (*) (const wchar_t *, size_t, void *)) vsnprintf_wstr_write,
 		&data
 	};