From 7c1f724dd95cf627f72c96d310b6b7d487bc2281 Mon Sep 17 00:00:00 2001 From: Xenia Ragiadakou Date: Tue, 21 Jun 2022 18:44:02 +0300 Subject: [PATCH] xen/arm: vtimer: Remove duplicate header The header file is already included above and can be removed here. Signed-off-by: Xenia Ragiadakou Reviewed-by: Stefano Stabellini --- 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 #include #include -#include /* * Check if regs is allowed access, user_gate is tail end of a -- 2.30.2