Index: kernel/generic/include/interrupt.h
===================================================================
--- kernel/generic/include/interrupt.h	(revision a074b4f9d5cf65707ae3aaffaf4564453f710efd)
+++ kernel/generic/include/interrupt.h	(revision fb150d78322de0f69c6ab8b6215275ef5c0db14a)
@@ -51,4 +51,6 @@
 void exc_init(void);
 
+extern void irq_initialize_arch(irq_t *irq);
+
 #endif