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 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]); |