1 files changed, 1 insertions, 4 deletions

diff --git a/init/main.c b/init/main.c
index 953500b02ac4..1c5f6dce1bd2 100644
--- a/init/main.c
+++ b/init/main.c
@@ -41,6 +41,7 @@
 #include <linux/cpuset.h>
 #include <linux/efi.h>
 #include <linux/tick.h>
+#include <linux/interrupt.h>
 #include <linux/taskstats_kern.h>
 #include <linux/delayacct.h>
 #include <linux/unistd.h>
@@ -702,11 +703,7 @@ static void __init do_basic_setup(void)
         init_workqueues();
         usermodehelper_init();
         driver_init();
-
-#ifdef CONFIG_PROC_FS
         init_irq_proc();
-#endif
-
         do_initcalls();
 }