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 554e70f2c9c7c45b5c4eada3d2a99c100d3ebb70)
@@ -36,4 +36,5 @@
 
 #include <genarch/drivers/grlib/irqmp.h>
+#include <arch/arch.h>
 #include <arch/asm.h>
 #include <mm/km.h>