[Xen-changelog] [xen master] xen/arm: check string format for early_printk

[patchbot@xxxxxxx]

commit 54353cae096c19f176417f6d425de0a0f8a71228
Author:     Julien Grall <julien.grall@xxxxxxxxxx>
AuthorDate: Thu May 23 16:05:18 2013 +0100
Commit:     Ian Campbell <ian.campbell@xxxxxxxxxx>
CommitDate: Thu May 30 09:15:25 2013 +0100

    xen/arm: check string format for early_printk
    
    Signed-off-by: Julien Grall <julien.grall@xxxxxxxxxx>
    Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
---
 xen/include/asm-arm/early_printk.h |   14 ++++++++++----
 1 files changed, 10 insertions(+), 4 deletions(-)

diff --git a/xen/include/asm-arm/early_printk.h 
b/xen/include/asm-arm/early_printk.h
index b72fce7..03ead23 100644
--- a/xen/include/asm-arm/early_printk.h
+++ b/xen/include/asm-arm/early_printk.h
@@ -14,13 +14,19 @@
 
 #ifdef EARLY_PRINTK
 
-void early_printk(const char *fmt, ...);
-void early_panic(const char *fmt, ...) __attribute__((noreturn));
+void early_printk(const char *fmt, ...)
+    __attribute__((format (printf, 1, 2)));
+void early_panic(const char *fmt, ...) __attribute__((noreturn))
+    __attribute__((format (printf, 1, 2)));
 
 #else
 
-static inline void early_printk(const char *fmt, ...) {}
-static inline void  __attribute__((noreturn)) early_panic(const char *fmt, 
...) {while(1);}
+static inline void early_printk(const char *fmt, ...)
+    __attribute__((format (printf, 1, 2)))
+{}
+static inline void  __attribute__((noreturn)) early_panic(const char *fmt, ...)
+    __attribute__((format (printf, 1, 2)))
+{while(1);}
 
 #endif
 
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog