declare ouprintfs __attribute__((format...))

diff --git a/hostside/realtime.h b/hostside/realtime.h
index 751fd9a074132a798ea8626a5083177633be2860..ef68f8b496f0e9b93dd27d7f34144a67e6143274 100644 (file)
--- a/hostside/realtime.h
+++ b/hostside/realtime.h
@@ -232,11 +232,15 @@ void realtime_priority(void);
 
 extern unsigned rtfeats_use;
 
-void ouvprintf(const char *fmt, va_list al);
-void ouprintf(const char *fmt, ...);
-
-void ouvprintf_only(const char *fmt, va_list al);
-void ouprintf_only(const char *fmt, ...);
+void ouvprintf(const char *fmt, va_list al)
+     __attribute__((format(printf,1,0)));
+void ouprintf(const char *fmt, ...)
+     __attribute__((format(printf,1,2)));
+
+void ouvprintf_only(const char *fmt, va_list al)
+     __attribute__((format(printf,1,0)));
+void ouprintf_only(const char *fmt, ...)
+     __attribute__((format(printf,1,2)));
 
 void debug_count_event(const char *what);