diff mbox

xen/arm: check string format for early_printk

Message ID 1369321518-26030-1-git-send-email-julien.grall@linaro.org
State Accepted, archived
Headers show

Commit Message

Julien Grall May 23, 2013, 3:05 p.m. UTC 
Signed-off-by: Julien Grall <julien.grall@linaro.org>
---
 xen/include/asm-arm/early_printk.h |   14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

Comments

Ian Campbell May 30, 2013, 8:59 a.m. UTC | #1 
On Thu, 2013-05-23 at 16:05 +0100, Julien Grall wrote:
> Signed-off-by: Julien Grall <julien.grall@linaro.org>

Acked + applied, thanks.
diff mbox

Patch

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