diff options
-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 |