[LinuxBIOS] [PATCH] v3 - warn about printk failures.

[Stefan Reinauer]

Hi

Wonderful gcc-isms :-) I learned something new today that I want to
share.

This one warns about printk parameters.

I don't claim we should check this in, but we should at least fix the
warnings it brings..

Signed-off-by: Stefan Reinauer

Index: include/console.h
===================================================================
--- include/console.h	(revision 459)
+++ include/console.h	(working copy)
@@ -46,6 +46,7 @@
 };

// 
-int printk(int msg_level, const char *fmt, ...);
+int printk(int msg_level, const char *fmt, ...) 
+	__attribute__((format (printf, 2, 3)));

#endif /* CONSOLE_H */