arm: More interrupt setup at start-of-day for secondary CPUs

Signed-off-by: Tim Deegan <tim@xen.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/xen/arch/arm/smpboot.c b/xen/arch/arm/smpboot.c
index bc8b3a2fb87c963ef207cbeceed796335342b30f..9b3f18cdf022990eaa75397d979380f7e41fb873 100644 (file)
--- a/xen/arch/arm/smpboot.c
+++ b/xen/arch/arm/smpboot.c
@@ -107,6 +107,8 @@ void __cpuinit start_secondary(unsigned long boot_phys_offset,
 
     mmu_init_secondary_cpu();
     gic_init_secondary_cpu();
+    init_timer_interrupt();
+    gic_route_irqs();
 
     set_current(idle_vcpu[cpuid]);