Kernel: fix sys_irqctl(IRQ_RMPOLICY)

diff --git a/kernel/system/do_irqctl.c b/kernel/system/do_irqctl.c
index 36c0a0e36aa2a555959b8be718ec3c11cdd6754a..75f31c39bc053da2ccd706ebb240843f9be3ae97 100644 (file)
--- a/kernel/system/do_irqctl.c
+++ b/kernel/system/do_irqctl.c
@@ -116,6 +116,7 @@ PUBLIC int do_irqctl(struct proc * caller, message * m_ptr)
       }
       /* Remove the handler and return. */
       rm_irq_handler(&irq_hooks[irq_hook_id]);
+      irq_hooks[irq_hook_id].proc_nr_e = NONE;
       break;
 
   default: