From: Anthony PERARD <anthony.perard@citrix.com>
Date: Fri, 28 Oct 2011 16:15:32 +0000 (+0100)
Subject: hvmloader: In mk_dsdt, Use __attribute__ format.
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=a14a239243f180f0f78df793bf65277b9ef26c46;p=xen.git

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@citrix.com>
Committed-by: Keir Fraser <keir@xen.org>
---

diff --git a/tools/firmware/hvmloader/acpi/mk_dsdt.c b/tools/firmware/hvmloader/acpi/mk_dsdt.c
index ea3be14302..0b52372a3e 100644
--- a/tools/firmware/hvmloader/acpi/mk_dsdt.c
+++ b/tools/firmware/hvmloader/acpi/mk_dsdt.c
@@ -15,7 +15,8 @@ static void indent(void)
         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;