On Fri, 11 Aug 2017, Julien Grall wrote: > Signed-off-by: Julien Grall <julien.gr...@arm.com>
Reviewed-by: Stefano Stabellini <sstabell...@kernel.org> and applied > --- > xen/arch/arm/vtimer.c | 9 +++++---- > 1 file changed, 5 insertions(+), 4 deletions(-) > > diff --git a/xen/arch/arm/vtimer.c b/xen/arch/arm/vtimer.c > index 32ac1279ae..9c7e8f441c 100644 > --- a/xen/arch/arm/vtimer.c > +++ b/xen/arch/arm/vtimer.c > @@ -18,16 +18,17 @@ > */ > > #include <xen/lib.h> > -#include <xen/timer.h> > -#include <xen/sched.h> > #include <xen/perfc.h> > +#include <xen/sched.h> > +#include <xen/timer.h> > + > #include <asm/div64.h> > +#include <asm/gic.h> > #include <asm/irq.h> > +#include <asm/regs.h> > #include <asm/time.h> > -#include <asm/gic.h> > #include <asm/vgic.h> > #include <asm/vreg.h> > -#include <asm/regs.h> > > /* > * Check if regs is allowed access, user_gate is tail end of a > -- > 2.11.0 > _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
