diff options
Diffstat (limited to 'debian/patches/try-fence0001-try-fence.patch')
| -rw-r--r-- | debian/patches/try-fence0001-try-fence.patch | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/debian/patches/try-fence0001-try-fence.patch b/debian/patches/try-fence0001-try-fence.patch new file mode 100644 index 0000000..2a135de --- /dev/null +++ b/debian/patches/try-fence0001-try-fence.patch @@ -0,0 +1,27 @@ +From 83dad8de034370f216ca8123345d806ffb48c1fb Mon Sep 17 00:00:00 2001 +From: Justus Winter <4winter@informatik.uni-hamburg.de> +Date: Mon, 7 Sep 2015 13:04:39 +0200 +Subject: [PATCH gnumach] try fence + +--- + kern/mach_clock.c | 2 ++ + 1 file changed, 2 insertions(+) + +diff --git a/kern/mach_clock.c b/kern/mach_clock.c +index 655adf4..aab7010 100644 +--- a/kern/mach_clock.c ++++ b/kern/mach_clock.c +@@ -99,8 +99,10 @@ MACRO_BEGIN \ + if (mtime != 0) { \ + mtime->check_seconds = (time)->seconds; \ + asm volatile("":::"memory"); \ ++ __sync_synchronize(); \ + mtime->microseconds = (time)->microseconds; \ + asm volatile("":::"memory"); \ ++ __sync_synchronize(); \ + mtime->seconds = (time)->seconds; \ + } \ + MACRO_END +-- +2.1.4 + |