diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-11-12 11:37:45 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-11-12 11:39:08 +0100 |
| commit | 9297476ab4e700d1d41075fb05533e926be1533f (patch) | |
| tree | f6f7d18d0aedf51b962a490823ca2a2ea4e6c1a4 | |
| parent | 2b11bf45284dc1e2e5a716889982f922b9baa2f9 (diff) | |
Make cleaning unacked IRQs less noisy
If a netdde dies but no netdde replaces it to trigger irqs, the Linux code
doesn't remove the handler yet. We only want to warn once when cleaning
the unacked IRQs, but no more after that, even if the entry is still
there.
| -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 |