diff --git a/xen/common/gdbstub.c b/xen/common/gdbstub.c
index 19e3b8d78c..07095e1ec7 100644
--- a/xen/common/gdbstub.c
+++ b/xen/common/gdbstub.c
@@ -44,7 +44,6 @@
 #include <xen/console.h>
 #include <xen/errno.h>
 #include <xen/delay.h>
-#include <xen/init.h>
 #include <asm/byteorder.h>
 
 /* Printk isn't particularly safe just after we've trapped to the