4 * This file implements the Xen versions of smp_ops. SMP under Xen is
5 * very straightforward. Bringing a CPU up is simply a matter of
6 * loading its initial context and setting it running.
8 * IPIs are handled through the Xen event mechanism.
10 * Because virtual CPUs can be scheduled onto any real CPU, there's no
11 * useful topology information for the kernel to make use of. As a
12 * result, all CPUs are treated as if they're single-core and
15 #include <linux/sched.h>
16 #include <linux/err.h>
17 #include <linux/slab.h>
18 #include <linux/smp.h>
19 #include <linux/irq_work.h>
20 #include <linux/tick.h>
22 #include <asm/paravirt.h>
24 #include <asm/pgtable.h>
27 #include <xen/interface/xen.h>
28 #include <xen/interface/vcpu.h>
30 #include <asm/xen/interface.h>
31 #include <asm/xen/hypercall.h>
35 #include <xen/events.h>
37 #include <xen/hvc-console.h>
42 cpumask_var_t xen_cpu_initialized_map
;
44 struct xen_common_irq
{
48 static DEFINE_PER_CPU(struct xen_common_irq
, xen_resched_irq
) = { .irq
= -1 };
49 static DEFINE_PER_CPU(struct xen_common_irq
, xen_callfunc_irq
) = { .irq
= -1 };
50 static DEFINE_PER_CPU(struct xen_common_irq
, xen_callfuncsingle_irq
) = { .irq
= -1 };
51 static DEFINE_PER_CPU(struct xen_common_irq
, xen_irq_work
) = { .irq
= -1 };
52 static DEFINE_PER_CPU(struct xen_common_irq
, xen_debug_irq
) = { .irq
= -1 };
54 static irqreturn_t
xen_call_function_interrupt(int irq
, void *dev_id
);
55 static irqreturn_t
xen_call_function_single_interrupt(int irq
, void *dev_id
);
56 static irqreturn_t
xen_irq_work_interrupt(int irq
, void *dev_id
);
59 * Reschedule call back.
61 static irqreturn_t
xen_reschedule_interrupt(int irq
, void *dev_id
)
63 inc_irq_stat(irq_resched_count
);
69 static void cpu_bringup(void)
74 touch_softlockup_watchdog();
77 /* PVH runs in ring 0 and allows us to do native syscalls. Yay! */
78 if (!xen_feature(XENFEAT_supervisor_mode_kernel
)) {
79 xen_enable_sysenter();
82 cpu
= smp_processor_id();
83 smp_store_cpu_info(cpu
);
84 cpu_data(cpu
).x86_max_cores
= 1;
85 set_cpu_sibling_map(cpu
);
87 xen_setup_cpu_clockevents();
89 notify_cpu_starting(cpu
);
91 set_cpu_online(cpu
, true);
93 this_cpu_write(cpu_state
, CPU_ONLINE
);
97 /* We can take interrupts now: we're officially "up". */
100 wmb(); /* make sure everything is out */
104 * Note: cpu parameter is only relevant for PVH. The reason for passing it
105 * is we can't do smp_processor_id until the percpu segments are loaded, for
106 * which we need the cpu number! So we pass it in rdi as first parameter.
108 asmlinkage __visible
void cpu_bringup_and_idle(int cpu
)
110 #ifdef CONFIG_XEN_PVH
111 if (xen_feature(XENFEAT_auto_translated_physmap
) &&
112 xen_feature(XENFEAT_supervisor_mode_kernel
))
113 xen_pvh_secondary_vcpu_init(cpu
);
116 cpu_startup_entry(CPUHP_ONLINE
);
119 static void xen_smp_intr_free(unsigned int cpu
)
121 if (per_cpu(xen_resched_irq
, cpu
).irq
>= 0) {
122 unbind_from_irqhandler(per_cpu(xen_resched_irq
, cpu
).irq
, NULL
);
123 per_cpu(xen_resched_irq
, cpu
).irq
= -1;
124 kfree(per_cpu(xen_resched_irq
, cpu
).name
);
125 per_cpu(xen_resched_irq
, cpu
).name
= NULL
;
127 if (per_cpu(xen_callfunc_irq
, cpu
).irq
>= 0) {
128 unbind_from_irqhandler(per_cpu(xen_callfunc_irq
, cpu
).irq
, NULL
);
129 per_cpu(xen_callfunc_irq
, cpu
).irq
= -1;
130 kfree(per_cpu(xen_callfunc_irq
, cpu
).name
);
131 per_cpu(xen_callfunc_irq
, cpu
).name
= NULL
;
133 if (per_cpu(xen_debug_irq
, cpu
).irq
>= 0) {
134 unbind_from_irqhandler(per_cpu(xen_debug_irq
, cpu
).irq
, NULL
);
135 per_cpu(xen_debug_irq
, cpu
).irq
= -1;
136 kfree(per_cpu(xen_debug_irq
, cpu
).name
);
137 per_cpu(xen_debug_irq
, cpu
).name
= NULL
;
139 if (per_cpu(xen_callfuncsingle_irq
, cpu
).irq
>= 0) {
140 unbind_from_irqhandler(per_cpu(xen_callfuncsingle_irq
, cpu
).irq
,
142 per_cpu(xen_callfuncsingle_irq
, cpu
).irq
= -1;
143 kfree(per_cpu(xen_callfuncsingle_irq
, cpu
).name
);
144 per_cpu(xen_callfuncsingle_irq
, cpu
).name
= NULL
;
146 if (xen_hvm_domain())
149 if (per_cpu(xen_irq_work
, cpu
).irq
>= 0) {
150 unbind_from_irqhandler(per_cpu(xen_irq_work
, cpu
).irq
, NULL
);
151 per_cpu(xen_irq_work
, cpu
).irq
= -1;
152 kfree(per_cpu(xen_irq_work
, cpu
).name
);
153 per_cpu(xen_irq_work
, cpu
).name
= NULL
;
156 static int xen_smp_intr_init(unsigned int cpu
)
159 char *resched_name
, *callfunc_name
, *debug_name
;
161 resched_name
= kasprintf(GFP_KERNEL
, "resched%d", cpu
);
162 rc
= bind_ipi_to_irqhandler(XEN_RESCHEDULE_VECTOR
,
164 xen_reschedule_interrupt
,
165 IRQF_PERCPU
|IRQF_NOBALANCING
,
170 per_cpu(xen_resched_irq
, cpu
).irq
= rc
;
171 per_cpu(xen_resched_irq
, cpu
).name
= resched_name
;
173 callfunc_name
= kasprintf(GFP_KERNEL
, "callfunc%d", cpu
);
174 rc
= bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_VECTOR
,
176 xen_call_function_interrupt
,
177 IRQF_PERCPU
|IRQF_NOBALANCING
,
182 per_cpu(xen_callfunc_irq
, cpu
).irq
= rc
;
183 per_cpu(xen_callfunc_irq
, cpu
).name
= callfunc_name
;
185 debug_name
= kasprintf(GFP_KERNEL
, "debug%d", cpu
);
186 rc
= bind_virq_to_irqhandler(VIRQ_DEBUG
, cpu
, xen_debug_interrupt
,
187 IRQF_PERCPU
| IRQF_NOBALANCING
,
191 per_cpu(xen_debug_irq
, cpu
).irq
= rc
;
192 per_cpu(xen_debug_irq
, cpu
).name
= debug_name
;
194 callfunc_name
= kasprintf(GFP_KERNEL
, "callfuncsingle%d", cpu
);
195 rc
= bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_SINGLE_VECTOR
,
197 xen_call_function_single_interrupt
,
198 IRQF_PERCPU
|IRQF_NOBALANCING
,
203 per_cpu(xen_callfuncsingle_irq
, cpu
).irq
= rc
;
204 per_cpu(xen_callfuncsingle_irq
, cpu
).name
= callfunc_name
;
207 * The IRQ worker on PVHVM goes through the native path and uses the
210 if (xen_hvm_domain())
213 callfunc_name
= kasprintf(GFP_KERNEL
, "irqwork%d", cpu
);
214 rc
= bind_ipi_to_irqhandler(XEN_IRQ_WORK_VECTOR
,
216 xen_irq_work_interrupt
,
217 IRQF_PERCPU
|IRQF_NOBALANCING
,
222 per_cpu(xen_irq_work
, cpu
).irq
= rc
;
223 per_cpu(xen_irq_work
, cpu
).name
= callfunc_name
;
228 xen_smp_intr_free(cpu
);
232 static void __init
xen_fill_possible_map(void)
236 if (xen_initial_domain())
239 for (i
= 0; i
< nr_cpu_ids
; i
++) {
240 rc
= HYPERVISOR_vcpu_op(VCPUOP_is_up
, i
, NULL
);
243 set_cpu_possible(i
, true);
248 static void __init
xen_filter_cpu_maps(void)
251 unsigned int subtract
= 0;
253 if (!xen_initial_domain())
258 for (i
= 0; i
< nr_cpu_ids
; i
++) {
259 rc
= HYPERVISOR_vcpu_op(VCPUOP_is_up
, i
, NULL
);
262 set_cpu_possible(i
, true);
264 set_cpu_possible(i
, false);
265 set_cpu_present(i
, false);
269 #ifdef CONFIG_HOTPLUG_CPU
270 /* This is akin to using 'nr_cpus' on the Linux command line.
271 * Which is OK as when we use 'dom0_max_vcpus=X' we can only
272 * have up to X, while nr_cpu_ids is greater than X. This
273 * normally is not a problem, except when CPU hotplugging
274 * is involved and then there might be more than X CPUs
275 * in the guest - which will not work as there is no
276 * hypercall to expand the max number of VCPUs an already
277 * running guest has. So cap it up to X. */
279 nr_cpu_ids
= nr_cpu_ids
- subtract
;
284 static void __init
xen_smp_prepare_boot_cpu(void)
286 BUG_ON(smp_processor_id() != 0);
287 native_smp_prepare_boot_cpu();
289 if (xen_pv_domain()) {
290 if (!xen_feature(XENFEAT_writable_page_tables
))
291 /* We've switched to the "real" per-cpu gdt, so make
292 * sure the old memory can be recycled. */
293 make_lowmem_page_readwrite(xen_initial_gdt
);
297 * Xen starts us with XEN_FLAT_RING1_DS, but linux code
300 loadsegment(ds
, __USER_DS
);
301 loadsegment(es
, __USER_DS
);
304 xen_filter_cpu_maps();
305 xen_setup_vcpu_info_placement();
308 * The alternative logic (which patches the unlock/lock) runs before
309 * the smp bootup up code is activated. Hence we need to set this up
310 * the core kernel is being patched. Otherwise we will have only
311 * modules patched but not core code.
313 xen_init_spinlocks();
316 static void __init
xen_smp_prepare_cpus(unsigned int max_cpus
)
321 if (skip_ioapic_setup
) {
322 char *m
= (max_cpus
== 0) ?
323 "The nosmp parameter is incompatible with Xen; " \
324 "use Xen dom0_max_vcpus=1 parameter" :
325 "The noapic parameter is incompatible with Xen";
330 xen_init_lock_cpu(0);
332 smp_store_boot_cpu_info();
333 cpu_data(0).x86_max_cores
= 1;
335 for_each_possible_cpu(i
) {
336 zalloc_cpumask_var(&per_cpu(cpu_sibling_map
, i
), GFP_KERNEL
);
337 zalloc_cpumask_var(&per_cpu(cpu_core_map
, i
), GFP_KERNEL
);
338 zalloc_cpumask_var(&per_cpu(cpu_llc_shared_map
, i
), GFP_KERNEL
);
340 set_cpu_sibling_map(0);
342 if (xen_smp_intr_init(0))
345 if (!alloc_cpumask_var(&xen_cpu_initialized_map
, GFP_KERNEL
))
346 panic("could not allocate xen_cpu_initialized_map\n");
348 cpumask_copy(xen_cpu_initialized_map
, cpumask_of(0));
350 /* Restrict the possible_map according to max_cpus. */
351 while ((num_possible_cpus() > 1) && (num_possible_cpus() > max_cpus
)) {
352 for (cpu
= nr_cpu_ids
- 1; !cpu_possible(cpu
); cpu
--)
354 set_cpu_possible(cpu
, false);
357 for_each_possible_cpu(cpu
)
358 set_cpu_present(cpu
, true);
362 cpu_initialize_context(unsigned int cpu
, struct task_struct
*idle
)
364 struct vcpu_guest_context
*ctxt
;
365 struct desc_struct
*gdt
;
366 unsigned long gdt_mfn
;
368 /* used to tell cpu_init() that it can proceed with initialization */
369 cpumask_set_cpu(cpu
, cpu_callout_mask
);
370 if (cpumask_test_and_set_cpu(cpu
, xen_cpu_initialized_map
))
373 ctxt
= kzalloc(sizeof(*ctxt
), GFP_KERNEL
);
377 gdt
= get_cpu_gdt_table(cpu
);
380 /* Note: PVH is not yet supported on x86_32. */
381 ctxt
->user_regs
.fs
= __KERNEL_PERCPU
;
382 ctxt
->user_regs
.gs
= __KERNEL_STACK_CANARY
;
384 memset(&ctxt
->fpu_ctxt
, 0, sizeof(ctxt
->fpu_ctxt
));
386 if (!xen_feature(XENFEAT_auto_translated_physmap
)) {
387 ctxt
->user_regs
.eip
= (unsigned long)cpu_bringup_and_idle
;
388 ctxt
->flags
= VGCF_IN_KERNEL
;
389 ctxt
->user_regs
.eflags
= 0x1000; /* IOPL_RING1 */
390 ctxt
->user_regs
.ds
= __USER_DS
;
391 ctxt
->user_regs
.es
= __USER_DS
;
392 ctxt
->user_regs
.ss
= __KERNEL_DS
;
394 xen_copy_trap_info(ctxt
->trap_ctxt
);
398 BUG_ON((unsigned long)gdt
& ~PAGE_MASK
);
400 gdt_mfn
= arbitrary_virt_to_mfn(gdt
);
401 make_lowmem_page_readonly(gdt
);
402 make_lowmem_page_readonly(mfn_to_virt(gdt_mfn
));
404 ctxt
->gdt_frames
[0] = gdt_mfn
;
405 ctxt
->gdt_ents
= GDT_ENTRIES
;
407 ctxt
->kernel_ss
= __KERNEL_DS
;
408 ctxt
->kernel_sp
= idle
->thread
.sp0
;
411 ctxt
->event_callback_cs
= __KERNEL_CS
;
412 ctxt
->failsafe_callback_cs
= __KERNEL_CS
;
414 ctxt
->gs_base_kernel
= per_cpu_offset(cpu
);
416 ctxt
->event_callback_eip
=
417 (unsigned long)xen_hypervisor_callback
;
418 ctxt
->failsafe_callback_eip
=
419 (unsigned long)xen_failsafe_callback
;
420 ctxt
->user_regs
.cs
= __KERNEL_CS
;
421 per_cpu(xen_cr3
, cpu
) = __pa(swapper_pg_dir
);
423 #ifdef CONFIG_XEN_PVH
426 * The vcpu comes on kernel page tables which have the NX pte
427 * bit set. This means before DS/SS is touched, NX in
428 * EFER must be set. Hence the following assembly glue code.
430 ctxt
->user_regs
.eip
= (unsigned long)xen_pvh_early_cpu_init
;
431 ctxt
->user_regs
.rdi
= cpu
;
432 ctxt
->user_regs
.rsi
= true; /* entry == true */
435 ctxt
->user_regs
.esp
= idle
->thread
.sp0
- sizeof(struct pt_regs
);
436 ctxt
->ctrlreg
[3] = xen_pfn_to_cr3(virt_to_mfn(swapper_pg_dir
));
437 if (HYPERVISOR_vcpu_op(VCPUOP_initialise
, cpu
, ctxt
))
444 static int xen_cpu_up(unsigned int cpu
, struct task_struct
*idle
)
448 per_cpu(current_task
, cpu
) = idle
;
452 clear_tsk_thread_flag(idle
, TIF_FORK
);
454 per_cpu(kernel_stack
, cpu
) =
455 (unsigned long)task_stack_page(idle
) -
456 KERNEL_STACK_OFFSET
+ THREAD_SIZE
;
458 xen_setup_runstate_info(cpu
);
459 xen_setup_timer(cpu
);
460 xen_init_lock_cpu(cpu
);
462 per_cpu(cpu_state
, cpu
) = CPU_UP_PREPARE
;
464 /* make sure interrupts start blocked */
465 per_cpu(xen_vcpu
, cpu
)->evtchn_upcall_mask
= 1;
467 rc
= cpu_initialize_context(cpu
, idle
);
471 if (num_online_cpus() == 1)
472 /* Just in case we booted with a single CPU. */
473 alternatives_enable_smp();
475 rc
= xen_smp_intr_init(cpu
);
479 rc
= HYPERVISOR_vcpu_op(VCPUOP_up
, cpu
, NULL
);
482 while(per_cpu(cpu_state
, cpu
) != CPU_ONLINE
) {
483 HYPERVISOR_sched_op(SCHEDOP_yield
, NULL
);
490 static void xen_smp_cpus_done(unsigned int max_cpus
)
494 #ifdef CONFIG_HOTPLUG_CPU
495 static int xen_cpu_disable(void)
497 unsigned int cpu
= smp_processor_id();
501 cpu_disable_common();
503 load_cr3(swapper_pg_dir
);
507 static void xen_cpu_die(unsigned int cpu
)
509 while (xen_pv_domain() && HYPERVISOR_vcpu_op(VCPUOP_is_up
, cpu
, NULL
)) {
510 current
->state
= TASK_UNINTERRUPTIBLE
;
511 schedule_timeout(HZ
/10);
516 xen_smp_intr_free(cpu
);
517 xen_uninit_lock_cpu(cpu
);
518 xen_teardown_timer(cpu
);
521 static void xen_play_dead(void) /* used only with HOTPLUG_CPU */
524 HYPERVISOR_vcpu_op(VCPUOP_down
, smp_processor_id(), NULL
);
527 * commit 4b0c0f294 (tick: Cleanup NOHZ per cpu data on cpu down)
528 * clears certain data that the cpu_idle loop (which called us
529 * and that we return from) expects. The only way to get that
530 * data back is to call:
532 tick_nohz_idle_enter();
535 #else /* !CONFIG_HOTPLUG_CPU */
536 static int xen_cpu_disable(void)
541 static void xen_cpu_die(unsigned int cpu
)
546 static void xen_play_dead(void)
552 static void stop_self(void *v
)
554 int cpu
= smp_processor_id();
556 /* make sure we're not pinning something down */
557 load_cr3(swapper_pg_dir
);
558 /* should set up a minimal gdt */
560 set_cpu_online(cpu
, false);
562 HYPERVISOR_vcpu_op(VCPUOP_down
, cpu
, NULL
);
566 static void xen_stop_other_cpus(int wait
)
568 smp_call_function(stop_self
, NULL
, wait
);
571 static void xen_smp_send_reschedule(int cpu
)
573 xen_send_IPI_one(cpu
, XEN_RESCHEDULE_VECTOR
);
576 static void __xen_send_IPI_mask(const struct cpumask
*mask
,
581 for_each_cpu_and(cpu
, mask
, cpu_online_mask
)
582 xen_send_IPI_one(cpu
, vector
);
585 static void xen_smp_send_call_function_ipi(const struct cpumask
*mask
)
589 __xen_send_IPI_mask(mask
, XEN_CALL_FUNCTION_VECTOR
);
591 /* Make sure other vcpus get a chance to run if they need to. */
592 for_each_cpu(cpu
, mask
) {
593 if (xen_vcpu_stolen(cpu
)) {
594 HYPERVISOR_sched_op(SCHEDOP_yield
, NULL
);
600 static void xen_smp_send_call_function_single_ipi(int cpu
)
602 __xen_send_IPI_mask(cpumask_of(cpu
),
603 XEN_CALL_FUNCTION_SINGLE_VECTOR
);
606 static inline int xen_map_vector(int vector
)
611 case RESCHEDULE_VECTOR
:
612 xen_vector
= XEN_RESCHEDULE_VECTOR
;
614 case CALL_FUNCTION_VECTOR
:
615 xen_vector
= XEN_CALL_FUNCTION_VECTOR
;
617 case CALL_FUNCTION_SINGLE_VECTOR
:
618 xen_vector
= XEN_CALL_FUNCTION_SINGLE_VECTOR
;
620 case IRQ_WORK_VECTOR
:
621 xen_vector
= XEN_IRQ_WORK_VECTOR
;
625 case APIC_DM_NMI
: /* Some use that instead of NMI_VECTOR */
626 xen_vector
= XEN_NMI_VECTOR
;
631 printk(KERN_ERR
"xen: vector 0x%x is not implemented\n",
638 void xen_send_IPI_mask(const struct cpumask
*mask
,
641 int xen_vector
= xen_map_vector(vector
);
644 __xen_send_IPI_mask(mask
, xen_vector
);
647 void xen_send_IPI_all(int vector
)
649 int xen_vector
= xen_map_vector(vector
);
652 __xen_send_IPI_mask(cpu_online_mask
, xen_vector
);
655 void xen_send_IPI_self(int vector
)
657 int xen_vector
= xen_map_vector(vector
);
660 xen_send_IPI_one(smp_processor_id(), xen_vector
);
663 void xen_send_IPI_mask_allbutself(const struct cpumask
*mask
,
667 unsigned int this_cpu
= smp_processor_id();
668 int xen_vector
= xen_map_vector(vector
);
670 if (!(num_online_cpus() > 1) || (xen_vector
< 0))
673 for_each_cpu_and(cpu
, mask
, cpu_online_mask
) {
677 xen_send_IPI_one(cpu
, xen_vector
);
681 void xen_send_IPI_allbutself(int vector
)
683 xen_send_IPI_mask_allbutself(cpu_online_mask
, vector
);
686 static irqreturn_t
xen_call_function_interrupt(int irq
, void *dev_id
)
689 generic_smp_call_function_interrupt();
690 inc_irq_stat(irq_call_count
);
696 static irqreturn_t
xen_call_function_single_interrupt(int irq
, void *dev_id
)
699 generic_smp_call_function_single_interrupt();
700 inc_irq_stat(irq_call_count
);
706 static irqreturn_t
xen_irq_work_interrupt(int irq
, void *dev_id
)
710 inc_irq_stat(apic_irq_work_irqs
);
716 static const struct smp_ops xen_smp_ops __initconst
= {
717 .smp_prepare_boot_cpu
= xen_smp_prepare_boot_cpu
,
718 .smp_prepare_cpus
= xen_smp_prepare_cpus
,
719 .smp_cpus_done
= xen_smp_cpus_done
,
721 .cpu_up
= xen_cpu_up
,
722 .cpu_die
= xen_cpu_die
,
723 .cpu_disable
= xen_cpu_disable
,
724 .play_dead
= xen_play_dead
,
726 .stop_other_cpus
= xen_stop_other_cpus
,
727 .smp_send_reschedule
= xen_smp_send_reschedule
,
729 .send_call_func_ipi
= xen_smp_send_call_function_ipi
,
730 .send_call_func_single_ipi
= xen_smp_send_call_function_single_ipi
,
733 void __init
xen_smp_init(void)
735 smp_ops
= xen_smp_ops
;
736 xen_fill_possible_map();
739 static void __init
xen_hvm_smp_prepare_cpus(unsigned int max_cpus
)
741 native_smp_prepare_cpus(max_cpus
);
742 WARN_ON(xen_smp_intr_init(0));
744 xen_init_lock_cpu(0);
747 static int xen_hvm_cpu_up(unsigned int cpu
, struct task_struct
*tidle
)
751 * xen_smp_intr_init() needs to run before native_cpu_up()
752 * so that IPI vectors are set up on the booting CPU before
753 * it is marked online in native_cpu_up().
755 rc
= xen_smp_intr_init(cpu
);
758 rc
= native_cpu_up(cpu
, tidle
);
761 * We must initialize the slowpath CPU kicker _after_ the native
762 * path has executed. If we initialized it before none of the
763 * unlocker IPI kicks would reach the booting CPU as the booting
764 * CPU had not set itself 'online' in cpu_online_mask. That mask
765 * is checked when IPIs are sent (on HVM at least).
767 xen_init_lock_cpu(cpu
);
771 static void xen_hvm_cpu_die(unsigned int cpu
)
777 void __init
xen_hvm_smp_init(void)
779 if (!xen_have_vector_callback
)
781 smp_ops
.smp_prepare_cpus
= xen_hvm_smp_prepare_cpus
;
782 smp_ops
.smp_send_reschedule
= xen_smp_send_reschedule
;
783 smp_ops
.cpu_up
= xen_hvm_cpu_up
;
784 smp_ops
.cpu_die
= xen_hvm_cpu_die
;
785 smp_ops
.send_call_func_ipi
= xen_smp_send_call_function_ipi
;
786 smp_ops
.send_call_func_single_ipi
= xen_smp_send_call_function_single_ipi
;
787 smp_ops
.smp_prepare_boot_cpu
= xen_smp_prepare_boot_cpu
;