diff options
Diffstat (limited to 'debian/patches/0009-fix-xen-warning.patch')
| -rw-r--r-- | debian/patches/0009-fix-xen-warning.patch | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/debian/patches/0009-fix-xen-warning.patch b/debian/patches/0009-fix-xen-warning.patch new file mode 100644 index 0000000..24a38fe --- /dev/null +++ b/debian/patches/0009-fix-xen-warning.patch @@ -0,0 +1,24 @@ +From 8e46a161a19693ecb4d53c6b47ea3ecf566c7378 Mon Sep 17 00:00:00 2001 +From: Justus Winter <4winter@informatik.uni-hamburg.de> +Date: Sat, 16 May 2015 14:42:49 +0200 +Subject: [PATCH gnumach 09/10] fix xen warning + +--- + i386/i386/xen.h | 1 - + 1 file changed, 1 deletion(-) + +diff --git a/i386/i386/xen.h b/i386/i386/xen.h +index 638d671..bf00375 100644 +--- a/i386/i386/xen.h ++++ b/i386/i386/xen.h +@@ -32,7 +32,6 @@ + #include <xen/public/xen.h> + + /* TODO: this should be moved in appropriate non-Xen place. */ +-#define barrier() __asm__ __volatile__ ("": : :"memory") + #define mb() __asm__ __volatile__("lock; addl $0,0(%%esp)":::"memory") + #define rmb() mb() + #define wmb() mb() +-- +2.1.4 + |