diff options
author | Anthony PERARD <anthony.perard@citrix.com> | 2011-10-28 17:15:32 +0100 |
---|---|---|
committer | Anthony PERARD <anthony.perard@citrix.com> | 2011-10-28 17:15:32 +0100 |
commit | a14a239243f180f0f78df793bf65277b9ef26c46 (patch) | |
tree | 891183b1d4c8065e9f3c4dea8353e70365eef4f9 /tools/firmware | |
parent | 0813632dea6497a887d8f631d3687cb3d3d7e8eb (diff) | |
download | xen-a14a239243f180f0f78df793bf65277b9ef26c46.tar.gz xen-a14a239243f180f0f78df793bf65277b9ef26c46.tar.bz2 xen-a14a239243f180f0f78df793bf65277b9ef26c46.zip |
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>
Diffstat (limited to 'tools/firmware')
-rw-r--r-- | tools/firmware/hvmloader/acpi/mk_dsdt.c | 3 |
1 files changed, 2 insertions, 1 deletions
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; |