diff options
| -rw-r--r-- | 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 b72fce7a21..03ead23a0b 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 |