From 31165a8f1b00628b9c69b98b003fb3006b511ef6 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 13 Mar 2022 21:39:33 +0100
Subject: device intr: Fix hypothetical NULL dererefence

---
 device/intr.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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]);
-- 
cgit v1.2.3