diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-03-13 21:39:33 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-03-13 21:39:33 +0100 |
| commit | 31165a8f1b00628b9c69b98b003fb3006b511ef6 (patch) | |
| tree | 605ce0e29b93abfc3a1da04a80ad855eefff11fb | |
| parent | 389c55db14fedd949f063d3109548c643c52dfd6 (diff) | |
device intr: Fix hypothetical NULL dererefence
| -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 66bc3759..48812d73 100644 --- a/device/intr.c +++ b/device/intr.c @@ -73,7 +73,7 @@ irq_acknowledge (ipc_port_t receive_port) if (ret) return ret; - if (irqtab.irqdev_ack) + if (e && irqtab.irqdev_ack) (*(irqtab.irqdev_ack)) (&irqtab, e->id); __enable_irq (irqtab.irq[e->id]); |