4 files changed, 6 insertions, 6 deletions
diff --git a/mdk-stage1/frontend.h b/mdk-stage1/frontend.h
index 2869590e7..a5950f1da 100644
--- a/mdk-stage1/frontend.h
+++ b/mdk-stage1/frontend.h
@@ -24,9 +24,9 @@
 
 void init_frontend(void);
 void finish_frontend(void);
-void error_message(char *msg, ...); /* blocking */
-void info_message(char *msg, ...); /* blocking */
-void wait_message(char *msg, ...); /* non-blocking */
+void error_message(char *msg, ...) __attribute__ ((format (printf, 1, 2))); /* blocking */
+void info_message(char *msg, ...) __attribute__ ((format (printf, 1, 2))); /* blocking */
+void wait_message(char *msg, ...) __attribute__ ((format (printf, 1, 2))); /* non-blocking */
 void remove_wait_message(void);
 
 void init_progression(char *msg, int size);
diff --git a/mdk-stage1/log.h b/mdk-stage1/log.h
index fcc641ad9..90aa3f6e6 100644
--- a/mdk-stage1/log.h
+++ b/mdk-stage1/log.h
@@ -25,7 +25,7 @@
 
 #include <stdarg.h>
 
-void log_message(const char * s, ...);
+void log_message(const char * s, ...) __attribute__ ((format (printf, 1, 2)));
 void vlog_message(const char * s, va_list args);
 void log_perror(char *msg);
 void open_log(void);
diff --git a/mdk-stage1/minilibc.h b/mdk-stage1/minilibc.h
index e717d4255..e0775e3a0 100644
--- a/mdk-stage1/minilibc.h
+++ b/mdk-stage1/minilibc.h
@@ -140,5 +140,5 @@ char * strncpy(char * dst, const char * src, int len);
 void print_str_init(int fd, char * string);
 void print_int_init(int fd, int i);
 /* Minimum printf which handles only characters, %d's and %s's */
-void printf(char * fmt, ...);
+void printf(char * fmt, ...) __attribute__ ((format (printf, 1, 2)));
 
diff --git a/mdk-stage1/stage1.h b/mdk-stage1/stage1.h
index b99a8fa65..a6ef9acf4 100644
--- a/mdk-stage1/stage1.h
+++ b/mdk-stage1/stage1.h
@@ -47,6 +47,6 @@ extern char * interactive_fifo;
 #define IS_SPECIAL_STAGE2 (get_param(MODE_SPECIAL_STAGE2))
 #define IS_RAMDISK     (get_param(MODE_RAMDISK))
 
-void fatal_error(char *msg);
+void fatal_error(char *msg) __attribute__ ((noreturn));
 
 #endif