diff --git a/src/Kconfig b/src/Kconfig
index 1a52f33b53..8647d35698 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -147,7 +147,7 @@ menu "kservice optimization"
         default n
 
     config RT_PRINTF_LONGLONG
-        bool "Enable rt_xprintf functions to support long long format"
+        bool "Enable rt_printf-family functions to support long long format"
         default n
 
 endmenu
diff --git a/src/kservice.c b/src/kservice.c
index 5e877e5d2a..8b959cbd68 100644
--- a/src/kservice.c
+++ b/src/kservice.c
@@ -652,30 +652,19 @@ rt_inline int skip_atoi(const char **s)
 #define SPECIAL     (1 << 5)    /* 0x */
 #define LARGE       (1 << 6)    /* use 'ABCDEF' instead of 'abcdef' */
 
+static char *print_number(char *buf,
+                          char *end,
+#ifdef RT_PRINTF_LONGLONG
+                          long long  num,
+#else
+                          long  num,
+#endif /* RT_PRINTF_LONGLONG */
+                          int   base,
+                          int   s,
 #ifdef RT_PRINTF_PRECISION
-static char *print_number(char *buf,
-                          char *end,
-#ifdef RT_PRINTF_LONGLONG
-                          long long  num,
-#else
-                          long  num,
-#endif /* RT_PRINTF_LONGLONG */
-                          int   base,
-                          int   s,
                           int   precision,
-                          int   type)
-#else
-static char *print_number(char *buf,
-                          char *end,
-#ifdef RT_PRINTF_LONGLONG
-                          long long  num,
-#else
-                          long  num,
-#endif /* RT_PRINTF_LONGLONG */
-                          int   base,
-                          int   s,
-                          int   type)
 #endif /* RT_PRINTF_PRECISION */
+                          int   type)
 {
     char c, sign;
 #ifdef RT_PRINTF_LONGLONG