[PATCH 2/2] xen/arm: vtimer: Remove duplicate header

[Xenia Ragiadakou <burzalodowa@xxxxxxxxx>]

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

Signed-off-by: Xenia Ragiadakou <burzalodowa@xxxxxxxxx>
---
 xen/arch/arm/vtimer.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/xen/arch/arm/vtimer.c b/xen/arch/arm/vtimer.c
index 5f26463354..6b78fea77d 100644
--- 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
-- 
2.34.1