summaryrefslogtreecommitdiff
path: root/include/xen
diff options
context:
space:
mode:
authorJoe Perches <joe@perches.com>2011-06-12 20:21:13 +0400
committerKonrad Rzeszutek Wilk <konrad.wilk@oracle.com>2011-06-30 20:14:40 +0400
commit08b8bfc1c649cf82edf43f686cbb9a4bac809679 (patch)
tree1706e037fc0fa2596bd96ff11fcb9fed4b6a1c19 /include/xen
parentf7fdd84e04c8fdc9196abe3bfd27535bccb52ee5 (diff)
downloadlinux-08b8bfc1c649cf82edf43f686cbb9a4bac809679.tar.xz
xen: Add __attribute__((format(printf... where appropriate
Use the compiler to verify printf formats and arguments. Fix fallout. Signed-off-by: Joe Perches <joe@perches.com> Signed-off-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Diffstat (limited to 'include/xen')
-rw-r--r--include/xen/hvc-console.h4
-rw-r--r--include/xen/xenbus.h2
2 files changed, 5 insertions, 1 deletions
diff --git a/include/xen/hvc-console.h b/include/xen/hvc-console.h
index c3adde32669b..901724dc528d 100644
--- a/include/xen/hvc-console.h
+++ b/include/xen/hvc-console.h
@@ -6,11 +6,13 @@ extern struct console xenboot_console;
#ifdef CONFIG_HVC_XEN
void xen_console_resume(void);
void xen_raw_console_write(const char *str);
+__attribute__((format(printf, 1, 2)))
void xen_raw_printk(const char *fmt, ...);
#else
static inline void xen_console_resume(void) { }
static inline void xen_raw_console_write(const char *str) { }
-static inline void xen_raw_printk(const char *fmt, ...) { }
+static inline __attribute__((format(printf, 1, 2)))
+void xen_raw_printk(const char *fmt, ...) { }
#endif
#endif /* XEN_HVC_CONSOLE_H */
diff --git a/include/xen/xenbus.h b/include/xen/xenbus.h
index 5467369e0889..aceeca799fd7 100644
--- a/include/xen/xenbus.h
+++ b/include/xen/xenbus.h
@@ -223,7 +223,9 @@ int xenbus_free_evtchn(struct xenbus_device *dev, int port);
enum xenbus_state xenbus_read_driver_state(const char *path);
+__attribute__((format(printf, 3, 4)))
void xenbus_dev_error(struct xenbus_device *dev, int err, const char *fmt, ...);
+__attribute__((format(printf, 3, 4)))
void xenbus_dev_fatal(struct xenbus_device *dev, int err, const char *fmt, ...);
const char *xenbus_strstate(enum xenbus_state state);