blob: baca7f2fbd8a90fda8f031e8c860df88f9c34b56 [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.
14 *
15 * This does not handle HOTPLUG_CPU yet.
16 */
17#include <linux/sched.h>
18#include <linux/err.h>
19#include <linux/smp.h>
20
21#include <asm/paravirt.h>
22#include <asm/desc.h>
23#include <asm/pgtable.h>
24#include <asm/cpu.h>
25
26#include <xen/interface/xen.h>
27#include <xen/interface/vcpu.h>
28
29#include <asm/xen/interface.h>
30#include <asm/xen/hypercall.h>
31
32#include <xen/page.h>
33#include <xen/events.h>
34
35#include "xen-ops.h"
36#include "mmu.h"
37
Jeremy Fitzhardinge0e913982008-05-26 23:31:27 +010038cpumask_t xen_cpu_initialized_map;
Jens Axboe3b16cf82008-06-26 11:21:54 +020039
40static DEFINE_PER_CPU(int, resched_irq);
41static DEFINE_PER_CPU(int, callfunc_irq);
42static DEFINE_PER_CPU(int, callfuncsingle_irq);
Jeremy Fitzhardingeee523ca2008-03-17 16:37:18 -070043static DEFINE_PER_CPU(int, debug_irq) = -1;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070044
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070045static irqreturn_t xen_call_function_interrupt(int irq, void *dev_id);
Jens Axboe3b16cf82008-06-26 11:21:54 +020046static irqreturn_t xen_call_function_single_interrupt(int irq, void *dev_id);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070047
48/*
49 * Reschedule call back. Nothing to do,
50 * all the work is done automatically when
51 * we return from the interrupt.
52 */
53static irqreturn_t xen_reschedule_interrupt(int irq, void *dev_id)
54{
Jeremy Fitzhardinge38bb5ab2008-05-26 23:31:16 +010055#ifdef CONFIG_X86_32
56 __get_cpu_var(irq_stat).irq_resched_count++;
57#else
58 add_pda(irq_resched_count, 1);
59#endif
60
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070061 return IRQ_HANDLED;
62}
63
64static __cpuinit void cpu_bringup_and_idle(void)
65{
66 int cpu = smp_processor_id();
67
68 cpu_init();
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -070069 preempt_disable();
70
Jeremy Fitzhardingee2a81ba2008-03-17 16:37:17 -070071 xen_enable_sysenter();
Jeremy Fitzhardinge6fcac6d2008-07-08 15:07:14 -070072 xen_enable_syscall();
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070073
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -070074 cpu = smp_processor_id();
75 smp_store_cpu_info(cpu);
76 cpu_data(cpu).x86_max_cores = 1;
77 set_cpu_sibling_map(cpu);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070078
79 xen_setup_cpu_clockevents();
80
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -070081 cpu_set(cpu, cpu_online_map);
82 x86_write_percpu(cpu_state, CPU_ONLINE);
83 wmb();
84
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070085 /* We can take interrupts now: we're officially "up". */
86 local_irq_enable();
87
88 wmb(); /* make sure everything is out */
89 cpu_idle();
90}
91
92static int xen_smp_intr_init(unsigned int cpu)
93{
94 int rc;
Jeremy Fitzhardingeee523ca2008-03-17 16:37:18 -070095 const char *resched_name, *callfunc_name, *debug_name;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070096
97 resched_name = kasprintf(GFP_KERNEL, "resched%d", cpu);
98 rc = bind_ipi_to_irqhandler(XEN_RESCHEDULE_VECTOR,
99 cpu,
100 xen_reschedule_interrupt,
101 IRQF_DISABLED|IRQF_PERCPU|IRQF_NOBALANCING,
102 resched_name,
103 NULL);
104 if (rc < 0)
105 goto fail;
106 per_cpu(resched_irq, cpu) = rc;
107
108 callfunc_name = kasprintf(GFP_KERNEL, "callfunc%d", cpu);
109 rc = bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_VECTOR,
110 cpu,
111 xen_call_function_interrupt,
112 IRQF_DISABLED|IRQF_PERCPU|IRQF_NOBALANCING,
113 callfunc_name,
114 NULL);
115 if (rc < 0)
116 goto fail;
117 per_cpu(callfunc_irq, cpu) = rc;
118
Jeremy Fitzhardingeee523ca2008-03-17 16:37:18 -0700119 debug_name = kasprintf(GFP_KERNEL, "debug%d", cpu);
120 rc = bind_virq_to_irqhandler(VIRQ_DEBUG, cpu, xen_debug_interrupt,
121 IRQF_DISABLED | IRQF_PERCPU | IRQF_NOBALANCING,
122 debug_name, NULL);
123 if (rc < 0)
124 goto fail;
125 per_cpu(debug_irq, cpu) = rc;
126
Jens Axboe3b16cf82008-06-26 11:21:54 +0200127 callfunc_name = kasprintf(GFP_KERNEL, "callfuncsingle%d", cpu);
128 rc = bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_SINGLE_VECTOR,
129 cpu,
130 xen_call_function_single_interrupt,
131 IRQF_DISABLED|IRQF_PERCPU|IRQF_NOBALANCING,
132 callfunc_name,
133 NULL);
134 if (rc < 0)
135 goto fail;
136 per_cpu(callfuncsingle_irq, cpu) = rc;
137
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700138 return 0;
139
140 fail:
141 if (per_cpu(resched_irq, cpu) >= 0)
142 unbind_from_irqhandler(per_cpu(resched_irq, cpu), NULL);
143 if (per_cpu(callfunc_irq, cpu) >= 0)
144 unbind_from_irqhandler(per_cpu(callfunc_irq, cpu), NULL);
Jeremy Fitzhardingeee523ca2008-03-17 16:37:18 -0700145 if (per_cpu(debug_irq, cpu) >= 0)
146 unbind_from_irqhandler(per_cpu(debug_irq, cpu), NULL);
Jens Axboe3b16cf82008-06-26 11:21:54 +0200147 if (per_cpu(callfuncsingle_irq, cpu) >= 0)
148 unbind_from_irqhandler(per_cpu(callfuncsingle_irq, cpu), NULL);
149
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700150 return rc;
151}
152
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700153static void __init xen_fill_possible_map(void)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700154{
155 int i, rc;
156
157 for (i = 0; i < NR_CPUS; i++) {
158 rc = HYPERVISOR_vcpu_op(VCPUOP_is_up, i, NULL);
Jeremy Fitzhardinge4560a292008-07-08 15:06:56 -0700159 if (rc >= 0) {
160 num_processors++;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700161 cpu_set(i, cpu_possible_map);
Jeremy Fitzhardinge4560a292008-07-08 15:06:56 -0700162 }
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700163 }
164}
165
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700166static void __init xen_smp_prepare_boot_cpu(void)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700167{
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700168 BUG_ON(smp_processor_id() != 0);
169 native_smp_prepare_boot_cpu();
170
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700171 /* We've switched to the "real" per-cpu gdt, so make sure the
172 old memory can be recycled */
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700173 make_lowmem_page_readwrite(&per_cpu_var(gdt_page));
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700174
175 xen_setup_vcpu_info_placement();
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700176}
177
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700178static void __init xen_smp_prepare_cpus(unsigned int max_cpus)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700179{
180 unsigned cpu;
181
Jeremy Fitzhardinge2d9e1e22008-07-07 12:07:53 -0700182 xen_init_lock_cpu(0);
183
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700184 smp_store_cpu_info(0);
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700185 cpu_data(0).x86_max_cores = 1;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700186 set_cpu_sibling_map(0);
187
188 if (xen_smp_intr_init(0))
189 BUG();
190
Glauber Costaecaa6c92008-03-27 14:06:03 -0300191 xen_cpu_initialized_map = cpumask_of_cpu(0);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700192
193 /* Restrict the possible_map according to max_cpus. */
194 while ((num_possible_cpus() > 1) && (num_possible_cpus() > max_cpus)) {
Akinobu Mita7c04e642008-04-19 23:55:17 +0900195 for (cpu = NR_CPUS - 1; !cpu_possible(cpu); cpu--)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700196 continue;
197 cpu_clear(cpu, cpu_possible_map);
198 }
199
200 for_each_possible_cpu (cpu) {
201 struct task_struct *idle;
202
203 if (cpu == 0)
204 continue;
205
206 idle = fork_idle(cpu);
207 if (IS_ERR(idle))
208 panic("failed fork for CPU %d", cpu);
209
210 cpu_set(cpu, cpu_present_map);
211 }
212
213 //init_xenbus_allowed_cpumask();
214}
215
216static __cpuinit int
217cpu_initialize_context(unsigned int cpu, struct task_struct *idle)
218{
219 struct vcpu_guest_context *ctxt;
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700220 struct desc_struct *gdt;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700221
Glauber Costaecaa6c92008-03-27 14:06:03 -0300222 if (cpu_test_and_set(cpu, xen_cpu_initialized_map))
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700223 return 0;
224
225 ctxt = kzalloc(sizeof(*ctxt), GFP_KERNEL);
226 if (ctxt == NULL)
227 return -ENOMEM;
228
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700229 gdt = get_cpu_gdt_table(cpu);
230
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700231 ctxt->flags = VGCF_IN_KERNEL;
232 ctxt->user_regs.ds = __USER_DS;
233 ctxt->user_regs.es = __USER_DS;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700234 ctxt->user_regs.ss = __KERNEL_DS;
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700235#ifdef CONFIG_X86_32
236 ctxt->user_regs.fs = __KERNEL_PERCPU;
237#endif
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700238 ctxt->user_regs.eip = (unsigned long)cpu_bringup_and_idle;
239 ctxt->user_regs.eflags = 0x1000; /* IOPL_RING1 */
240
241 memset(&ctxt->fpu_ctxt, 0, sizeof(ctxt->fpu_ctxt));
242
243 xen_copy_trap_info(ctxt->trap_ctxt);
244
245 ctxt->ldt_ents = 0;
246
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700247 BUG_ON((unsigned long)gdt & ~PAGE_MASK);
248 make_lowmem_page_readonly(gdt);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700249
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700250 ctxt->gdt_frames[0] = virt_to_mfn(gdt);
251 ctxt->gdt_ents = GDT_ENTRIES;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700252
253 ctxt->user_regs.cs = __KERNEL_CS;
H. Peter Anvinfaca6222008-01-30 13:31:02 +0100254 ctxt->user_regs.esp = idle->thread.sp0 - sizeof(struct pt_regs);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700255
256 ctxt->kernel_ss = __KERNEL_DS;
H. Peter Anvinfaca6222008-01-30 13:31:02 +0100257 ctxt->kernel_sp = idle->thread.sp0;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700258
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700259#ifdef CONFIG_X86_32
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700260 ctxt->event_callback_cs = __KERNEL_CS;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700261 ctxt->failsafe_callback_cs = __KERNEL_CS;
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700262#endif
263 ctxt->event_callback_eip = (unsigned long)xen_hypervisor_callback;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700264 ctxt->failsafe_callback_eip = (unsigned long)xen_failsafe_callback;
265
266 per_cpu(xen_cr3, cpu) = __pa(swapper_pg_dir);
267 ctxt->ctrlreg[3] = xen_pfn_to_cr3(virt_to_mfn(swapper_pg_dir));
268
269 if (HYPERVISOR_vcpu_op(VCPUOP_initialise, cpu, ctxt))
270 BUG();
271
272 kfree(ctxt);
273 return 0;
274}
275
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700276static int __cpuinit xen_cpu_up(unsigned int cpu)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700277{
278 struct task_struct *idle = idle_task(cpu);
279 int rc;
280
281#if 0
282 rc = cpu_up_check(cpu);
283 if (rc)
284 return rc;
285#endif
286
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700287#ifdef CONFIG_X86_64
288 /* Allocate node local memory for AP pdas */
289 WARN_ON(cpu == 0);
290 if (cpu > 0) {
291 rc = get_local_pda(cpu);
292 if (rc)
293 return rc;
294 }
295#endif
296
297#ifdef CONFIG_X86_32
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700298 init_gdt(cpu);
299 per_cpu(current_task, cpu) = idle;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700300 irq_ctx_init(cpu);
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700301#else
302 cpu_pda(cpu)->pcurrent = idle;
303 clear_tsk_thread_flag(idle, TIF_FORK);
304#endif
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700305 xen_setup_timer(cpu);
Jeremy Fitzhardinge2d9e1e22008-07-07 12:07:53 -0700306 xen_init_lock_cpu(cpu);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700307
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700308 per_cpu(cpu_state, cpu) = CPU_UP_PREPARE;
309
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700310 /* make sure interrupts start blocked */
311 per_cpu(xen_vcpu, cpu)->evtchn_upcall_mask = 1;
312
313 rc = cpu_initialize_context(cpu, idle);
314 if (rc)
315 return rc;
316
317 if (num_online_cpus() == 1)
318 alternatives_smp_switch(1);
319
320 rc = xen_smp_intr_init(cpu);
321 if (rc)
322 return rc;
323
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700324 rc = HYPERVISOR_vcpu_op(VCPUOP_up, cpu, NULL);
325 BUG_ON(rc);
326
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700327 while(per_cpu(cpu_state, cpu) != CPU_ONLINE) {
328 HYPERVISOR_sched_op(SCHEDOP_yield, 0);
329 barrier();
330 }
331
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700332 return 0;
333}
334
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700335static void xen_smp_cpus_done(unsigned int max_cpus)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700336{
337}
338
339static void stop_self(void *v)
340{
341 int cpu = smp_processor_id();
342
343 /* make sure we're not pinning something down */
344 load_cr3(swapper_pg_dir);
345 /* should set up a minimal gdt */
346
347 HYPERVISOR_vcpu_op(VCPUOP_down, cpu, NULL);
348 BUG();
349}
350
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700351static void xen_smp_send_stop(void)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700352{
Jens Axboe8691e5a2008-06-06 11:18:06 +0200353 smp_call_function(stop_self, NULL, 0);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700354}
355
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700356static void xen_smp_send_reschedule(int cpu)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700357{
358 xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR);
359}
360
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700361static void xen_send_IPI_mask(cpumask_t mask, enum ipi_vector vector)
362{
363 unsigned cpu;
364
365 cpus_and(mask, mask, cpu_online_map);
366
Mike Travis334ef7a2008-05-12 21:21:13 +0200367 for_each_cpu_mask_nr(cpu, mask)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700368 xen_send_IPI_one(cpu, vector);
369}
370
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700371static void xen_smp_send_call_function_ipi(cpumask_t mask)
Jens Axboe3b16cf82008-06-26 11:21:54 +0200372{
373 int cpu;
374
375 xen_send_IPI_mask(mask, XEN_CALL_FUNCTION_VECTOR);
376
377 /* Make sure other vcpus get a chance to run if they need to. */
Ingo Molnar82638842008-07-16 00:29:07 +0200378 for_each_cpu_mask_nr(cpu, mask) {
Jens Axboe3b16cf82008-06-26 11:21:54 +0200379 if (xen_vcpu_stolen(cpu)) {
380 HYPERVISOR_sched_op(SCHEDOP_yield, 0);
381 break;
382 }
383 }
384}
385
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700386static void xen_smp_send_call_function_single_ipi(int cpu)
Jens Axboe3b16cf82008-06-26 11:21:54 +0200387{
388 xen_send_IPI_mask(cpumask_of_cpu(cpu), XEN_CALL_FUNCTION_SINGLE_VECTOR);
389}
390
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700391static irqreturn_t xen_call_function_interrupt(int irq, void *dev_id)
392{
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700393 irq_enter();
Jens Axboe3b16cf82008-06-26 11:21:54 +0200394 generic_smp_call_function_interrupt();
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700395#ifdef CONFIG_X86_32
Joe Korty38e760a2007-10-17 18:04:40 +0200396 __get_cpu_var(irq_stat).irq_call_count++;
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700397#else
398 add_pda(irq_call_count, 1);
399#endif
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700400 irq_exit();
401
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700402 return IRQ_HANDLED;
403}
404
Jens Axboe3b16cf82008-06-26 11:21:54 +0200405static irqreturn_t xen_call_function_single_interrupt(int irq, void *dev_id)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700406{
Jens Axboe3b16cf82008-06-26 11:21:54 +0200407 irq_enter();
408 generic_smp_call_function_single_interrupt();
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700409#ifdef CONFIG_X86_32
Jens Axboe3b16cf82008-06-26 11:21:54 +0200410 __get_cpu_var(irq_stat).irq_call_count++;
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700411#else
412 add_pda(irq_call_count, 1);
413#endif
Jens Axboe3b16cf82008-06-26 11:21:54 +0200414 irq_exit();
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700415
Jens Axboe3b16cf82008-06-26 11:21:54 +0200416 return IRQ_HANDLED;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700417}
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700418
419static const struct smp_ops xen_smp_ops __initdata = {
420 .smp_prepare_boot_cpu = xen_smp_prepare_boot_cpu,
421 .smp_prepare_cpus = xen_smp_prepare_cpus,
422 .cpu_up = xen_cpu_up,
423 .smp_cpus_done = xen_smp_cpus_done,
424
425 .smp_send_stop = xen_smp_send_stop,
426 .smp_send_reschedule = xen_smp_send_reschedule,
427
428 .send_call_func_ipi = xen_smp_send_call_function_ipi,
429 .send_call_func_single_ipi = xen_smp_send_call_function_single_ipi,
430};
431
432void __init xen_smp_init(void)
433{
434 smp_ops = xen_smp_ops;
Jeremy Fitzhardingec7b75942008-07-08 15:06:43 -0700435 xen_fill_possible_map();
Jeremy Fitzhardinge2d9e1e22008-07-07 12:07:53 -0700436 xen_init_spinlocks();
Jeremy Fitzhardingea9e70622008-07-08 15:06:41 -0700437}