add patch series

1 files changed, 27 insertions, 0 deletions

diff --git a/debian/patches/try-fence0001-libshouldbeinlibc-maptime-use-memory-fences.patch b/debian/patches/try-fence0001-libshouldbeinlibc-maptime-use-memory-fences.patch
new file mode 100644
index 00000000..43efaea9
--- /dev/null
+++ b/debian/patches/try-fence0001-libshouldbeinlibc-maptime-use-memory-fences.patch
@@ -0,0 +1,27 @@
+From 2bb74c0c114d8a2b259fa3ec1880e471df39ad9c Mon Sep 17 00:00:00 2001
+From: Justus Winter <4winter@informatik.uni-hamburg.de>
+Date: Tue, 8 Sep 2015 12:37:08 +0200
+Subject: [PATCH hurd 1/4] libshouldbeinlibc/maptime: use memory fences
+
+* libshouldbeinlibc/maptime.h (maptime_read): Use memory fences.
+---
+ libshouldbeinlibc/maptime.h | 2 ++
+ 1 file changed, 2 insertions(+)
+
+diff --git a/libshouldbeinlibc/maptime.h b/libshouldbeinlibc/maptime.h
+index 947ad64..04ce035 100644
+--- a/libshouldbeinlibc/maptime.h
++++ b/libshouldbeinlibc/maptime.h
+@@ -51,7 +51,9 @@ maptime_read (volatile struct mapped_time_value *mtime, struct timeval *tv)
+   do
+     {
+       tv->tv_sec = mtime->seconds;
++      __sync_synchronize ();
+       tv->tv_usec = mtime->microseconds;
++      __sync_synchronize ();
+     }
+   while (tv->tv_sec != mtime->check_seconds);
+ }
+-- 
+2.1.4
+