Index: kernel/genarch/src/drivers/grlib/irqmp.c
===================================================================
--- kernel/genarch/src/drivers/grlib/irqmp.c	(revision b7c819e97944774d26ffd430fca8490b7af085f7)
+++ kernel/genarch/src/drivers/grlib/irqmp.c	(revision 659ebd864ea1645b612057cc3cfc1ca2cfe9c5b6)
@@ -36,4 +36,5 @@
 
 #include <genarch/drivers/grlib/irqmp.h>
+#include <arch/arch.h>
 #include <arch/asm.h>
 #include <mm/km.h>