diff --git a/kernel/irq/proc.c b/kernel/irq/proc.c
index 0fdfde11ab81cd8cc4fcdb1c0709169d8efceef0..2bb1769cf43233c9789af6840feade0d79a43bcf 100644
--- a/kernel/irq/proc.c
+++ b/kernel/irq/proc.c
@@ -13,6 +13,10 @@
 #include <linux/kernel_stat.h>
 #include <linux/mutex.h>
 
+#ifdef CONFIG_FAST_IRQ
+#include <linux/irqchip/arm-gic-v3.h>
+#endif
+
 #include "internals.h"
 
 /*