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

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Tue, 21 Jun 2022, Xenia Ragiadakou wrote:
> The header file <asm/regs.h> is already included above and can be removed 
> here.
> 
> Signed-off-by: Xenia Ragiadakou <burzalodowa@xxxxxxxxx>

Reviewed-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>


> ---
>  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
>