|
|
|
|
|
|
|
|
|
|
xen-changelog
[Xen-changelog] [xen-unstable] hvmloader: In mk_dsdt, Use __attribute__
# 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
|
<Prev in Thread] |
Current Thread |
[Next in Thread> |
- [Xen-changelog] [xen-unstable] hvmloader: In mk_dsdt, Use __attribute__ format.,
Xen patchbot-unstable <=
|
|
|
|
|