[Xen-changelog] [xen-unstable] hvmloader: In mk_dsdt, Use __attribute__ format.

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Anthony PERARD <anthony.perard@xxxxxxxxxx>
# Date 1319818532 -3600
# Node ID 6bc03e22f921aadfa7e5cebe92100cb01377947d
# Parent  b1e1e1c2ceac33f282bd75bafe104750f971c484
hvmloader: In mk_dsdt, Use __attribute__ format.

Use __attribute__((format(printf,..))) for the function _stmt to
prevent any mistake.

Signed-off-by: Anthony PERARD <anthony.perard@xxxxxxxxxx>
Committed-by: Keir Fraser <keir@xxxxxxx>
---


diff -r b1e1e1c2ceac -r 6bc03e22f921 tools/firmware/hvmloader/acpi/mk_dsdt.c
--- a/tools/firmware/hvmloader/acpi/mk_dsdt.c   Fri Oct 28 17:14:35 2011 +0100
+++ b/tools/firmware/hvmloader/acpi/mk_dsdt.c   Fri Oct 28 17:15:32 2011 +0100
@@ -15,7 +15,8 @@
         printf("    ");
 }
 
-static void _stmt(const char *name, const char *fmt, ...)
+static __attribute__((format(printf, 2, 3)))
+void _stmt(const char *name, const char *fmt, ...)
 {
     va_list args;
 

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