Index: kernel/generic/include/ddi/irq.h
===================================================================
--- kernel/generic/include/ddi/irq.h	(revision 228e490270cec3d6a6de666f61839f0d9ed5f193)
+++ kernel/generic/include/ddi/irq.h	(revision 01b87dc5664e19efa4e06cec91860b0ef1ece7da)
@@ -189,4 +189,6 @@
 extern hash_table_t irq_uspace_hash_table;
 
+extern inr_t last_inr;
+
 extern void irq_init(size_t, size_t);
 extern void irq_initialize(irq_t *);