From 7cf6081e2e7db2ff84a8f4dd6f11f32dadb1665d Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Mon, 23 Dec 2024 01:27:19 +0100
Subject: intr: Note which interrupt is being refused to userland

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

diff --git a/device/intr.c b/device/intr.c
index 0ba008c8..27dfa8ec 100644
--- a/device/intr.c
+++ b/device/intr.c
@@ -215,7 +215,7 @@ install_user_intr_handler (struct irqdev *dev, int id, unsigned long flags,
   /* Don't allow overriding hardclock/kdintr etc */
   if ((ivect[irq] != user_irq_handler) && (ivect[irq] != intnull))
     {
-      printf("You can't have this interrupt\n");
+      printf("You can't have this interrupt %d:%d\n", id, irq);
       return D_ALREADY_OPEN;
     }
 
-- 
cgit v1.2.3