blob: c21b825ed056087e336b5c48a26ff98ea8eaf480 [file] [log] [blame]
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -07001/*
2 * Xen SMP support
3 *
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.
7 *
8 * IPIs are handled through the Xen event mechanism.
9 *
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
13 * single-threaded.
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070014 */
15#include <linux/sched.h>
16#include <linux/err.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090017#include <linux/slab.h>
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070018#include <linux/smp.h>
Lin Ming1ff2b0c2012-04-21 00:11:05 +080019#include <linux/irq_work.h>
Konrad Rzeszutek Wilk466318a2013-06-03 10:33:55 -040020#include <linux/tick.h>
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070021
22#include <asm/paravirt.h>
23#include <asm/desc.h>
24#include <asm/pgtable.h>
25#include <asm/cpu.h>
26
27#include <xen/interface/xen.h>
28#include <xen/interface/vcpu.h>
29
30#include <asm/xen/interface.h>
31#include <asm/xen/hypercall.h>
32
Stefano Stabelliniea5b8f72010-10-26 17:28:33 +010033#include <xen/xen.h>
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070034#include <xen/page.h>
35#include <xen/events.h>
36
Konrad Rzeszutek Wilked467e62011-09-01 09:48:27 -040037#include <xen/hvc-console.h>
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070038#include "xen-ops.h"
39#include "mmu.h"
40
Mike Travisb78936e2008-12-16 17:33:57 -080041cpumask_var_t xen_cpu_initialized_map;
Jens Axboe3b16cf82008-06-26 11:21:54 +020042
Konrad Rzeszutek Wilk95476892013-06-04 16:37:44 -040043struct xen_common_irq {
44 int irq;
45 char *name;
46};
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -040047static DEFINE_PER_CPU(struct xen_common_irq, xen_resched_irq) = { .irq = -1 };
48static DEFINE_PER_CPU(struct xen_common_irq, xen_callfunc_irq) = { .irq = -1 };
49static DEFINE_PER_CPU(struct xen_common_irq, xen_callfuncsingle_irq) = { .irq = -1 };
50static DEFINE_PER_CPU(struct xen_common_irq, xen_irq_work) = { .irq = -1 };
Konrad Rzeszutek Wilk95476892013-06-04 16:37:44 -040051static DEFINE_PER_CPU(struct xen_common_irq, xen_debug_irq) = { .irq = -1 };
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070052
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070053static irqreturn_t xen_call_function_interrupt(int irq, void *dev_id);
Jens Axboe3b16cf82008-06-26 11:21:54 +020054static irqreturn_t xen_call_function_single_interrupt(int irq, void *dev_id);
Lin Ming1ff2b0c2012-04-21 00:11:05 +080055static irqreturn_t xen_irq_work_interrupt(int irq, void *dev_id);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070056
57/*
Peter Zijlstra184748c2011-04-05 17:23:39 +020058 * Reschedule call back.
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070059 */
60static irqreturn_t xen_reschedule_interrupt(int irq, void *dev_id)
61{
Brian Gerst1b437c82009-01-19 00:38:57 +090062 inc_irq_stat(irq_resched_count);
Peter Zijlstra184748c2011-04-05 17:23:39 +020063 scheduler_ipi();
Jeremy Fitzhardinge38bb5ab2008-05-26 23:31:16 +010064
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070065 return IRQ_HANDLED;
66}
67
Paul Gortmaker148f9bb2013-06-18 18:23:59 -040068static void cpu_bringup(void)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070069{
Srivatsa S. Bhate8c9e782012-03-22 18:29:24 +053070 int cpu;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070071
72 cpu_init();
Alex Nixond68d82a2008-08-22 11:52:15 +010073 touch_softlockup_watchdog();
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -070074 preempt_disable();
75
Jeremy Fitzhardingee2a81ba2008-03-17 16:37:17 -070076 xen_enable_sysenter();
Jeremy Fitzhardinge6fcac6d2008-07-08 15:07:14 -070077 xen_enable_syscall();
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070078
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -070079 cpu = smp_processor_id();
80 smp_store_cpu_info(cpu);
81 cpu_data(cpu).x86_max_cores = 1;
82 set_cpu_sibling_map(cpu);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070083
84 xen_setup_cpu_clockevents();
85
Konrad Rzeszutek Wilk106b4432012-03-21 13:03:45 -040086 notify_cpu_starting(cpu);
87
Rusty Russelld7d37562009-11-03 14:58:38 +103088 set_cpu_online(cpu, true);
Konrad Rzeszutek Wilk106b4432012-03-21 13:03:45 -040089
Alex Shi2113f462012-01-13 23:53:35 +080090 this_cpu_write(cpu_state, CPU_ONLINE);
Konrad Rzeszutek Wilk106b4432012-03-21 13:03:45 -040091
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -070092 wmb();
93
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070094 /* We can take interrupts now: we're officially "up". */
95 local_irq_enable();
96
97 wmb(); /* make sure everything is out */
Alex Nixond68d82a2008-08-22 11:52:15 +010098}
99
Paul Gortmaker148f9bb2013-06-18 18:23:59 -0400100static void cpu_bringup_and_idle(void)
Alex Nixond68d82a2008-08-22 11:52:15 +0100101{
102 cpu_bringup();
Thomas Gleixner7d1a9412013-03-21 22:50:03 +0100103 cpu_startup_entry(CPUHP_ONLINE);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700104}
105
Konrad Rzeszutek Wilk53b94fd2013-06-04 16:31:34 -0400106static void xen_smp_intr_free(unsigned int cpu)
107{
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -0400108 if (per_cpu(xen_resched_irq, cpu).irq >= 0) {
Konrad Rzeszutek Wilk95476892013-06-04 16:37:44 -0400109 unbind_from_irqhandler(per_cpu(xen_resched_irq, cpu).irq, NULL);
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -0400110 per_cpu(xen_resched_irq, cpu).irq = -1;
Konrad Rzeszutek Wilkb85fffe2013-06-04 16:47:17 -0400111 kfree(per_cpu(xen_resched_irq, cpu).name);
112 per_cpu(xen_resched_irq, cpu).name = NULL;
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -0400113 }
114 if (per_cpu(xen_callfunc_irq, cpu).irq >= 0) {
Konrad Rzeszutek Wilk95476892013-06-04 16:37:44 -0400115 unbind_from_irqhandler(per_cpu(xen_callfunc_irq, cpu).irq, NULL);
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -0400116 per_cpu(xen_callfunc_irq, cpu).irq = -1;
Konrad Rzeszutek Wilkb85fffe2013-06-04 16:47:17 -0400117 kfree(per_cpu(xen_callfunc_irq, cpu).name);
118 per_cpu(xen_callfunc_irq, cpu).name = NULL;
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -0400119 }
120 if (per_cpu(xen_debug_irq, cpu).irq >= 0) {
Konrad Rzeszutek Wilk95476892013-06-04 16:37:44 -0400121 unbind_from_irqhandler(per_cpu(xen_debug_irq, cpu).irq, NULL);
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -0400122 per_cpu(xen_debug_irq, cpu).irq = -1;
Konrad Rzeszutek Wilkb85fffe2013-06-04 16:47:17 -0400123 kfree(per_cpu(xen_debug_irq, cpu).name);
124 per_cpu(xen_debug_irq, cpu).name = NULL;
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -0400125 }
126 if (per_cpu(xen_callfuncsingle_irq, cpu).irq >= 0) {
Konrad Rzeszutek Wilk95476892013-06-04 16:37:44 -0400127 unbind_from_irqhandler(per_cpu(xen_callfuncsingle_irq, cpu).irq,
Konrad Rzeszutek Wilk53b94fd2013-06-04 16:31:34 -0400128 NULL);
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -0400129 per_cpu(xen_callfuncsingle_irq, cpu).irq = -1;
Konrad Rzeszutek Wilkb85fffe2013-06-04 16:47:17 -0400130 kfree(per_cpu(xen_callfuncsingle_irq, cpu).name);
131 per_cpu(xen_callfuncsingle_irq, cpu).name = NULL;
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -0400132 }
Konrad Rzeszutek Wilk53b94fd2013-06-04 16:31:34 -0400133 if (xen_hvm_domain())
134 return;
135
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -0400136 if (per_cpu(xen_irq_work, cpu).irq >= 0) {
Konrad Rzeszutek Wilk95476892013-06-04 16:37:44 -0400137 unbind_from_irqhandler(per_cpu(xen_irq_work, cpu).irq, NULL);
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -0400138 per_cpu(xen_irq_work, cpu).irq = -1;
Konrad Rzeszutek Wilkb85fffe2013-06-04 16:47:17 -0400139 kfree(per_cpu(xen_irq_work, cpu).name);
140 per_cpu(xen_irq_work, cpu).name = NULL;
Konrad Rzeszutek Wilkee336e12013-06-04 16:42:29 -0400141 }
Konrad Rzeszutek Wilk53b94fd2013-06-04 16:31:34 -0400142};
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700143static int xen_smp_intr_init(unsigned int cpu)
144{
145 int rc;
Konrad Rzeszutek Wilkb85fffe2013-06-04 16:47:17 -0400146 char *resched_name, *callfunc_name, *debug_name;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700147
148 resched_name = kasprintf(GFP_KERNEL, "resched%d", cpu);
149 rc = bind_ipi_to_irqhandler(XEN_RESCHEDULE_VECTOR,
150 cpu,
151 xen_reschedule_interrupt,
152 IRQF_DISABLED|IRQF_PERCPU|IRQF_NOBALANCING,
153 resched_name,
154 NULL);
155 if (rc < 0)
156 goto fail;
Konrad Rzeszutek Wilk95476892013-06-04 16:37:44 -0400157 per_cpu(xen_resched_irq, cpu).irq = rc;
Konrad Rzeszutek Wilkb85fffe2013-06-04 16:47:17 -0400158 per_cpu(xen_resched_irq, cpu).name = resched_name;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700159
160 callfunc_name = kasprintf(GFP_KERNEL, "callfunc%d", cpu);
161 rc = bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_VECTOR,
162 cpu,
163 xen_call_function_interrupt,
164 IRQF_DISABLED|IRQF_PERCPU|IRQF_NOBALANCING,
165 callfunc_name,
166 NULL);
167 if (rc < 0)
168 goto fail;
Konrad Rzeszutek Wilk95476892013-06-04 16:37:44 -0400169 per_cpu(xen_callfunc_irq, cpu).irq = rc;
Konrad Rzeszutek Wilkb85fffe2013-06-04 16:47:17 -0400170 per_cpu(xen_callfunc_irq, cpu).name = callfunc_name;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700171
Jeremy Fitzhardingeee523ca2008-03-17 16:37:18 -0700172 debug_name = kasprintf(GFP_KERNEL, "debug%d", cpu);
173 rc = bind_virq_to_irqhandler(VIRQ_DEBUG, cpu, xen_debug_interrupt,
174 IRQF_DISABLED | IRQF_PERCPU | IRQF_NOBALANCING,
175 debug_name, NULL);
176 if (rc < 0)
177 goto fail;
Konrad Rzeszutek Wilk95476892013-06-04 16:37:44 -0400178 per_cpu(xen_debug_irq, cpu).irq = rc;
Konrad Rzeszutek Wilkb85fffe2013-06-04 16:47:17 -0400179 per_cpu(xen_debug_irq, cpu).name = debug_name;
Jeremy Fitzhardingeee523ca2008-03-17 16:37:18 -0700180
Jens Axboe3b16cf82008-06-26 11:21:54 +0200181 callfunc_name = kasprintf(GFP_KERNEL, "callfuncsingle%d", cpu);
182 rc = bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_SINGLE_VECTOR,
183 cpu,
184 xen_call_function_single_interrupt,
185 IRQF_DISABLED|IRQF_PERCPU|IRQF_NOBALANCING,
186 callfunc_name,
187 NULL);
188 if (rc < 0)
189 goto fail;
Konrad Rzeszutek Wilk95476892013-06-04 16:37:44 -0400190 per_cpu(xen_callfuncsingle_irq, cpu).irq = rc;
Konrad Rzeszutek Wilkb85fffe2013-06-04 16:47:17 -0400191 per_cpu(xen_callfuncsingle_irq, cpu).name = callfunc_name;
Jens Axboe3b16cf82008-06-26 11:21:54 +0200192
Konrad Rzeszutek Wilk27d8b202013-04-16 14:37:04 -0400193 /*
194 * The IRQ worker on PVHVM goes through the native path and uses the
195 * IPI mechanism.
196 */
197 if (xen_hvm_domain())
198 return 0;
199
Lin Ming1ff2b0c2012-04-21 00:11:05 +0800200 callfunc_name = kasprintf(GFP_KERNEL, "irqwork%d", cpu);
201 rc = bind_ipi_to_irqhandler(XEN_IRQ_WORK_VECTOR,
202 cpu,
203 xen_irq_work_interrupt,
204 IRQF_DISABLED|IRQF_PERCPU|IRQF_NOBALANCING,
205 callfunc_name,
206 NULL);
207 if (rc < 0)
208 goto fail;
Konrad Rzeszutek Wilk95476892013-06-04 16:37:44 -0400209 per_cpu(xen_irq_work, cpu).irq = rc;
Konrad Rzeszutek Wilkb85fffe2013-06-04 16:47:17 -0400210 per_cpu(xen_irq_work, cpu).name = callfunc_name;
Lin Ming1ff2b0c2012-04-21 00:11:05 +0800211
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700212 return 0;
213
214 fail:
Konrad Rzeszutek Wilk53b94fd2013-06-04 16:31:34 -0400215 xen_smp_intr_free(cpu);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700216 return rc;
217}
218
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700219static void __init xen_fill_possible_map(void)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700220{
221 int i, rc;
222
Stefano Stabelliniea5b8f72010-10-26 17:28:33 +0100223 if (xen_initial_domain())
224 return;
225
Mike Travise7986732008-12-16 17:33:52 -0800226 for (i = 0; i < nr_cpu_ids; i++) {
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700227 rc = HYPERVISOR_vcpu_op(VCPUOP_is_up, i, NULL);
Jeremy Fitzhardinge4560a292008-07-08 15:06:56 -0700228 if (rc >= 0) {
229 num_processors++;
Rusty Russell4f062892009-03-13 14:49:54 +1030230 set_cpu_possible(i, true);
Jeremy Fitzhardinge4560a292008-07-08 15:06:56 -0700231 }
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700232 }
233}
234
Stefano Stabelliniea5b8f72010-10-26 17:28:33 +0100235static void __init xen_filter_cpu_maps(void)
236{
237 int i, rc;
Konrad Rzeszutek Wilkcf405ae2012-04-26 13:50:03 -0400238 unsigned int subtract = 0;
Stefano Stabelliniea5b8f72010-10-26 17:28:33 +0100239
240 if (!xen_initial_domain())
241 return;
242
Stefano Stabellini801fd142010-09-23 12:06:25 +0100243 num_processors = 0;
244 disabled_cpus = 0;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700245 for (i = 0; i < nr_cpu_ids; i++) {
246 rc = HYPERVISOR_vcpu_op(VCPUOP_is_up, i, NULL);
247 if (rc >= 0) {
248 num_processors++;
249 set_cpu_possible(i, true);
Stefano Stabellini801fd142010-09-23 12:06:25 +0100250 } else {
251 set_cpu_possible(i, false);
252 set_cpu_present(i, false);
Konrad Rzeszutek Wilkcf405ae2012-04-26 13:50:03 -0400253 subtract++;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700254 }
255 }
Konrad Rzeszutek Wilkcf405ae2012-04-26 13:50:03 -0400256#ifdef CONFIG_HOTPLUG_CPU
257 /* This is akin to using 'nr_cpus' on the Linux command line.
258 * Which is OK as when we use 'dom0_max_vcpus=X' we can only
259 * have up to X, while nr_cpu_ids is greater than X. This
260 * normally is not a problem, except when CPU hotplugging
261 * is involved and then there might be more than X CPUs
262 * in the guest - which will not work as there is no
263 * hypercall to expand the max number of VCPUs an already
264 * running guest has. So cap it up to X. */
265 if (subtract)
266 nr_cpu_ids = nr_cpu_ids - subtract;
267#endif
268
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700269}
270
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700271static void __init xen_smp_prepare_boot_cpu(void)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700272{
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700273 BUG_ON(smp_processor_id() != 0);
274 native_smp_prepare_boot_cpu();
275
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700276 /* We've switched to the "real" per-cpu gdt, so make sure the
277 old memory can be recycled */
Jeremy Fitzhardinge38341432009-02-02 13:55:31 -0800278 make_lowmem_page_readwrite(xen_initial_gdt);
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700279
Stefano Stabelliniea5b8f72010-10-26 17:28:33 +0100280 xen_filter_cpu_maps();
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700281 xen_setup_vcpu_info_placement();
Jeremy Fitzhardingebf7aab32013-08-09 19:51:52 +0530282 xen_init_spinlocks();
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700283}
284
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700285static void __init xen_smp_prepare_cpus(unsigned int max_cpus)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700286{
287 unsigned cpu;
Andrew Jones900cba82009-12-18 10:31:31 +0100288 unsigned int i;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700289
Konrad Rzeszutek Wilked467e62011-09-01 09:48:27 -0400290 if (skip_ioapic_setup) {
291 char *m = (max_cpus == 0) ?
292 "The nosmp parameter is incompatible with Xen; " \
293 "use Xen dom0_max_vcpus=1 parameter" :
294 "The noapic parameter is incompatible with Xen";
295
296 xen_raw_printk(m);
297 panic(m);
298 }
Jeremy Fitzhardinge2d9e1e22008-07-07 12:07:53 -0700299 xen_init_lock_cpu(0);
300
Konrad Rzeszutek Wilk06d0b5d2012-12-17 20:29:32 -0500301 smp_store_boot_cpu_info();
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700302 cpu_data(0).x86_max_cores = 1;
Andrew Jones900cba82009-12-18 10:31:31 +0100303
304 for_each_possible_cpu(i) {
305 zalloc_cpumask_var(&per_cpu(cpu_sibling_map, i), GFP_KERNEL);
306 zalloc_cpumask_var(&per_cpu(cpu_core_map, i), GFP_KERNEL);
307 zalloc_cpumask_var(&per_cpu(cpu_llc_shared_map, i), GFP_KERNEL);
308 }
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700309 set_cpu_sibling_map(0);
310
311 if (xen_smp_intr_init(0))
312 BUG();
313
Mike Travisb78936e2008-12-16 17:33:57 -0800314 if (!alloc_cpumask_var(&xen_cpu_initialized_map, GFP_KERNEL))
315 panic("could not allocate xen_cpu_initialized_map\n");
316
317 cpumask_copy(xen_cpu_initialized_map, cpumask_of(0));
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700318
319 /* Restrict the possible_map according to max_cpus. */
320 while ((num_possible_cpus() > 1) && (num_possible_cpus() > max_cpus)) {
Mike Travise7986732008-12-16 17:33:52 -0800321 for (cpu = nr_cpu_ids - 1; !cpu_possible(cpu); cpu--)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700322 continue;
Rusty Russell4f062892009-03-13 14:49:54 +1030323 set_cpu_possible(cpu, false);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700324 }
325
Thomas Gleixner7eb43a62012-04-20 13:05:48 +0000326 for_each_possible_cpu(cpu)
Rusty Russell4f062892009-03-13 14:49:54 +1030327 set_cpu_present(cpu, true);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700328}
329
Paul Gortmaker148f9bb2013-06-18 18:23:59 -0400330static int
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700331cpu_initialize_context(unsigned int cpu, struct task_struct *idle)
332{
333 struct vcpu_guest_context *ctxt;
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700334 struct desc_struct *gdt;
Jeremy Fitzhardinge9976b392009-02-27 09:19:26 -0800335 unsigned long gdt_mfn;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700336
Mike Travisb78936e2008-12-16 17:33:57 -0800337 if (cpumask_test_and_set_cpu(cpu, xen_cpu_initialized_map))
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700338 return 0;
339
340 ctxt = kzalloc(sizeof(*ctxt), GFP_KERNEL);
341 if (ctxt == NULL)
342 return -ENOMEM;
343
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700344 gdt = get_cpu_gdt_table(cpu);
345
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700346 ctxt->flags = VGCF_IN_KERNEL;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700347 ctxt->user_regs.ss = __KERNEL_DS;
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700348#ifdef CONFIG_X86_32
349 ctxt->user_regs.fs = __KERNEL_PERCPU;
Jeremy Fitzhardinge577eebe2009-08-27 12:46:35 -0700350 ctxt->user_regs.gs = __KERNEL_STACK_CANARY;
Jeremy Fitzhardinge795f99b2009-01-30 17:47:54 +0900351#else
352 ctxt->gs_base_kernel = per_cpu_offset(cpu);
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700353#endif
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700354 ctxt->user_regs.eip = (unsigned long)cpu_bringup_and_idle;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700355
356 memset(&ctxt->fpu_ctxt, 0, sizeof(ctxt->fpu_ctxt));
357
Konrad Rzeszutek Wilkdacd45f2012-10-22 11:35:16 -0400358 {
359 ctxt->user_regs.eflags = 0x1000; /* IOPL_RING1 */
360 ctxt->user_regs.ds = __USER_DS;
361 ctxt->user_regs.es = __USER_DS;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700362
Konrad Rzeszutek Wilkdacd45f2012-10-22 11:35:16 -0400363 xen_copy_trap_info(ctxt->trap_ctxt);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700364
Konrad Rzeszutek Wilkdacd45f2012-10-22 11:35:16 -0400365 ctxt->ldt_ents = 0;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700366
Konrad Rzeszutek Wilkdacd45f2012-10-22 11:35:16 -0400367 BUG_ON((unsigned long)gdt & ~PAGE_MASK);
Jeremy Fitzhardinge9976b392009-02-27 09:19:26 -0800368
Konrad Rzeszutek Wilkdacd45f2012-10-22 11:35:16 -0400369 gdt_mfn = arbitrary_virt_to_mfn(gdt);
370 make_lowmem_page_readonly(gdt);
371 make_lowmem_page_readonly(mfn_to_virt(gdt_mfn));
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700372
Konrad Rzeszutek Wilkdacd45f2012-10-22 11:35:16 -0400373 ctxt->gdt_frames[0] = gdt_mfn;
374 ctxt->gdt_ents = GDT_ENTRIES;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700375
Konrad Rzeszutek Wilkdacd45f2012-10-22 11:35:16 -0400376 ctxt->kernel_ss = __KERNEL_DS;
377 ctxt->kernel_sp = idle->thread.sp0;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700378
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700379#ifdef CONFIG_X86_32
Konrad Rzeszutek Wilkdacd45f2012-10-22 11:35:16 -0400380 ctxt->event_callback_cs = __KERNEL_CS;
381 ctxt->failsafe_callback_cs = __KERNEL_CS;
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700382#endif
Konrad Rzeszutek Wilkdacd45f2012-10-22 11:35:16 -0400383 ctxt->event_callback_eip =
384 (unsigned long)xen_hypervisor_callback;
385 ctxt->failsafe_callback_eip =
386 (unsigned long)xen_failsafe_callback;
387 }
388 ctxt->user_regs.cs = __KERNEL_CS;
389 ctxt->user_regs.esp = idle->thread.sp0 - sizeof(struct pt_regs);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700390
391 per_cpu(xen_cr3, cpu) = __pa(swapper_pg_dir);
392 ctxt->ctrlreg[3] = xen_pfn_to_cr3(virt_to_mfn(swapper_pg_dir));
393
394 if (HYPERVISOR_vcpu_op(VCPUOP_initialise, cpu, ctxt))
395 BUG();
396
397 kfree(ctxt);
398 return 0;
399}
400
Paul Gortmaker148f9bb2013-06-18 18:23:59 -0400401static int xen_cpu_up(unsigned int cpu, struct task_struct *idle)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700402{
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700403 int rc;
404
Brian Gerstc6f5e0a2009-01-19 00:38:58 +0900405 per_cpu(current_task, cpu) = idle;
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700406#ifdef CONFIG_X86_32
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700407 irq_ctx_init(cpu);
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700408#else
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700409 clear_tsk_thread_flag(idle, TIF_FORK);
Jeremy Fitzhardinge38341432009-02-02 13:55:31 -0800410 per_cpu(kernel_stack, cpu) =
411 (unsigned long)task_stack_page(idle) -
412 KERNEL_STACK_OFFSET + THREAD_SIZE;
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700413#endif
Ian Campbell02889672009-11-24 09:32:48 -0800414 xen_setup_runstate_info(cpu);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700415 xen_setup_timer(cpu);
Jeremy Fitzhardinge2d9e1e22008-07-07 12:07:53 -0700416 xen_init_lock_cpu(cpu);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700417
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700418 per_cpu(cpu_state, cpu) = CPU_UP_PREPARE;
419
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700420 /* make sure interrupts start blocked */
421 per_cpu(xen_vcpu, cpu)->evtchn_upcall_mask = 1;
422
423 rc = cpu_initialize_context(cpu, idle);
424 if (rc)
425 return rc;
426
427 if (num_online_cpus() == 1)
Rusty Russell816afe42012-08-06 17:29:49 +0930428 /* Just in case we booted with a single CPU. */
429 alternatives_enable_smp();
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700430
431 rc = xen_smp_intr_init(cpu);
432 if (rc)
433 return rc;
434
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700435 rc = HYPERVISOR_vcpu_op(VCPUOP_up, cpu, NULL);
436 BUG_ON(rc);
437
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700438 while(per_cpu(cpu_state, cpu) != CPU_ONLINE) {
Hannes Eder1207cf8e2009-03-05 20:13:57 +0100439 HYPERVISOR_sched_op(SCHEDOP_yield, NULL);
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700440 barrier();
441 }
442
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700443 return 0;
444}
445
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700446static void xen_smp_cpus_done(unsigned int max_cpus)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700447{
448}
449
Alex Nixon27371462008-09-08 13:43:33 +0100450#ifdef CONFIG_HOTPLUG_CPU
Alex Nixon26fd1052008-09-08 13:43:34 +0100451static int xen_cpu_disable(void)
Alex Nixond68d82a2008-08-22 11:52:15 +0100452{
453 unsigned int cpu = smp_processor_id();
454 if (cpu == 0)
455 return -EBUSY;
456
457 cpu_disable_common();
458
459 load_cr3(swapper_pg_dir);
460 return 0;
461}
462
Alex Nixon26fd1052008-09-08 13:43:34 +0100463static void xen_cpu_die(unsigned int cpu)
Alex Nixond68d82a2008-08-22 11:52:15 +0100464{
Konrad Rzeszutek Wilkb12abaa2013-04-08 20:56:35 -0400465 while (xen_pv_domain() && HYPERVISOR_vcpu_op(VCPUOP_is_up, cpu, NULL)) {
Alex Nixond68d82a2008-08-22 11:52:15 +0100466 current->state = TASK_UNINTERRUPTIBLE;
467 schedule_timeout(HZ/10);
468 }
Konrad Rzeszutek Wilk53b94fd2013-06-04 16:31:34 -0400469 xen_smp_intr_free(cpu);
Alex Nixond68d82a2008-08-22 11:52:15 +0100470 xen_uninit_lock_cpu(cpu);
471 xen_teardown_timer(cpu);
Alex Nixond68d82a2008-08-22 11:52:15 +0100472}
473
Paul Gortmaker148f9bb2013-06-18 18:23:59 -0400474static void xen_play_dead(void) /* used only with HOTPLUG_CPU */
Alex Nixond68d82a2008-08-22 11:52:15 +0100475{
476 play_dead_common();
477 HYPERVISOR_vcpu_op(VCPUOP_down, smp_processor_id(), NULL);
478 cpu_bringup();
Konrad Rzeszutek Wilk466318a2013-06-03 10:33:55 -0400479 /*
480 * commit 4b0c0f294 (tick: Cleanup NOHZ per cpu data on cpu down)
481 * clears certain data that the cpu_idle loop (which called us
482 * and that we return from) expects. The only way to get that
483 * data back is to call:
484 */
485 tick_nohz_idle_enter();
Alex Nixond68d82a2008-08-22 11:52:15 +0100486}
487
Alex Nixon27371462008-09-08 13:43:33 +0100488#else /* !CONFIG_HOTPLUG_CPU */
Alex Nixon26fd1052008-09-08 13:43:34 +0100489static int xen_cpu_disable(void)
Alex Nixon27371462008-09-08 13:43:33 +0100490{
491 return -ENOSYS;
492}
493
Alex Nixon26fd1052008-09-08 13:43:34 +0100494static void xen_cpu_die(unsigned int cpu)
Alex Nixon27371462008-09-08 13:43:33 +0100495{
496 BUG();
497}
498
Alex Nixon26fd1052008-09-08 13:43:34 +0100499static void xen_play_dead(void)
Alex Nixon27371462008-09-08 13:43:33 +0100500{
501 BUG();
502}
503
504#endif
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700505static void stop_self(void *v)
506{
507 int cpu = smp_processor_id();
508
509 /* make sure we're not pinning something down */
510 load_cr3(swapper_pg_dir);
511 /* should set up a minimal gdt */
512
Ian Campbell086748e2010-08-03 14:55:14 -0700513 set_cpu_online(cpu, false);
514
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700515 HYPERVISOR_vcpu_op(VCPUOP_down, cpu, NULL);
516 BUG();
517}
518
Alok Kataria76fac072010-10-11 14:37:08 -0700519static void xen_stop_other_cpus(int wait)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700520{
Alok Kataria76fac072010-10-11 14:37:08 -0700521 smp_call_function(stop_self, NULL, wait);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700522}
523
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700524static void xen_smp_send_reschedule(int cpu)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700525{
526 xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR);
527}
528
Ben Guthrof447d562012-04-21 00:11:04 +0800529static void __xen_send_IPI_mask(const struct cpumask *mask,
530 int vector)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700531{
532 unsigned cpu;
533
Mike Travisbcda0162008-12-16 17:33:59 -0800534 for_each_cpu_and(cpu, mask, cpu_online_mask)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700535 xen_send_IPI_one(cpu, vector);
536}
537
Mike Travisbcda0162008-12-16 17:33:59 -0800538static void xen_smp_send_call_function_ipi(const struct cpumask *mask)
Jens Axboe3b16cf82008-06-26 11:21:54 +0200539{
540 int cpu;
541
Ben Guthrof447d562012-04-21 00:11:04 +0800542 __xen_send_IPI_mask(mask, XEN_CALL_FUNCTION_VECTOR);
Jens Axboe3b16cf82008-06-26 11:21:54 +0200543
544 /* Make sure other vcpus get a chance to run if they need to. */
Mike Travisbcda0162008-12-16 17:33:59 -0800545 for_each_cpu(cpu, mask) {
Jens Axboe3b16cf82008-06-26 11:21:54 +0200546 if (xen_vcpu_stolen(cpu)) {
Hannes Eder1207cf8e2009-03-05 20:13:57 +0100547 HYPERVISOR_sched_op(SCHEDOP_yield, NULL);
Jens Axboe3b16cf82008-06-26 11:21:54 +0200548 break;
549 }
550 }
551}
552
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700553static void xen_smp_send_call_function_single_ipi(int cpu)
Jens Axboe3b16cf82008-06-26 11:21:54 +0200554{
Ben Guthrof447d562012-04-21 00:11:04 +0800555 __xen_send_IPI_mask(cpumask_of(cpu),
Mike Travise7986732008-12-16 17:33:52 -0800556 XEN_CALL_FUNCTION_SINGLE_VECTOR);
Jens Axboe3b16cf82008-06-26 11:21:54 +0200557}
558
Ben Guthrof447d562012-04-21 00:11:04 +0800559static inline int xen_map_vector(int vector)
560{
561 int xen_vector;
562
563 switch (vector) {
564 case RESCHEDULE_VECTOR:
565 xen_vector = XEN_RESCHEDULE_VECTOR;
566 break;
567 case CALL_FUNCTION_VECTOR:
568 xen_vector = XEN_CALL_FUNCTION_VECTOR;
569 break;
570 case CALL_FUNCTION_SINGLE_VECTOR:
571 xen_vector = XEN_CALL_FUNCTION_SINGLE_VECTOR;
572 break;
Lin Ming1ff2b0c2012-04-21 00:11:05 +0800573 case IRQ_WORK_VECTOR:
574 xen_vector = XEN_IRQ_WORK_VECTOR;
575 break;
Konrad Rzeszutek Wilk6efa20e2013-07-19 11:51:31 -0400576#ifdef CONFIG_X86_64
577 case NMI_VECTOR:
578 case APIC_DM_NMI: /* Some use that instead of NMI_VECTOR */
579 xen_vector = XEN_NMI_VECTOR;
580 break;
581#endif
Ben Guthrof447d562012-04-21 00:11:04 +0800582 default:
583 xen_vector = -1;
584 printk(KERN_ERR "xen: vector 0x%x is not implemented\n",
585 vector);
586 }
587
588 return xen_vector;
589}
590
591void xen_send_IPI_mask(const struct cpumask *mask,
592 int vector)
593{
594 int xen_vector = xen_map_vector(vector);
595
596 if (xen_vector >= 0)
597 __xen_send_IPI_mask(mask, xen_vector);
598}
599
600void xen_send_IPI_all(int vector)
601{
602 int xen_vector = xen_map_vector(vector);
603
604 if (xen_vector >= 0)
605 __xen_send_IPI_mask(cpu_online_mask, xen_vector);
606}
607
608void xen_send_IPI_self(int vector)
609{
610 int xen_vector = xen_map_vector(vector);
611
612 if (xen_vector >= 0)
613 xen_send_IPI_one(smp_processor_id(), xen_vector);
614}
615
616void xen_send_IPI_mask_allbutself(const struct cpumask *mask,
617 int vector)
618{
619 unsigned cpu;
620 unsigned int this_cpu = smp_processor_id();
Stefan Bader1db01b42013-05-08 16:37:35 +0200621 int xen_vector = xen_map_vector(vector);
Ben Guthrof447d562012-04-21 00:11:04 +0800622
Stefan Bader1db01b42013-05-08 16:37:35 +0200623 if (!(num_online_cpus() > 1) || (xen_vector < 0))
Ben Guthrof447d562012-04-21 00:11:04 +0800624 return;
625
626 for_each_cpu_and(cpu, mask, cpu_online_mask) {
627 if (this_cpu == cpu)
628 continue;
629
Stefan Bader1db01b42013-05-08 16:37:35 +0200630 xen_send_IPI_one(cpu, xen_vector);
Ben Guthrof447d562012-04-21 00:11:04 +0800631 }
632}
633
634void xen_send_IPI_allbutself(int vector)
635{
Stefan Bader1db01b42013-05-08 16:37:35 +0200636 xen_send_IPI_mask_allbutself(cpu_online_mask, vector);
Ben Guthrof447d562012-04-21 00:11:04 +0800637}
638
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700639static irqreturn_t xen_call_function_interrupt(int irq, void *dev_id)
640{
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700641 irq_enter();
Jens Axboe3b16cf82008-06-26 11:21:54 +0200642 generic_smp_call_function_interrupt();
Brian Gerst1b437c82009-01-19 00:38:57 +0900643 inc_irq_stat(irq_call_count);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700644 irq_exit();
645
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700646 return IRQ_HANDLED;
647}
648
Jens Axboe3b16cf82008-06-26 11:21:54 +0200649static irqreturn_t xen_call_function_single_interrupt(int irq, void *dev_id)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700650{
Jens Axboe3b16cf82008-06-26 11:21:54 +0200651 irq_enter();
652 generic_smp_call_function_single_interrupt();
Brian Gerst1b437c82009-01-19 00:38:57 +0900653 inc_irq_stat(irq_call_count);
Jens Axboe3b16cf82008-06-26 11:21:54 +0200654 irq_exit();
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700655
Jens Axboe3b16cf82008-06-26 11:21:54 +0200656 return IRQ_HANDLED;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700657}
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700658
Lin Ming1ff2b0c2012-04-21 00:11:05 +0800659static irqreturn_t xen_irq_work_interrupt(int irq, void *dev_id)
660{
661 irq_enter();
662 irq_work_run();
663 inc_irq_stat(apic_irq_work_irqs);
664 irq_exit();
665
666 return IRQ_HANDLED;
667}
668
Daniel Kiperb53cede2011-05-04 20:18:05 +0200669static const struct smp_ops xen_smp_ops __initconst = {
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700670 .smp_prepare_boot_cpu = xen_smp_prepare_boot_cpu,
671 .smp_prepare_cpus = xen_smp_prepare_cpus,
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700672 .smp_cpus_done = xen_smp_cpus_done,
673
Alex Nixond68d82a2008-08-22 11:52:15 +0100674 .cpu_up = xen_cpu_up,
675 .cpu_die = xen_cpu_die,
676 .cpu_disable = xen_cpu_disable,
677 .play_dead = xen_play_dead,
678
Alok Kataria76fac072010-10-11 14:37:08 -0700679 .stop_other_cpus = xen_stop_other_cpus,
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700680 .smp_send_reschedule = xen_smp_send_reschedule,
681
682 .send_call_func_ipi = xen_smp_send_call_function_ipi,
683 .send_call_func_single_ipi = xen_smp_send_call_function_single_ipi,
684};
685
686void __init xen_smp_init(void)
687{
688 smp_ops = xen_smp_ops;
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700689 xen_fill_possible_map();
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700690}
Stefano Stabellini99bbb3a2010-12-02 17:55:10 +0000691
692static void __init xen_hvm_smp_prepare_cpus(unsigned int max_cpus)
693{
694 native_smp_prepare_cpus(max_cpus);
695 WARN_ON(xen_smp_intr_init(0));
696
Stefano Stabellini99bbb3a2010-12-02 17:55:10 +0000697 xen_init_lock_cpu(0);
Stefano Stabellini99bbb3a2010-12-02 17:55:10 +0000698}
699
Paul Gortmaker148f9bb2013-06-18 18:23:59 -0400700static int xen_hvm_cpu_up(unsigned int cpu, struct task_struct *tidle)
Stefano Stabellini99bbb3a2010-12-02 17:55:10 +0000701{
702 int rc;
Chuck Andersonfc78d342013-08-06 15:12:19 -0700703 /*
704 * xen_smp_intr_init() needs to run before native_cpu_up()
705 * so that IPI vectors are set up on the booting CPU before
706 * it is marked online in native_cpu_up().
707 */
708 rc = xen_smp_intr_init(cpu);
709 WARN_ON(rc);
710 if (!rc)
711 rc = native_cpu_up(cpu, tidle);
Konrad Rzeszutek Wilk1fb3a8b2013-08-13 11:47:21 -0400712
713 /*
714 * We must initialize the slowpath CPU kicker _after_ the native
715 * path has executed. If we initialized it before none of the
716 * unlocker IPI kicks would reach the booting CPU as the booting
717 * CPU had not set itself 'online' in cpu_online_mask. That mask
718 * is checked when IPIs are sent (on HVM at least).
719 */
720 xen_init_lock_cpu(cpu);
Stefano Stabellini99bbb3a2010-12-02 17:55:10 +0000721 return rc;
722}
723
724static void xen_hvm_cpu_die(unsigned int cpu)
725{
Konrad Rzeszutek Wilkb12abaa2013-04-08 20:56:35 -0400726 xen_cpu_die(cpu);
Stefano Stabellini99bbb3a2010-12-02 17:55:10 +0000727 native_cpu_die(cpu);
728}
729
730void __init xen_hvm_smp_init(void)
731{
Stefano Stabellini3c05c4b2011-08-17 15:15:00 +0200732 if (!xen_have_vector_callback)
733 return;
Stefano Stabellini99bbb3a2010-12-02 17:55:10 +0000734 smp_ops.smp_prepare_cpus = xen_hvm_smp_prepare_cpus;
735 smp_ops.smp_send_reschedule = xen_smp_send_reschedule;
736 smp_ops.cpu_up = xen_hvm_cpu_up;
737 smp_ops.cpu_die = xen_hvm_cpu_die;
738 smp_ops.send_call_func_ipi = xen_smp_send_call_function_ipi;
739 smp_ops.send_call_func_single_ipi = xen_smp_send_call_function_single_ipi;
740}