From 5b832396f582e466afc6ac6ef7d7771346d85716 Mon Sep 17 00:00:00 2001 From: Tomas Hruby Date: Thu, 21 Oct 2010 17:07:12 +0000 Subject: [PATCH] if verbore=1 tell us who registers which irq handler - a useful piece of information when debugging --- kernel/system/do_irqctl.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/kernel/system/do_irqctl.c b/kernel/system/do_irqctl.c index 08e107634..0a1c33142 100644 --- a/kernel/system/do_irqctl.c +++ b/kernel/system/do_irqctl.c @@ -9,6 +9,7 @@ * ,, ,, (returns index of irq hook assigned at kernel) */ +#include "kernel/kernel.h" #include "kernel/system.h" #include @@ -112,6 +113,8 @@ PUBLIC int do_irqctl(struct proc * caller, message * m_ptr) hook_ptr->notify_id = notify_id; /* identifier to pass */ hook_ptr->policy = m_ptr->IRQ_POLICY; /* policy for interrupts */ put_irq_handler(hook_ptr, irq_vec, generic_handler); + DEBUGBASIC(("IRQ %d handler registered by %s / %d\n", + irq_vec, caller->p_name, caller->p_endpoint)); /* Return index of the IRQ hook in use. */ m_ptr->IRQ_HOOK_ID = irq_hook_id + 1;