diff options
| author | Justus Winter <justus@gnupg.org> | 2016-02-26 13:21:12 +0100 |
|---|---|---|
| committer | Justus Winter <justus@gnupg.org> | 2016-02-26 13:21:12 +0100 |
| commit | 6632518b1183e15f2016ec53088e3f26f151a96d (patch) | |
| tree | 1f21ef219537e6fae35fda5bdc26dca9763f74f5 | |
| parent | e1e25cd0a5f5778cf4f1e83321c8d081e2067683 (diff) | |
Fix synchronization
| -rw-r--r-- | device/intr.c | 3 |
1 files changed, 1 insertions, 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); } } |