diff options
| author | Damien Zammit via Bug reports for the GNU Hurd <bug-hurd@gnu.org> | 2024-11-23 22:20:32 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-11-24 00:04:24 +0100 |
| commit | 8ef7e26975544e0acce75610be8a372e5f5c4931 (patch) | |
| tree | 2bf1ef9a50af02284887ad426752e048b5a56fae | |
| parent | 506878269a232a7d3722d4598d9fb57a61b5272a (diff) | |
| download | gnumach-8ef7e26975544e0acce75610be8a372e5f5c4931.tar.gz gnumach-8ef7e26975544e0acce75610be8a372e5f5c4931.tar.bz2 gnumach-8ef7e26975544e0acce75610be8a372e5f5c4931.zip | |
device/intr: Account for interrupts that could not be delivered
When an irq handler dies, we are decrementing the n_unacked count
and calling __enable_irq() the right number of times, but we need
to decrement the total interrupt count by the number that were lost
and also clear that number.
This fixes a hang when a shared irq handler quits and leaves some
unacked interrupts.
Message-ID: <20241123222020.245519-1-damien@zamaudio.com>
| -rw-r--r-- | device/intr.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/device/intr.c b/device/intr.c index 9035c036..0d13acf7 100644 --- a/device/intr.c +++ b/device/intr.c @@ -307,6 +307,10 @@ intr_thread (void) e->n_unacked--; } + /* Account for all interrupts that could not be delivered */ + irqtab.tot_num_intr -= e->interrupts; + e->interrupts = 0; + #if 0 #ifndef LINUX_DEV // TODO: remove from the action list |