Or else init_percpu_time is going to dereference a NULL pointer when
trying to access vcpu_info.
Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
else
microcode_resume_cpu(cpu);
+ if ( xen_guest )
+ hypervisor_ap_setup();
+
smp_callin();
init_percpu_time();
cpumask_set_cpu(cpu, &cpu_online_map);
unlock_vector_lock();
- if ( xen_guest )
- hypervisor_ap_setup();
-
/* We can take interrupts now: we're officially "up". */
local_irq_enable();
mtrr_ap_init();