Index: kernel/arch/ia32/include/interrupt.h
===================================================================
--- kernel/arch/ia32/include/interrupt.h	(revision c11ebb6a026c1d82c4c0991dcc4901f177ad7f1d)
+++ kernel/arch/ia32/include/interrupt.h	(revision 6610565b4f069eca9d1d17e21f317196b1a98756)
@@ -74,4 +74,5 @@
 extern void (* enable_irqs_function)(uint16_t);
 extern void (* eoi_function)(void);
+extern const char *irqs_info;
 
 extern void interrupt_init(void);