diff --git a/include/debug.h b/include/debug.h
index 1da1c33d52c..1fca920282e 100644
--- a/include/debug.h
+++ b/include/debug.h
@@ -1140,19 +1140,19 @@ void lib_dumpvfile(int fd, FAR const char *msg, FAR const struct iovec *iov,
 
 #ifndef CONFIG_CPP_HAVE_VARARGS
 #ifdef CONFIG_DEBUG_ALERT
-void _alert(const char *format, ...) syslog_like(1, 2);
+void _alert(FAR const char *format, ...) syslog_like(1, 2);
 #endif
 
 #ifdef CONFIG_DEBUG_ERROR
-void _err(const char *format, ...) syslog_like(1, 2);
+void _err(FAR const char *format, ...) syslog_like(1, 2);
 #endif
 
 #ifdef CONFIG_DEBUG_WARN
-void _warn(const char *format, ...) syslog_like(1, 2);
+void _warn(FAR const char *format, ...) syslog_like(1, 2);
 #endif
 
 #ifdef CONFIG_DEBUG_INFO
-void _info(const char *format, ...) syslog_like(1, 2);
+void _info(FAR const char *format, ...) syslog_like(1, 2);
 #endif
 #endif /* CONFIG_CPP_HAVE_VARARGS */
 
diff --git a/include/err.h b/include/err.h
index 4abeda0433f..aa748183cd9 100644
--- a/include/err.h
+++ b/include/err.h
@@ -65,6 +65,6 @@ void vwarnx(FAR const char *fmt, va_list ap) printf_like(1, 0);
 void err(int status, FAR const char *fmt, ...) printf_like(2, 3);
 void verr(int status, FAR const char *fmt, va_list ap) printf_like(2, 0);
 void errx(int status, FAR const char *fmt, ...) printf_like(2, 3);
-void verrx(int status, FAR const char *, va_list ap) printf_like(2, 0);
+void verrx(int status, FAR const char *fmt, va_list ap) printf_like(2, 0);
 
 #endif /* __INCLUDE_ERR_H */
diff --git a/include/nuttx/usb/usbdev_trace.h b/include/nuttx/usb/usbdev_trace.h
index 9968fcce131..572fc9fd5e3 100644
--- a/include/nuttx/usb/usbdev_trace.h
+++ b/include/nuttx/usb/usbdev_trace.h
@@ -419,7 +419,7 @@ typedef uint16_t usbtrace_idset_t;
 
 /* Print routine to use for usbdev_trprint() output */
 
-typedef CODE int (*trprintf_t)(const char *fmt, ...) printf_like(1, 2);
+typedef CODE int (*trprintf_t)(FAR const char *fmt, ...) printf_like(1, 2);
 
 /****************************************************************************
  * Public Data
diff --git a/libs/libc/misc/lib_debug.c b/libs/libc/misc/lib_debug.c
index de48731e9be..0693e2871c1 100644
--- a/libs/libc/misc/lib_debug.c
+++ b/libs/libc/misc/lib_debug.c
@@ -45,7 +45,7 @@
  ****************************************************************************/
 
 #ifdef CONFIG_DEBUG_ALERT
-void _alert(const char *format, ...)
+void _alert(FAR const char *format, ...)
 {
   va_list ap;
 
@@ -56,7 +56,7 @@ void _alert(const char *format, ...)
 #endif /* CONFIG_DEBUG_ALERT */
 
 #ifdef CONFIG_DEBUG_ERROR
-void _err(const char *format, ...)
+void _err(FAR const char *format, ...)
 {
   va_list ap;
 
@@ -67,7 +67,7 @@ void _err(const char *format, ...)
 #endif /* CONFIG_DEBUG_ERROR */
 
 #ifdef CONFIG_DEBUG_WARN
-void _warn(const char *format, ...)
+void _warn(FAR const char *format, ...)
 {
   va_list ap;
 
@@ -78,7 +78,7 @@ void _warn(const char *format, ...)
 #endif /* CONFIG_DEBUG_WARN */
 
 #ifdef CONFIG_DEBUG_INFO
-void _info(const char *format, ...)
+void _info(FAR const char *format, ...)
 {
   va_list ap;