3 #include <xen/events.h>
9 static void __init xen_hvm_smp_prepare_boot_cpu(void)
11 BUG_ON(smp_processor_id() != 0);
12 native_smp_prepare_boot_cpu();
15 * Setup vcpu_info for boot CPU. Secondary CPUs get their vcpu_info
16 * in xen_cpu_up_prepare_hvm().
21 * The alternative logic (which patches the unlock/lock) runs before
22 * the smp bootup up code is activated. Hence we need to set this up
23 * the core kernel is being patched. Otherwise we will have only
24 * modules patched but not core code.
29 static void __init xen_hvm_smp_prepare_cpus(unsigned int max_cpus)
31 native_smp_prepare_cpus(max_cpus);
32 WARN_ON(xen_smp_intr_init(0));
37 #ifdef CONFIG_HOTPLUG_CPU
38 static void xen_hvm_cpu_die(unsigned int cpu)
40 if (common_cpu_die(cpu) == 0) {
41 xen_smp_intr_free(cpu);
42 xen_uninit_lock_cpu(cpu);
43 xen_teardown_timer(cpu);
47 static void xen_hvm_cpu_die(unsigned int cpu)
53 void __init xen_hvm_smp_init(void)
55 if (!xen_have_vector_callback)
58 smp_ops.smp_prepare_cpus = xen_hvm_smp_prepare_cpus;
59 smp_ops.smp_send_reschedule = xen_smp_send_reschedule;
60 smp_ops.cpu_die = xen_hvm_cpu_die;
61 smp_ops.send_call_func_ipi = xen_smp_send_call_function_ipi;
62 smp_ops.send_call_func_single_ipi = xen_smp_send_call_function_single_ipi;
63 smp_ops.smp_prepare_boot_cpu = xen_hvm_smp_prepare_boot_cpu;