diff --git a/xen/include/asm-arm/domain.h b/xen/include/asm-arm/domain.h
index adc7fe7210..d39477a939 100644
--- a/xen/include/asm-arm/domain.h
+++ b/xen/include/asm-arm/domain.h
@@ -9,10 +9,10 @@
 #include <asm/mmio.h>
 #include <asm/gic.h>
 #include <asm/vgic.h>
+#include <asm/vpl011.h>
 #include <public/hvm/params.h>
 #include <xen/serial.h>
 #include <xen/rbtree.h>
-#include <asm-arm/vpl011.h>
 
 struct hvm_domain
 {