blob: 70347a621b36e4d29d81f2077053fdfffe5227a4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
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
|
