diff --git a/xen/include/asm-arm/mmio.h b/xen/include/asm-arm/mmio.h
index 3ed3f82bf7..8dbfb27682 100644
--- a/xen/include/asm-arm/mmio.h
+++ b/xen/include/asm-arm/mmio.h
@@ -23,8 +23,6 @@
 #include <xen/rwlock.h>
 
 #include <asm/hsr.h>
-#include <asm/processor.h>
-#include <asm/regs.h>
 
 #define MAX_IO_HANDLER  16