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