... in preparation for a logical change. No functional change.
Signed-off-by: Andrew Cooper <[email protected]> --- CC: Jan Beulich <[email protected]> CC: Roger Pau Monné <[email protected]> CC: Stefano Stabellini <[email protected]> CC: Julien Grall <[email protected]> CC: Volodymyr Babchuk <[email protected]> CC: Bertrand Marquis <[email protected]> CC: Michal Orzel <[email protected]> CC: Oleksii Kurochko <[email protected]> --- xen/arch/arm/time.c | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) diff --git a/xen/arch/arm/time.c b/xen/arch/arm/time.c index 3710eab109d9..03dc5b51a890 100644 --- a/xen/arch/arm/time.c +++ b/xen/arch/arm/time.c @@ -8,26 +8,27 @@ * Copyright (c) 2011 Citrix Systems. */ +#include <xen/acpi.h> #include <xen/console.h> +#include <xen/cpu.h> +#include <xen/delay.h> #include <xen/device_tree.h> +#include <xen/event.h> #include <xen/init.h> #include <xen/irq.h> #include <xen/lib.h> #include <xen/mm.h> -#include <xen/softirq.h> +#include <xen/notifier.h> #include <xen/sched.h> -#include <xen/time.h> -#include <xen/delay.h> #include <xen/sched.h> -#include <xen/event.h> -#include <xen/acpi.h> -#include <xen/cpu.h> -#include <xen/notifier.h> +#include <xen/softirq.h> +#include <xen/time.h> + +#include <asm/cpufeature.h> +#include <asm/platform.h> #include <asm/system.h> #include <asm/time.h> #include <asm/vgic.h> -#include <asm/cpufeature.h> -#include <asm/platform.h> uint64_t __read_mostly boot_count; -- 2.39.5
