diff options
Diffstat (limited to 'sysutils/xentools42/patches/patch-firmware_hvmloader_util.h')
| -rw-r--r-- | sysutils/xentools42/patches/patch-firmware_hvmloader_util.h | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/sysutils/xentools42/patches/patch-firmware_hvmloader_util.h b/sysutils/xentools42/patches/patch-firmware_hvmloader_util.h new file mode 100644 index 00000000000..777218aaf61 --- /dev/null +++ b/sysutils/xentools42/patches/patch-firmware_hvmloader_util.h @@ -0,0 +1,18 @@ +--- firmware/hvmloader/util.h.orig 2014-09-02 15:22:57.000000000 +0900 ++++ firmware/hvmloader/util.h 2014-12-08 13:01:39.000000000 +0900 +@@ -3,6 +3,7 @@ + + #include <stdarg.h> + #include <stdint.h> ++#include <stddef.h> + #include <xen/xen.h> + #include <xen/hvm/hvm_info_table.h> + +@@ -172,7 +173,6 @@ + int vprintf(const char *fmt, va_list ap); + + /* Buffer output */ +-typedef unsigned long size_t; + int snprintf(char *buf, size_t size, const char *fmt, ...) __attribute__ ((format (printf, 3, 4))); + + /* Populate specified memory hole with RAM. */ |