From 6632518b1183e15f2016ec53088e3f26f151a96d Mon Sep 17 00:00:00 2001
From: Justus Winter <justus@gnupg.org>
Date: Fri, 26 Feb 2016 13:21:12 +0100
Subject: [PATCH gnumach 05/10] Fix synchronization

---
 device/intr.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/device/intr.c b/device/intr.c
index 177c095..1e5a3ea 100644
--- a/device/intr.c
+++ b/device/intr.c
@@ -123,6 +123,7 @@ intr_thread ()
 
   for (;;)
     {
+      assert_wait ((event_t) &intr_thread, FALSE);
       cli ();
       while (tot_num_intr)
 	{
@@ -162,8 +163,6 @@ intr_thread ()
 	    }
 	}
       sti ();
-
-      assert_wait ((event_t) &intr_thread, FALSE);
       thread_block (thread_no_continuation);
     }
 }
-- 
2.1.4