xen/arm: vtimer: Remove duplicate header

The header file <asm/regs.h> is already included above and can be removed here.

Signed-off-by: Xenia Ragiadakou <burzalodowa@gmail.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>

diff --git a/xen/arch/arm/vtimer.c b/xen/arch/arm/vtimer.c
index 5f2646335434a398095b49538b3c76c310d61088..6b78fea77d7098d1817a2870bc3d3e69426be65e 100644 (file)
--- a/xen/arch/arm/vtimer.c
+++ b/xen/arch/arm/vtimer.c
@@ -30,7 +30,6 @@
 #include <asm/vgic.h>
 #include <asm/vreg.h>
 #include <asm/vtimer.h>
-#include <asm/regs.h>
 
 /*
  * Check if regs is allowed access, user_gate is tail end of a