diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-11-12 11:39:22 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-11-12 11:39:22 +0100 |
commit | 16905bcc1bdc71c8a6e774899cbbcc9bf7160dd9 (patch) | |
tree | 80ca8025e7c0a464d30e7e372b0b2e0324470793 | |
parent | dd14109585b3b434a2c21f4e5c0edf82d94de4f2 (diff) | |
parent | 9297476ab4e700d1d41075fb05533e926be1533f (diff) |
Merge branch 'master-user_level_drivers' into master-user_level_drivers-debian
-rw-r--r-- | device/intr.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/device/intr.c b/device/intr.c index 95c36719..864a9cfb 100644 --- a/device/intr.c +++ b/device/intr.c @@ -179,7 +179,7 @@ intr_thread (void) /* Check for aborted processes */ queue_iterate (&intr_queue, e, struct intr_entry *, chain) { - if (!e->dest || e->dest->ip_references == 1) + if ((!e->dest || e->dest->ip_references == 1) && e->unacked_interrupts) { printf ("irq handler %d: release dead delivery %d unacked irqs\n", e->line, e->unacked_interrupts); /* The reference of the port was increased |