Index: kernel/generic/include/ddi/irq.h
===================================================================
--- kernel/generic/include/ddi/irq.h	(revision 63530c623718a69d8b980518b5dec7e17f4d991d)
+++ kernel/generic/include/ddi/irq.h	(revision e3890b3fce4ad7f968cc0c569c3565b3df89e8c8)
@@ -93,4 +93,6 @@
 	 *  before a notification is sent. */
 	irq_code_t *code;
+	/** Method of the notification. */
+	unative_t method;
 	/** Counter of IRQ notifications. */
 	atomic_t counter;
@@ -100,5 +102,6 @@
 extern void irq_initialize(irq_t *irq);
 extern void irq_register(irq_t *irq);
-extern irq_t *irq_dispatch(inr_t inr);
+extern irq_t *irq_dispatch_and_lock(inr_t inr);
+extern irq_t *irq_find_and_lock(inr_t inr, devno_t devno);
 
 #endif