diff --git a/xen/arch/ia64/linux-xen/sal.c b/xen/arch/ia64/linux-xen/sal.c
index 2271820246..a818818206 100644
--- a/xen/arch/ia64/linux-xen/sal.c
+++ b/xen/arch/ia64/linux-xen/sal.c
@@ -14,12 +14,12 @@
 #include <linux/spinlock.h>
 #include <linux/string.h>
 
-#include <asm/page.h>
-#include <asm/sal.h>
-#include <asm/pal.h>
 #ifdef XEN
 #include <linux/smp.h>
 #endif
+#include <asm/page.h>
+#include <asm/sal.h>
+#include <asm/pal.h>
 
  __cacheline_aligned DEFINE_SPINLOCK(sal_lock);
 unsigned long sal_platform_features;