diff --git a/xen/arch/arm/include/asm/desc.h b/xen/arch/arm/include/asm/desc.h
deleted file mode 100644
index a4d02d5eef..0000000000
--- a/xen/arch/arm/include/asm/desc.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#ifndef __ARCH_DESC_H
-#define __ARCH_DESC_H
-
-#endif /* __ARCH_DESC_H */
-/*
- * Local variables:
- * mode: C
- * c-file-style: "BSD"
- * c-basic-offset: 4
- * indent-tabs-mode: nil
- * End:
- */
diff --git a/xen/common/timer.c b/xen/common/timer.c
index 9b5016d5ed..a2a18b2fb2 100644
--- a/xen/common/timer.c
+++ b/xen/common/timer.c
@@ -22,7 +22,6 @@
 #include <xen/rcupdate.h>
 #include <xen/symbols.h>
 #include <asm/system.h>
-#include <asm/desc.h>
 #include <asm/atomic.h>
 
 /* We program the time hardware this far behind the closest deadline. */