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 <[email protected]>
Reviewed-by: Stefano Stabellini <[email protected]> > --- > 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 >
