From: Xenia Ragiadakou Date: Tue, 21 Jun 2022 15:44:02 +0000 (+0300) Subject: xen/arm: vtimer: Remove duplicate header X-Git-Tag: archive/raspbian/4.17.0-1+rpi1^2~33^2~513 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=7c1f724dd95cf627f72c96d310b6b7d487bc2281;p=xen.git 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 --- 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