5 files changed, 11 insertions, 17 deletions
diff --git a/lib/libc/stdio/printf.3 b/lib/libc/stdio/printf.3
index 9a285a4..2ff7e2d 100644
--- a/lib/libc/stdio/printf.3
+++ b/lib/libc/stdio/printf.3
@@ -59,13 +59,13 @@
 .Fn asprintf "char **ret" "const char *format" ...
 .In stdarg.h
 .Ft int
-.Fn vprintf "const char *format" "va_list ap"
+.Fn vprintf "const char *restrict format" "va_list ap"
 .Ft int
-.Fn vfprintf "FILE *stream" "const char *format" "va_list ap"
+.Fn vfprintf "FILE *restrict stream" "const char *restrict format" "va_list ap"
 .Ft int
-.Fn vsprintf "char *str" "const char *format" "va_list ap"
+.Fn vsprintf "char *restrict str" "const char *restrict format" "va_list ap"
 .Ft int
-.Fn vsnprintf "char *str" "size_t size" "const char *format" "va_list ap"
+.Fn vsnprintf "char *restrict str" "size_t size" "const char *restrict format" "va_list ap"
 .Ft int
 .Fn vasprintf "char **ret" "const char *format" "va_list ap"
 .Sh DESCRIPTION
diff --git a/lib/libc/stdio/vfprintf.c b/lib/libc/stdio/vfprintf.c
index b158bc0..91bbe00 100644
--- a/lib/libc/stdio/vfprintf.c
+++ b/lib/libc/stdio/vfprintf.c
@@ -332,7 +332,8 @@ __ujtoa(uintmax_t val, char *endp, int base, int octzero, char *xdigs,
  * MT-safe version
  */
 int
-vfprintf(FILE *fp, const char *fmt0, va_list ap)
+vfprintf(FILE *__restrict fp, const char *__restrict fmt0, va_list ap)
+
 {
 	int ret;
 
diff --git a/lib/libc/stdio/vprintf.c b/lib/libc/stdio/vprintf.c
index ad38b45..1f293d6 100644
--- a/lib/libc/stdio/vprintf.c
+++ b/lib/libc/stdio/vprintf.c
@@ -43,9 +43,8 @@ __FBSDID("$FreeBSD$");
 #include <stdio.h>
 
 int
-vprintf(fmt, ap)
-	char const *fmt;
-	_BSD_VA_LIST_ ap;
+vprintf(const char *__restrict fmt, _BSD_VA_LIST_ ap)
 {
+
 	return (vfprintf(stdout, fmt, ap));
 }
diff --git a/lib/libc/stdio/vsnprintf.c b/lib/libc/stdio/vsnprintf.c
index 18b5e5c..eae9adc 100644
--- a/lib/libc/stdio/vsnprintf.c
+++ b/lib/libc/stdio/vsnprintf.c
@@ -45,11 +45,8 @@ __FBSDID("$FreeBSD$");
 #include "local.h"
 
 int
-vsnprintf(str, n, fmt, ap)
-	char *str;
-	size_t n;
-	const char *fmt;
-	_BSD_VA_LIST_ ap;
+vsnprintf(char *__restrict str, size_t n, const char *__restrict fmt,
+    _BSD_VA_LIST_ ap)
 {
 	size_t on;
 	int ret;
diff --git a/lib/libc/stdio/vsprintf.c b/lib/libc/stdio/vsprintf.c
index 3f92fcd..b66b7c8 100644
--- a/lib/libc/stdio/vsprintf.c
+++ b/lib/libc/stdio/vsprintf.c
@@ -45,10 +45,7 @@ __FBSDID("$FreeBSD$");
 #include "local.h"
 
 int
-vsprintf(str, fmt, ap)
-	char *str;
-	const char *fmt;
-	_BSD_VA_LIST_ ap;
+vsprintf(char *__restrict str, const char *__restrict fmt, _BSD_VA_LIST_ ap)
 {
 	int ret;
 	FILE f;