blob: 73d3c84a3495d398b18f7ee65ba8ad706cd3c90f [file] [log] [blame]
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001/*
2 * Core of Xen paravirt_ops implementation.
3 *
4 * This file contains the xen_paravirt_ops structure itself, and the
5 * implementations for:
6 * - privileged instructions
7 * - interrupt flags
8 * - segment operations
9 * - booting and setup
10 *
11 * Jeremy Fitzhardinge <jeremy@xensource.com>, XenSource Inc, 2007
12 */
13
14#include <linux/kernel.h>
15#include <linux/init.h>
16#include <linux/smp.h>
17#include <linux/preempt.h>
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -070018#include <linux/hardirq.h>
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -070019#include <linux/percpu.h>
20#include <linux/delay.h>
21#include <linux/start_kernel.h>
22#include <linux/sched.h>
23#include <linux/bootmem.h>
24#include <linux/module.h>
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -070025#include <linux/mm.h>
26#include <linux/page-flags.h>
27#include <linux/highmem.h>
Markus Armbrusterb8c2d3d2008-02-27 14:56:35 +010028#include <linux/console.h>
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -070029
30#include <xen/interface/xen.h>
31#include <xen/interface/physdev.h>
32#include <xen/interface/vcpu.h>
Jeremy Fitzhardingefefa6292007-07-17 18:37:07 -070033#include <xen/interface/sched.h>
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -070034#include <xen/features.h>
35#include <xen/page.h>
36
37#include <asm/paravirt.h>
38#include <asm/page.h>
39#include <asm/xen/hypercall.h>
40#include <asm/xen/hypervisor.h>
41#include <asm/fixmap.h>
42#include <asm/processor.h>
43#include <asm/setup.h>
44#include <asm/desc.h>
45#include <asm/pgtable.h>
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -070046#include <asm/tlbflush.h>
Jeremy Fitzhardingefefa6292007-07-17 18:37:07 -070047#include <asm/reboot.h>
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -070048
49#include "xen-ops.h"
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -070050#include "mmu.h"
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -070051#include "multicalls.h"
52
53EXPORT_SYMBOL_GPL(hypercall_page);
54
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -070055DEFINE_PER_CPU(struct vcpu_info *, xen_vcpu);
56DEFINE_PER_CPU(struct vcpu_info, xen_vcpu_info);
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -070057
58/*
59 * Note about cr3 (pagetable base) values:
60 *
61 * xen_cr3 contains the current logical cr3 value; it contains the
62 * last set cr3. This may not be the current effective cr3, because
63 * its update may be being lazily deferred. However, a vcpu looking
64 * at its own cr3 can use this value knowing that it everything will
65 * be self-consistent.
66 *
67 * xen_current_cr3 contains the actual vcpu cr3; it is set once the
68 * hypercall to set the vcpu cr3 is complete (so it may be a little
69 * out of date, but it will never be set early). If one vcpu is
70 * looking at another vcpu's cr3 value, it should use this variable.
71 */
72DEFINE_PER_CPU(unsigned long, xen_cr3); /* cr3 stored as physaddr */
73DEFINE_PER_CPU(unsigned long, xen_current_cr3); /* actual vcpu cr3 */
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -070074
75struct start_info *xen_start_info;
76EXPORT_SYMBOL_GPL(xen_start_info);
77
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -070078static /* __initdata */ struct shared_info dummy_shared_info;
79
80/*
81 * Point at some empty memory to start with. We map the real shared_info
82 * page as soon as fixmap is up and running.
83 */
84struct shared_info *HYPERVISOR_shared_info = (void *)&dummy_shared_info;
85
86/*
87 * Flag to determine whether vcpu info placement is available on all
88 * VCPUs. We assume it is to start with, and then set it to zero on
89 * the first failure. This is because it can succeed on some VCPUs
90 * and not others, since it can involve hypervisor memory allocation,
91 * or because the guest failed to guarantee all the appropriate
92 * constraints on all VCPUs (ie buffer can't cross a page boundary).
93 *
94 * Note that any particular CPU may be using a placed vcpu structure,
95 * but we can only optimise if the all are.
96 *
97 * 0: not available, 1: available
98 */
Jeremy Fitzhardinge04c44a02008-03-17 16:36:52 -070099static int have_vcpu_info_placement = 1;
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700100
101static void __init xen_vcpu_setup(int cpu)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700102{
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700103 struct vcpu_register_vcpu_info info;
104 int err;
105 struct vcpu_info *vcpup;
106
Jeremy Fitzhardinge2e8fe712008-03-17 16:36:53 -0700107 BUG_ON(HYPERVISOR_shared_info == &dummy_shared_info);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700108 per_cpu(xen_vcpu, cpu) = &HYPERVISOR_shared_info->vcpu_info[cpu];
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700109
110 if (!have_vcpu_info_placement)
111 return; /* already tested, not available */
112
113 vcpup = &per_cpu(xen_vcpu_info, cpu);
114
115 info.mfn = virt_to_mfn(vcpup);
116 info.offset = offset_in_page(vcpup);
117
Jeremy Fitzhardingee3d26972007-10-16 11:51:31 -0700118 printk(KERN_DEBUG "trying to map vcpu_info %d at %p, mfn %llx, offset %d\n",
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700119 cpu, vcpup, info.mfn, info.offset);
120
121 /* Check to see if the hypervisor will put the vcpu_info
122 structure where we want it, which allows direct access via
123 a percpu-variable. */
124 err = HYPERVISOR_vcpu_op(VCPUOP_register_vcpu_info, cpu, &info);
125
126 if (err) {
127 printk(KERN_DEBUG "register_vcpu_info failed: err=%d\n", err);
128 have_vcpu_info_placement = 0;
129 } else {
130 /* This cpu is using the registered vcpu info, even if
131 later ones fail to. */
132 per_cpu(xen_vcpu, cpu) = vcpup;
Jeremy Fitzhardinge64876732007-07-17 18:37:07 -0700133
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700134 printk(KERN_DEBUG "cpu %d using vcpu_info at %p\n",
135 cpu, vcpup);
136 }
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700137}
138
139static void __init xen_banner(void)
140{
141 printk(KERN_INFO "Booting paravirtualized kernel on %s\n",
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700142 pv_info.name);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700143 printk(KERN_INFO "Hypervisor signature: %s\n", xen_start_info->magic);
144}
145
H. Peter Anvin65ea5b02008-01-30 13:30:56 +0100146static void xen_cpuid(unsigned int *ax, unsigned int *bx,
147 unsigned int *cx, unsigned int *dx)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700148{
149 unsigned maskedx = ~0;
150
151 /*
152 * Mask out inconvenient features, to try and disable as many
153 * unsupported kernel subsystems as possible.
154 */
H. Peter Anvin65ea5b02008-01-30 13:30:56 +0100155 if (*ax == 1)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700156 maskedx = ~((1 << X86_FEATURE_APIC) | /* disable APIC */
157 (1 << X86_FEATURE_ACPI) | /* disable ACPI */
Jeremy Fitzhardingedbe9e992008-03-17 16:37:21 -0700158 (1 << X86_FEATURE_MCE) | /* disable MCE */
159 (1 << X86_FEATURE_MCA) | /* disable MCA */
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700160 (1 << X86_FEATURE_ACC)); /* thermal monitoring */
161
162 asm(XEN_EMULATE_PREFIX "cpuid"
H. Peter Anvin65ea5b02008-01-30 13:30:56 +0100163 : "=a" (*ax),
164 "=b" (*bx),
165 "=c" (*cx),
166 "=d" (*dx)
167 : "0" (*ax), "2" (*cx));
168 *dx &= maskedx;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700169}
170
171static void xen_set_debugreg(int reg, unsigned long val)
172{
173 HYPERVISOR_set_debugreg(reg, val);
174}
175
176static unsigned long xen_get_debugreg(int reg)
177{
178 return HYPERVISOR_get_debugreg(reg);
179}
180
181static unsigned long xen_save_fl(void)
182{
183 struct vcpu_info *vcpu;
184 unsigned long flags;
185
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700186 vcpu = x86_read_percpu(xen_vcpu);
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700187
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700188 /* flag has opposite sense of mask */
189 flags = !vcpu->evtchn_upcall_mask;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700190
191 /* convert to IF type flag
192 -0 -> 0x00000000
193 -1 -> 0xffffffff
194 */
195 return (-flags) & X86_EFLAGS_IF;
196}
197
198static void xen_restore_fl(unsigned long flags)
199{
200 struct vcpu_info *vcpu;
201
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700202 /* convert from IF type flag */
203 flags = !(flags & X86_EFLAGS_IF);
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700204
205 /* There's a one instruction preempt window here. We need to
206 make sure we're don't switch CPUs between getting the vcpu
207 pointer and updating the mask. */
208 preempt_disable();
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700209 vcpu = x86_read_percpu(xen_vcpu);
210 vcpu->evtchn_upcall_mask = flags;
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700211 preempt_enable_no_resched();
212
213 /* Doesn't matter if we get preempted here, because any
214 pending event will get dealt with anyway. */
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700215
216 if (flags == 0) {
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700217 preempt_check_resched();
218 barrier(); /* unmask then check (avoid races) */
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700219 if (unlikely(vcpu->evtchn_upcall_pending))
220 force_evtchn_callback();
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700221 }
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700222}
223
224static void xen_irq_disable(void)
225{
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700226 /* There's a one instruction preempt window here. We need to
227 make sure we're don't switch CPUs between getting the vcpu
228 pointer and updating the mask. */
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700229 preempt_disable();
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700230 x86_read_percpu(xen_vcpu)->evtchn_upcall_mask = 1;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700231 preempt_enable_no_resched();
232}
233
234static void xen_irq_enable(void)
235{
236 struct vcpu_info *vcpu;
237
Jeremy Fitzhardinge239d1fc2008-05-26 23:31:05 +0100238 /* We don't need to worry about being preempted here, since
239 either a) interrupts are disabled, so no preemption, or b)
240 the caller is confused and is trying to re-enable interrupts
241 on an indeterminate processor. */
242
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700243 vcpu = x86_read_percpu(xen_vcpu);
244 vcpu->evtchn_upcall_mask = 0;
245
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700246 /* Doesn't matter if we get preempted here, because any
247 pending event will get dealt with anyway. */
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700248
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700249 barrier(); /* unmask then check (avoid races) */
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700250 if (unlikely(vcpu->evtchn_upcall_pending))
251 force_evtchn_callback();
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700252}
253
254static void xen_safe_halt(void)
255{
256 /* Blocking includes an implicit local_irq_enable(). */
Jeremy Fitzhardinge349c7092008-05-26 23:31:02 +0100257 if (HYPERVISOR_sched_op(SCHEDOP_block, NULL) != 0)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700258 BUG();
259}
260
261static void xen_halt(void)
262{
263 if (irqs_disabled())
264 HYPERVISOR_vcpu_op(VCPUOP_down, smp_processor_id(), NULL);
265 else
266 xen_safe_halt();
267}
268
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700269static void xen_leave_lazy(void)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700270{
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700271 paravirt_leave_lazy(paravirt_get_lazy_mode());
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700272 xen_mc_flush();
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700273}
274
275static unsigned long xen_store_tr(void)
276{
277 return 0;
278}
279
280static void xen_set_ldt(const void *addr, unsigned entries)
281{
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700282 struct mmuext_op *op;
283 struct multicall_space mcs = xen_mc_entry(sizeof(*op));
284
285 op = mcs.args;
286 op->cmd = MMUEXT_SET_LDT;
Jan Beulich4dbf7af2008-01-30 13:33:14 +0100287 op->arg1.linear_addr = (unsigned long)addr;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700288 op->arg2.nr_ents = entries;
289
290 MULTI_mmuext_op(mcs.mc, op, 1, NULL, DOMID_SELF);
291
292 xen_mc_issue(PARAVIRT_LAZY_CPU);
293}
294
Glauber de Oliveira Costa6b68f012008-01-30 13:31:12 +0100295static void xen_load_gdt(const struct desc_ptr *dtr)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700296{
297 unsigned long *frames;
298 unsigned long va = dtr->address;
299 unsigned int size = dtr->size + 1;
300 unsigned pages = (size + PAGE_SIZE - 1) / PAGE_SIZE;
301 int f;
302 struct multicall_space mcs;
303
304 /* A GDT can be up to 64k in size, which corresponds to 8192
305 8-byte entries, or 16 4k pages.. */
306
307 BUG_ON(size > 65536);
308 BUG_ON(va & ~PAGE_MASK);
309
310 mcs = xen_mc_entry(sizeof(*frames) * pages);
311 frames = mcs.args;
312
313 for (f = 0; va < dtr->address + size; va += PAGE_SIZE, f++) {
314 frames[f] = virt_to_mfn(va);
315 make_lowmem_page_readonly((void *)va);
316 }
317
318 MULTI_set_gdt(mcs.mc, frames, size / sizeof(struct desc_struct));
319
320 xen_mc_issue(PARAVIRT_LAZY_CPU);
321}
322
323static void load_TLS_descriptor(struct thread_struct *t,
324 unsigned int cpu, unsigned int i)
325{
326 struct desc_struct *gdt = get_cpu_gdt_table(cpu);
327 xmaddr_t maddr = virt_to_machine(&gdt[GDT_ENTRY_TLS_MIN+i]);
328 struct multicall_space mc = __xen_mc_entry(0);
329
330 MULTI_update_descriptor(mc.mc, maddr.maddr, t->tls_array[i]);
331}
332
333static void xen_load_tls(struct thread_struct *t, unsigned int cpu)
334{
335 xen_mc_batch();
336
337 load_TLS_descriptor(t, cpu, 0);
338 load_TLS_descriptor(t, cpu, 1);
339 load_TLS_descriptor(t, cpu, 2);
340
341 xen_mc_issue(PARAVIRT_LAZY_CPU);
Jeremy Fitzhardinge8b84ad92007-07-17 18:37:06 -0700342
343 /*
344 * XXX sleazy hack: If we're being called in a lazy-cpu zone,
345 * it means we're in a context switch, and %gs has just been
346 * saved. This means we can zero it out to prevent faults on
347 * exit from the hypervisor if the next process has no %gs.
348 * Either way, it has been saved, and the new value will get
349 * loaded properly. This will go away as soon as Xen has been
350 * modified to not save/restore %gs for normal hypercalls.
351 */
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700352 if (paravirt_get_lazy_mode() == PARAVIRT_LAZY_CPU)
Jeremy Fitzhardinge8b84ad92007-07-17 18:37:06 -0700353 loadsegment(gs, 0);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700354}
355
356static void xen_write_ldt_entry(struct desc_struct *dt, int entrynum,
Glauber de Oliveira Costa75b8bb32008-01-30 13:31:13 +0100357 const void *ptr)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700358{
359 unsigned long lp = (unsigned long)&dt[entrynum];
360 xmaddr_t mach_lp = virt_to_machine(lp);
Glauber de Oliveira Costa75b8bb32008-01-30 13:31:13 +0100361 u64 entry = *(u64 *)ptr;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700362
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700363 preempt_disable();
364
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700365 xen_mc_flush();
366 if (HYPERVISOR_update_descriptor(mach_lp.maddr, entry))
367 BUG();
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700368
369 preempt_enable();
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700370}
371
372static int cvt_gate_to_trap(int vector, u32 low, u32 high,
373 struct trap_info *info)
374{
375 u8 type, dpl;
376
377 type = (high >> 8) & 0x1f;
378 dpl = (high >> 13) & 3;
379
380 if (type != 0xf && type != 0xe)
381 return 0;
382
383 info->vector = vector;
384 info->address = (high & 0xffff0000) | (low & 0x0000ffff);
385 info->cs = low >> 16;
386 info->flags = dpl;
387 /* interrupt gates clear IF */
388 if (type == 0xe)
389 info->flags |= 4;
390
391 return 1;
392}
393
394/* Locations of each CPU's IDT */
Glauber de Oliveira Costa6b68f012008-01-30 13:31:12 +0100395static DEFINE_PER_CPU(struct desc_ptr, idt_desc);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700396
397/* Set an IDT entry. If the entry is part of the current IDT, then
398 also update Xen. */
Glauber de Oliveira Costa8d947342008-01-30 13:31:12 +0100399static void xen_write_idt_entry(gate_desc *dt, int entrynum, const gate_desc *g)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700400{
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700401 unsigned long p = (unsigned long)&dt[entrynum];
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700402 unsigned long start, end;
403
404 preempt_disable();
405
406 start = __get_cpu_var(idt_desc).address;
407 end = start + __get_cpu_var(idt_desc).size + 1;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700408
409 xen_mc_flush();
410
Glauber de Oliveira Costa8d947342008-01-30 13:31:12 +0100411 native_write_idt_entry(dt, entrynum, g);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700412
413 if (p >= start && (p + 8) <= end) {
414 struct trap_info info[2];
Glauber de Oliveira Costa8d947342008-01-30 13:31:12 +0100415 u32 *desc = (u32 *)g;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700416
417 info[1].address = 0;
418
Glauber de Oliveira Costa8d947342008-01-30 13:31:12 +0100419 if (cvt_gate_to_trap(entrynum, desc[0], desc[1], &info[0]))
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700420 if (HYPERVISOR_set_trap_table(info))
421 BUG();
422 }
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700423
424 preempt_enable();
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700425}
426
Glauber de Oliveira Costa6b68f012008-01-30 13:31:12 +0100427static void xen_convert_trap_info(const struct desc_ptr *desc,
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700428 struct trap_info *traps)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700429{
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700430 unsigned in, out, count;
431
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700432 count = (desc->size+1) / 8;
433 BUG_ON(count > 256);
434
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700435 for (in = out = 0; in < count; in++) {
436 const u32 *entry = (u32 *)(desc->address + in * 8);
437
438 if (cvt_gate_to_trap(in, entry[0], entry[1], &traps[out]))
439 out++;
440 }
441 traps[out].address = 0;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700442}
443
444void xen_copy_trap_info(struct trap_info *traps)
445{
Glauber de Oliveira Costa6b68f012008-01-30 13:31:12 +0100446 const struct desc_ptr *desc = &__get_cpu_var(idt_desc);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700447
448 xen_convert_trap_info(desc, traps);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700449}
450
451/* Load a new IDT into Xen. In principle this can be per-CPU, so we
452 hold a spinlock to protect the static traps[] array (static because
453 it avoids allocation, and saves stack space). */
Glauber de Oliveira Costa6b68f012008-01-30 13:31:12 +0100454static void xen_load_idt(const struct desc_ptr *desc)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700455{
456 static DEFINE_SPINLOCK(lock);
457 static struct trap_info traps[257];
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700458
459 spin_lock(&lock);
460
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700461 __get_cpu_var(idt_desc) = *desc;
462
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700463 xen_convert_trap_info(desc, traps);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700464
465 xen_mc_flush();
466 if (HYPERVISOR_set_trap_table(traps))
467 BUG();
468
469 spin_unlock(&lock);
470}
471
472/* Write a GDT descriptor entry. Ignore LDT descriptors, since
473 they're handled differently. */
474static void xen_write_gdt_entry(struct desc_struct *dt, int entry,
Glauber de Oliveira Costa014b15b2008-01-30 13:31:13 +0100475 const void *desc, int type)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700476{
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700477 preempt_disable();
478
Glauber de Oliveira Costa014b15b2008-01-30 13:31:13 +0100479 switch (type) {
480 case DESC_LDT:
481 case DESC_TSS:
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700482 /* ignore */
483 break;
484
485 default: {
486 xmaddr_t maddr = virt_to_machine(&dt[entry]);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700487
488 xen_mc_flush();
Glauber de Oliveira Costa014b15b2008-01-30 13:31:13 +0100489 if (HYPERVISOR_update_descriptor(maddr.maddr, *(u64 *)desc))
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700490 BUG();
491 }
492
493 }
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700494
495 preempt_enable();
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700496}
497
H. Peter Anvinfaca6222008-01-30 13:31:02 +0100498static void xen_load_sp0(struct tss_struct *tss,
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700499 struct thread_struct *thread)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700500{
501 struct multicall_space mcs = xen_mc_entry(0);
H. Peter Anvinfaca6222008-01-30 13:31:02 +0100502 MULTI_stack_switch(mcs.mc, __KERNEL_DS, thread->sp0);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700503 xen_mc_issue(PARAVIRT_LAZY_CPU);
504}
505
506static void xen_set_iopl_mask(unsigned mask)
507{
508 struct physdev_set_iopl set_iopl;
509
510 /* Force the change at ring 0. */
511 set_iopl.iopl = (mask == 0) ? 1 : (mask >> 12) & 3;
512 HYPERVISOR_physdev_op(PHYSDEVOP_set_iopl, &set_iopl);
513}
514
515static void xen_io_delay(void)
516{
517}
518
519#ifdef CONFIG_X86_LOCAL_APIC
Thomas Gleixner42e0a9a2008-01-30 13:30:15 +0100520static u32 xen_apic_read(unsigned long reg)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700521{
522 return 0;
523}
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700524
Thomas Gleixner42e0a9a2008-01-30 13:30:15 +0100525static void xen_apic_write(unsigned long reg, u32 val)
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700526{
527 /* Warn to see if there's any stray references */
528 WARN_ON(1);
529}
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700530#endif
531
532static void xen_flush_tlb(void)
533{
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700534 struct mmuext_op *op;
Jeremy Fitzhardinge41e332b2008-04-02 10:54:09 -0700535 struct multicall_space mcs;
536
537 preempt_disable();
538
539 mcs = xen_mc_entry(sizeof(*op));
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700540
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700541 op = mcs.args;
542 op->cmd = MMUEXT_TLB_FLUSH_LOCAL;
543 MULTI_mmuext_op(mcs.mc, op, 1, NULL, DOMID_SELF);
544
545 xen_mc_issue(PARAVIRT_LAZY_MMU);
Jeremy Fitzhardinge41e332b2008-04-02 10:54:09 -0700546
547 preempt_enable();
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700548}
549
550static void xen_flush_tlb_single(unsigned long addr)
551{
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700552 struct mmuext_op *op;
Jeremy Fitzhardinge41e332b2008-04-02 10:54:09 -0700553 struct multicall_space mcs;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700554
Jeremy Fitzhardinge41e332b2008-04-02 10:54:09 -0700555 preempt_disable();
556
557 mcs = xen_mc_entry(sizeof(*op));
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700558 op = mcs.args;
559 op->cmd = MMUEXT_INVLPG_LOCAL;
560 op->arg1.linear_addr = addr & PAGE_MASK;
561 MULTI_mmuext_op(mcs.mc, op, 1, NULL, DOMID_SELF);
562
563 xen_mc_issue(PARAVIRT_LAZY_MMU);
Jeremy Fitzhardinge41e332b2008-04-02 10:54:09 -0700564
565 preempt_enable();
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700566}
567
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700568static void xen_flush_tlb_others(const cpumask_t *cpus, struct mm_struct *mm,
569 unsigned long va)
570{
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700571 struct {
572 struct mmuext_op op;
573 cpumask_t mask;
574 } *args;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700575 cpumask_t cpumask = *cpus;
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700576 struct multicall_space mcs;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700577
578 /*
579 * A couple of (to be removed) sanity checks:
580 *
581 * - current CPU must not be in mask
582 * - mask must exist :)
583 */
584 BUG_ON(cpus_empty(cpumask));
585 BUG_ON(cpu_isset(smp_processor_id(), cpumask));
586 BUG_ON(!mm);
587
588 /* If a CPU which we ran on has gone down, OK. */
589 cpus_and(cpumask, cpumask, cpu_online_map);
590 if (cpus_empty(cpumask))
591 return;
592
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700593 mcs = xen_mc_entry(sizeof(*args));
594 args = mcs.args;
595 args->mask = cpumask;
596 args->op.arg2.vcpumask = &args->mask;
597
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700598 if (va == TLB_FLUSH_ALL) {
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700599 args->op.cmd = MMUEXT_TLB_FLUSH_MULTI;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700600 } else {
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700601 args->op.cmd = MMUEXT_INVLPG_MULTI;
602 args->op.arg1.linear_addr = va;
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700603 }
604
Jeremy Fitzhardinged66bf8f2007-07-17 18:37:06 -0700605 MULTI_mmuext_op(mcs.mc, &args->op, 1, NULL, DOMID_SELF);
606
607 xen_mc_issue(PARAVIRT_LAZY_MMU);
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -0700608}
609
Jeremy Fitzhardinge7b1333a2008-05-26 23:31:01 +0100610static void xen_clts(void)
611{
612 struct multicall_space mcs;
613
614 mcs = xen_mc_entry(0);
615
616 MULTI_fpu_taskswitch(mcs.mc, 0);
617
618 xen_mc_issue(PARAVIRT_LAZY_CPU);
619}
620
621static void xen_write_cr0(unsigned long cr0)
622{
623 struct multicall_space mcs;
624
625 /* Only pay attention to cr0.TS; everything else is
626 ignored. */
627 mcs = xen_mc_entry(0);
628
629 MULTI_fpu_taskswitch(mcs.mc, (cr0 & X86_CR0_TS) != 0);
630
631 xen_mc_issue(PARAVIRT_LAZY_CPU);
632}
633
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700634static void xen_write_cr2(unsigned long cr2)
635{
636 x86_read_percpu(xen_vcpu)->arch.cr2 = cr2;
637}
638
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700639static unsigned long xen_read_cr2(void)
640{
641 return x86_read_percpu(xen_vcpu)->arch.cr2;
642}
643
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700644static unsigned long xen_read_cr2_direct(void)
645{
646 return x86_read_percpu(xen_vcpu_info.arch.cr2);
647}
648
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700649static void xen_write_cr4(unsigned long cr4)
650{
Jeremy Fitzhardinge2956a352008-05-26 23:31:04 +0100651 cr4 &= ~X86_CR4_PGE;
652 cr4 &= ~X86_CR4_PSE;
653
654 native_write_cr4(cr4);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700655}
656
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700657static unsigned long xen_read_cr3(void)
658{
659 return x86_read_percpu(xen_cr3);
660}
661
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -0700662static void set_current_cr3(void *v)
663{
664 x86_write_percpu(xen_current_cr3, (unsigned long)v);
665}
666
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700667static void xen_write_cr3(unsigned long cr3)
668{
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -0700669 struct mmuext_op *op;
670 struct multicall_space mcs;
671 unsigned long mfn = pfn_to_mfn(PFN_DOWN(cr3));
672
Jeremy Fitzhardingef120f132007-07-17 18:37:06 -0700673 BUG_ON(preemptible());
674
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -0700675 mcs = xen_mc_entry(sizeof(*op)); /* disables interrupts */
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700676
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -0700677 /* Update while interrupts are disabled, so its atomic with
678 respect to ipis */
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700679 x86_write_percpu(xen_cr3, cr3);
680
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -0700681 op = mcs.args;
682 op->cmd = MMUEXT_NEW_BASEPTR;
683 op->arg1.mfn = mfn;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700684
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -0700685 MULTI_mmuext_op(mcs.mc, op, 1, NULL, DOMID_SELF);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700686
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -0700687 /* Update xen_update_cr3 once the batch has actually
688 been submitted. */
689 xen_mc_callback(set_current_cr3, (void *)cr3);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700690
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -0700691 xen_mc_issue(PARAVIRT_LAZY_CPU); /* interrupts restored */
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700692}
693
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700694/* Early in boot, while setting up the initial pagetable, assume
695 everything is pinned. */
Jeremy Fitzhardinge6944a9c2008-03-17 16:37:01 -0700696static __init void xen_alloc_pte_init(struct mm_struct *mm, u32 pfn)
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700697{
Jeremy Fitzhardingeaf7ae3b2008-04-02 10:54:12 -0700698#ifdef CONFIG_FLATMEM
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700699 BUG_ON(mem_map); /* should only be used early */
Jeremy Fitzhardingeaf7ae3b2008-04-02 10:54:12 -0700700#endif
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700701 make_lowmem_page_readonly(__va(PFN_PHYS(pfn)));
702}
703
Jeremy Fitzhardinge6944a9c2008-03-17 16:37:01 -0700704/* Early release_pte assumes that all pts are pinned, since there's
Jeremy Fitzhardinge1c70e9b2008-01-30 13:33:39 +0100705 only init_mm and anything attached to that is pinned. */
Jeremy Fitzhardinge6944a9c2008-03-17 16:37:01 -0700706static void xen_release_pte_init(u32 pfn)
Jeremy Fitzhardinge1c70e9b2008-01-30 13:33:39 +0100707{
708 make_lowmem_page_readwrite(__va(PFN_PHYS(pfn)));
709}
710
Mark McLoughlinf6433702008-04-02 15:36:36 +0100711static void pin_pagetable_pfn(unsigned cmd, unsigned long pfn)
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700712{
713 struct mmuext_op op;
Mark McLoughlinf6433702008-04-02 15:36:36 +0100714 op.cmd = cmd;
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700715 op.arg1.mfn = pfn_to_mfn(pfn);
716 if (HYPERVISOR_mmuext_op(&op, 1, NULL, DOMID_SELF))
717 BUG();
718}
719
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700720/* This needs to make sure the new pte page is pinned iff its being
721 attached to a pinned pagetable. */
Jeremy Fitzhardinge1c70e9b2008-01-30 13:33:39 +0100722static void xen_alloc_ptpage(struct mm_struct *mm, u32 pfn, unsigned level)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700723{
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700724 struct page *page = pfn_to_page(pfn);
725
726 if (PagePinned(virt_to_page(mm->pgd))) {
727 SetPagePinned(page);
728
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700729 if (!PageHighMem(page)) {
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700730 make_lowmem_page_readonly(__va(PFN_PHYS(pfn)));
Mark McLoughlinf6433702008-04-02 15:36:36 +0100731 if (level == PT_PTE)
732 pin_pagetable_pfn(MMUEXT_PIN_L1_TABLE, pfn);
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700733 } else
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700734 /* make sure there are no stray mappings of
735 this page */
736 kmap_flush_unused();
737 }
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700738}
739
Jeremy Fitzhardinge6944a9c2008-03-17 16:37:01 -0700740static void xen_alloc_pte(struct mm_struct *mm, u32 pfn)
Jeremy Fitzhardinge1c70e9b2008-01-30 13:33:39 +0100741{
Mark McLoughlinf6433702008-04-02 15:36:36 +0100742 xen_alloc_ptpage(mm, pfn, PT_PTE);
Jeremy Fitzhardinge1c70e9b2008-01-30 13:33:39 +0100743}
744
Jeremy Fitzhardinge6944a9c2008-03-17 16:37:01 -0700745static void xen_alloc_pmd(struct mm_struct *mm, u32 pfn)
Jeremy Fitzhardinge1c70e9b2008-01-30 13:33:39 +0100746{
Mark McLoughlinf6433702008-04-02 15:36:36 +0100747 xen_alloc_ptpage(mm, pfn, PT_PMD);
Jeremy Fitzhardinge1c70e9b2008-01-30 13:33:39 +0100748}
749
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700750/* This should never happen until we're OK to use struct page */
Mark McLoughlinf6433702008-04-02 15:36:36 +0100751static void xen_release_ptpage(u32 pfn, unsigned level)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700752{
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700753 struct page *page = pfn_to_page(pfn);
754
755 if (PagePinned(page)) {
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700756 if (!PageHighMem(page)) {
Mark McLoughlina684d692008-04-02 15:36:37 +0100757 if (level == PT_PTE)
758 pin_pagetable_pfn(MMUEXT_UNPIN_TABLE, pfn);
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700759 make_lowmem_page_readwrite(__va(PFN_PHYS(pfn)));
Jeremy Fitzhardinge74260712007-10-16 11:51:30 -0700760 }
Mark McLoughlinc946c7d2008-04-02 15:36:38 +0100761 ClearPagePinned(page);
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700762 }
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700763}
764
Jeremy Fitzhardinge6944a9c2008-03-17 16:37:01 -0700765static void xen_release_pte(u32 pfn)
Mark McLoughlinf6433702008-04-02 15:36:36 +0100766{
767 xen_release_ptpage(pfn, PT_PTE);
768}
769
Jeremy Fitzhardinge6944a9c2008-03-17 16:37:01 -0700770static void xen_release_pmd(u32 pfn)
Mark McLoughlinf6433702008-04-02 15:36:36 +0100771{
772 xen_release_ptpage(pfn, PT_PMD);
773}
774
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700775#ifdef CONFIG_HIGHPTE
776static void *xen_kmap_atomic_pte(struct page *page, enum km_type type)
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700777{
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700778 pgprot_t prot = PAGE_KERNEL;
779
780 if (PagePinned(page))
781 prot = PAGE_KERNEL_RO;
782
783 if (0 && PageHighMem(page))
784 printk("mapping highpte %lx type %d prot %s\n",
785 page_to_pfn(page), type,
786 (unsigned long)pgprot_val(prot) & _PAGE_RW ? "WRITE" : "READ");
787
788 return kmap_atomic_prot(page, type, prot);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700789}
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700790#endif
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700791
Jeremy Fitzhardinge9a4029f2007-07-17 18:37:05 -0700792static __init pte_t mask_rw_pte(pte_t *ptep, pte_t pte)
793{
794 /* If there's an existing pte, then don't allow _PAGE_RW to be set */
795 if (pte_val_ma(*ptep) & _PAGE_PRESENT)
796 pte = __pte_ma(((pte_val_ma(*ptep) & _PAGE_RW) | ~_PAGE_RW) &
797 pte_val_ma(pte));
798
799 return pte;
800}
801
802/* Init-time set_pte while constructing initial pagetables, which
803 doesn't allow RO pagetable pages to be remapped RW */
804static __init void xen_set_pte_init(pte_t *ptep, pte_t pte)
805{
806 pte = mask_rw_pte(ptep, pte);
807
808 xen_set_pte(ptep, pte);
809}
810
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700811static __init void xen_pagetable_setup_start(pgd_t *base)
812{
813 pgd_t *xen_pgd = (pgd_t *)xen_start_info->pt_base;
Jeremy Fitzhardinge3843fc22008-05-09 12:05:57 +0100814 int i;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700815
Jeremy Fitzhardinge9a4029f2007-07-17 18:37:05 -0700816 /* special set_pte for pagetable initialization */
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700817 pv_mmu_ops.set_pte = xen_set_pte_init;
Jeremy Fitzhardinge9a4029f2007-07-17 18:37:05 -0700818
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700819 init_mm.pgd = base;
820 /*
Jeremy Fitzhardinge3843fc22008-05-09 12:05:57 +0100821 * copy top-level of Xen-supplied pagetable into place. This
822 * is a stand-in while we copy the pmd pages.
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700823 */
824 memcpy(base, xen_pgd, PTRS_PER_PGD * sizeof(pgd_t));
825
Jeremy Fitzhardinge3843fc22008-05-09 12:05:57 +0100826 /*
827 * For PAE, need to allocate new pmds, rather than
828 * share Xen's, since Xen doesn't like pmd's being
829 * shared between address spaces.
830 */
831 for (i = 0; i < PTRS_PER_PGD; i++) {
832 if (pgd_val_ma(xen_pgd[i]) & _PAGE_PRESENT) {
833 pmd_t *pmd = (pmd_t *)alloc_bootmem_low_pages(PAGE_SIZE);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700834
Jeremy Fitzhardinge3843fc22008-05-09 12:05:57 +0100835 memcpy(pmd, (void *)pgd_page_vaddr(xen_pgd[i]),
836 PAGE_SIZE);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700837
Jeremy Fitzhardinge3843fc22008-05-09 12:05:57 +0100838 make_lowmem_page_readonly(pmd);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700839
Jeremy Fitzhardinge3843fc22008-05-09 12:05:57 +0100840 set_pgd(&base[i], __pgd(1 + __pa(pmd)));
841 } else
842 pgd_clear(&base[i]);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700843 }
844
845 /* make sure zero_page is mapped RO so we can use it in pagetables */
846 make_lowmem_page_readonly(empty_zero_page);
847 make_lowmem_page_readonly(base);
848 /*
849 * Switch to new pagetable. This is done before
850 * pagetable_init has done anything so that the new pages
851 * added to the table can be prepared properly for Xen.
852 */
853 xen_write_cr3(__pa(base));
Jeremy Fitzhardinge2b540782008-02-13 16:20:35 +0100854
855 /* Unpin initial Xen pagetable */
856 pin_pagetable_pfn(MMUEXT_UNPIN_TABLE,
857 PFN_DOWN(__pa(xen_start_info->pt_base)));
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700858}
859
Jeremy Fitzhardinge2e8fe712008-03-17 16:36:53 -0700860static __init void setup_shared_info(void)
861{
862 if (!xen_feature(XENFEAT_auto_translated_physmap)) {
863 unsigned long addr = fix_to_virt(FIX_PARAVIRT_BOOTMAP);
864
865 /*
866 * Create a mapping for the shared info page.
867 * Should be set_fixmap(), but shared_info is a machine
868 * address with no corresponding pseudo-phys address.
869 */
870 set_pte_mfn(addr,
871 PFN_DOWN(xen_start_info->shared_info),
872 PAGE_KERNEL);
873
874 HYPERVISOR_shared_info = (struct shared_info *)addr;
875 } else
876 HYPERVISOR_shared_info =
877 (struct shared_info *)__va(xen_start_info->shared_info);
878
879#ifndef CONFIG_SMP
880 /* In UP this is as good a place as any to set up shared info */
881 xen_setup_vcpu_info_placement();
882#endif
883}
884
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700885static __init void xen_pagetable_setup_done(pgd_t *base)
886{
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700887 /* This will work as long as patching hasn't happened yet
888 (which it hasn't) */
Jeremy Fitzhardinge6944a9c2008-03-17 16:37:01 -0700889 pv_mmu_ops.alloc_pte = xen_alloc_pte;
890 pv_mmu_ops.alloc_pmd = xen_alloc_pmd;
891 pv_mmu_ops.release_pte = xen_release_pte;
892 pv_mmu_ops.release_pmd = xen_release_pmd;
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700893 pv_mmu_ops.set_pte = xen_set_pte;
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700894
Jeremy Fitzhardinge2e8fe712008-03-17 16:36:53 -0700895 setup_shared_info();
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700896
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700897 /* Actually pin the pagetable down, but we can't set PG_pinned
898 yet because the page structures don't exist yet. */
Jeremy Fitzhardinge3843fc22008-05-09 12:05:57 +0100899 pin_pagetable_pfn(MMUEXT_PIN_L3_TABLE, PFN_DOWN(__pa(base)));
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700900}
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700901
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700902/* This is called once we have the cpu_possible_map */
903void __init xen_setup_vcpu_info_placement(void)
904{
905 int cpu;
906
907 for_each_possible_cpu(cpu)
908 xen_vcpu_setup(cpu);
909
910 /* xen_vcpu_setup managed to place the vcpu_info within the
911 percpu area for all cpus, so make use of it */
912 if (have_vcpu_info_placement) {
913 printk(KERN_INFO "Xen: using vcpu_info placement\n");
914
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700915 pv_irq_ops.save_fl = xen_save_fl_direct;
916 pv_irq_ops.restore_fl = xen_restore_fl_direct;
917 pv_irq_ops.irq_disable = xen_irq_disable_direct;
918 pv_irq_ops.irq_enable = xen_irq_enable_direct;
919 pv_mmu_ops.read_cr2 = xen_read_cr2_direct;
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -0700920 }
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700921}
922
Andi Kleenab144f52007-08-10 22:31:03 +0200923static unsigned xen_patch(u8 type, u16 clobbers, void *insnbuf,
924 unsigned long addr, unsigned len)
Jeremy Fitzhardinge64876732007-07-17 18:37:07 -0700925{
926 char *start, *end, *reloc;
927 unsigned ret;
928
929 start = end = reloc = NULL;
930
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700931#define SITE(op, x) \
932 case PARAVIRT_PATCH(op.x): \
Jeremy Fitzhardinge64876732007-07-17 18:37:07 -0700933 if (have_vcpu_info_placement) { \
934 start = (char *)xen_##x##_direct; \
935 end = xen_##x##_direct_end; \
936 reloc = xen_##x##_direct_reloc; \
937 } \
938 goto patch_site
939
940 switch (type) {
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700941 SITE(pv_irq_ops, irq_enable);
942 SITE(pv_irq_ops, irq_disable);
943 SITE(pv_irq_ops, save_fl);
944 SITE(pv_irq_ops, restore_fl);
Jeremy Fitzhardinge64876732007-07-17 18:37:07 -0700945#undef SITE
946
947 patch_site:
948 if (start == NULL || (end-start) > len)
949 goto default_patch;
950
Andi Kleenab144f52007-08-10 22:31:03 +0200951 ret = paravirt_patch_insns(insnbuf, len, start, end);
Jeremy Fitzhardinge64876732007-07-17 18:37:07 -0700952
953 /* Note: because reloc is assigned from something that
954 appears to be an array, gcc assumes it's non-null,
955 but doesn't know its relationship with start and
956 end. */
957 if (reloc > start && reloc < end) {
958 int reloc_off = reloc - start;
Andi Kleenab144f52007-08-10 22:31:03 +0200959 long *relocp = (long *)(insnbuf + reloc_off);
960 long delta = start - (char *)addr;
Jeremy Fitzhardinge64876732007-07-17 18:37:07 -0700961
962 *relocp += delta;
963 }
964 break;
965
966 default_patch:
967 default:
Andi Kleenab144f52007-08-10 22:31:03 +0200968 ret = paravirt_patch_default(type, clobbers, insnbuf,
969 addr, len);
Jeremy Fitzhardinge64876732007-07-17 18:37:07 -0700970 break;
971 }
972
973 return ret;
974}
975
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700976static const struct pv_info xen_info __initdata = {
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700977 .paravirt_enabled = 1,
978 .shared_kernel_pmd = 0,
979
980 .name = "Xen",
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700981};
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700982
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700983static const struct pv_init_ops xen_init_ops __initdata = {
Jeremy Fitzhardinge64876732007-07-17 18:37:07 -0700984 .patch = xen_patch,
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700985
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700986 .banner = xen_banner,
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700987 .memory_setup = xen_memory_setup,
988 .arch_setup = xen_arch_setup,
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -0700989 .post_allocator_init = xen_mark_init_mm_pinned,
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700990};
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -0700991
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700992static const struct pv_time_ops xen_time_ops __initdata = {
Jeremy Fitzhardinge15c84732007-07-17 18:37:05 -0700993 .time_init = xen_time_init,
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700994
Jeremy Fitzhardinge15c84732007-07-17 18:37:05 -0700995 .set_wallclock = xen_set_wallclock,
996 .get_wallclock = xen_get_wallclock,
997 .get_cpu_khz = xen_cpu_khz,
Jeremy Fitzhardingeab550282007-07-17 18:37:05 -0700998 .sched_clock = xen_sched_clock,
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700999};
Jeremy Fitzhardinge15c84732007-07-17 18:37:05 -07001000
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -07001001static const struct pv_cpu_ops xen_cpu_ops __initdata = {
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001002 .cpuid = xen_cpuid,
1003
1004 .set_debugreg = xen_set_debugreg,
1005 .get_debugreg = xen_get_debugreg,
1006
Jeremy Fitzhardinge7b1333a2008-05-26 23:31:01 +01001007 .clts = xen_clts,
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001008
1009 .read_cr0 = native_read_cr0,
Jeremy Fitzhardinge7b1333a2008-05-26 23:31:01 +01001010 .write_cr0 = xen_write_cr0,
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001011
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001012 .read_cr4 = native_read_cr4,
1013 .read_cr4_safe = native_read_cr4_safe,
1014 .write_cr4 = xen_write_cr4,
1015
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001016 .wbinvd = native_wbinvd,
1017
1018 .read_msr = native_read_msr_safe,
1019 .write_msr = native_write_msr_safe,
1020 .read_tsc = native_read_tsc,
1021 .read_pmc = native_read_pmc,
1022
Jeremy Fitzhardinge81e103f2008-04-17 17:40:51 +02001023 .iret = xen_iret,
Jeremy Fitzhardingee2a81ba2008-03-17 16:37:17 -07001024 .irq_enable_syscall_ret = xen_sysexit,
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001025
1026 .load_tr_desc = paravirt_nop,
1027 .set_ldt = xen_set_ldt,
1028 .load_gdt = xen_load_gdt,
1029 .load_idt = xen_load_idt,
1030 .load_tls = xen_load_tls,
1031
1032 .store_gdt = native_store_gdt,
1033 .store_idt = native_store_idt,
1034 .store_tr = xen_store_tr,
1035
1036 .write_ldt_entry = xen_write_ldt_entry,
1037 .write_gdt_entry = xen_write_gdt_entry,
1038 .write_idt_entry = xen_write_idt_entry,
H. Peter Anvinfaca6222008-01-30 13:31:02 +01001039 .load_sp0 = xen_load_sp0,
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001040
1041 .set_iopl_mask = xen_set_iopl_mask,
1042 .io_delay = xen_io_delay,
1043
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -07001044 .lazy_mode = {
1045 .enter = paravirt_enter_lazy_cpu,
1046 .leave = xen_leave_lazy,
1047 },
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -07001048};
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001049
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -07001050static const struct pv_irq_ops xen_irq_ops __initdata = {
1051 .init_IRQ = xen_init_IRQ,
1052 .save_fl = xen_save_fl,
1053 .restore_fl = xen_restore_fl,
1054 .irq_disable = xen_irq_disable,
1055 .irq_enable = xen_irq_enable,
1056 .safe_halt = xen_safe_halt,
1057 .halt = xen_halt,
1058};
1059
1060static const struct pv_apic_ops xen_apic_ops __initdata = {
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001061#ifdef CONFIG_X86_LOCAL_APIC
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -07001062 .apic_write = xen_apic_write,
1063 .apic_write_atomic = xen_apic_write,
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001064 .apic_read = xen_apic_read,
1065 .setup_boot_clock = paravirt_nop,
1066 .setup_secondary_clock = paravirt_nop,
1067 .startup_ipi_hook = paravirt_nop,
1068#endif
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -07001069};
1070
1071static const struct pv_mmu_ops xen_mmu_ops __initdata = {
1072 .pagetable_setup_start = xen_pagetable_setup_start,
1073 .pagetable_setup_done = xen_pagetable_setup_done,
1074
1075 .read_cr2 = xen_read_cr2,
1076 .write_cr2 = xen_write_cr2,
1077
1078 .read_cr3 = xen_read_cr3,
1079 .write_cr3 = xen_write_cr3,
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001080
1081 .flush_tlb_user = xen_flush_tlb,
1082 .flush_tlb_kernel = xen_flush_tlb,
1083 .flush_tlb_single = xen_flush_tlb_single,
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -07001084 .flush_tlb_others = xen_flush_tlb_others,
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001085
1086 .pte_update = paravirt_nop,
1087 .pte_update_defer = paravirt_nop,
1088
Jeremy Fitzhardinge6944a9c2008-03-17 16:37:01 -07001089 .alloc_pte = xen_alloc_pte_init,
1090 .release_pte = xen_release_pte_init,
1091 .alloc_pmd = xen_alloc_pte_init,
1092 .alloc_pmd_clone = paravirt_nop,
1093 .release_pmd = xen_release_pte_init,
Jeremy Fitzhardingef4f97b32007-07-17 18:37:05 -07001094
1095#ifdef CONFIG_HIGHPTE
1096 .kmap_atomic_pte = xen_kmap_atomic_pte,
1097#endif
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001098
Jeremy Fitzhardinge9a4029f2007-07-17 18:37:05 -07001099 .set_pte = NULL, /* see xen_pagetable_setup_* */
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -07001100 .set_pte_at = xen_set_pte_at,
1101 .set_pmd = xen_set_pmd,
1102
1103 .pte_val = xen_pte_val,
Jeremy Fitzhardingea15af1c2008-05-26 23:31:06 +01001104 .pte_flags = native_pte_val,
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -07001105 .pgd_val = xen_pgd_val,
1106
1107 .make_pte = xen_make_pte,
1108 .make_pgd = xen_make_pgd,
1109
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -07001110 .set_pte_atomic = xen_set_pte_atomic,
1111 .set_pte_present = xen_set_pte_at,
1112 .set_pud = xen_set_pud,
1113 .pte_clear = xen_pte_clear,
1114 .pmd_clear = xen_pmd_clear,
1115
1116 .make_pmd = xen_make_pmd,
1117 .pmd_val = xen_pmd_val,
Jeremy Fitzhardinge3b827c12007-07-17 18:37:04 -07001118
1119 .activate_mm = xen_activate_mm,
1120 .dup_mmap = xen_dup_mmap,
1121 .exit_mmap = xen_exit_mmap,
1122
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -07001123 .lazy_mode = {
1124 .enter = paravirt_enter_lazy_mmu,
1125 .leave = xen_leave_lazy,
1126 },
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001127};
1128
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -07001129#ifdef CONFIG_SMP
1130static const struct smp_ops xen_smp_ops __initdata = {
1131 .smp_prepare_boot_cpu = xen_smp_prepare_boot_cpu,
1132 .smp_prepare_cpus = xen_smp_prepare_cpus,
1133 .cpu_up = xen_cpu_up,
1134 .smp_cpus_done = xen_smp_cpus_done,
1135
1136 .smp_send_stop = xen_smp_send_stop,
1137 .smp_send_reschedule = xen_smp_send_reschedule,
1138 .smp_call_function_mask = xen_smp_call_function_mask,
1139};
1140#endif /* CONFIG_SMP */
1141
Jeremy Fitzhardingefefa6292007-07-17 18:37:07 -07001142static void xen_reboot(int reason)
1143{
Jeremy Fitzhardinge349c7092008-05-26 23:31:02 +01001144 struct sched_shutdown r = { .reason = reason };
1145
Jeremy Fitzhardingefefa6292007-07-17 18:37:07 -07001146#ifdef CONFIG_SMP
1147 smp_send_stop();
1148#endif
1149
Jeremy Fitzhardinge349c7092008-05-26 23:31:02 +01001150 if (HYPERVISOR_sched_op(SCHEDOP_shutdown, &r))
Jeremy Fitzhardingefefa6292007-07-17 18:37:07 -07001151 BUG();
1152}
1153
1154static void xen_restart(char *msg)
1155{
1156 xen_reboot(SHUTDOWN_reboot);
1157}
1158
1159static void xen_emergency_restart(void)
1160{
1161 xen_reboot(SHUTDOWN_reboot);
1162}
1163
1164static void xen_machine_halt(void)
1165{
1166 xen_reboot(SHUTDOWN_poweroff);
1167}
1168
1169static void xen_crash_shutdown(struct pt_regs *regs)
1170{
1171 xen_reboot(SHUTDOWN_crash);
1172}
1173
1174static const struct machine_ops __initdata xen_machine_ops = {
1175 .restart = xen_restart,
1176 .halt = xen_machine_halt,
1177 .power_off = xen_machine_halt,
1178 .shutdown = xen_machine_halt,
1179 .crash_shutdown = xen_crash_shutdown,
1180 .emergency_restart = xen_emergency_restart,
1181};
1182
Jeremy Fitzhardinge64876732007-07-17 18:37:07 -07001183
Jeremy Fitzhardingefb1d8402007-10-16 11:51:31 -07001184static void __init xen_reserve_top(void)
1185{
1186 unsigned long top = HYPERVISOR_VIRT_START;
1187 struct xen_platform_parameters pp;
1188
1189 if (HYPERVISOR_xen_version(XENVER_platform_parameters, &pp) == 0)
1190 top = pp.virt_start;
1191
1192 reserve_top_address(-top + 2 * PAGE_SIZE);
1193}
1194
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001195/* First C function to be called on Xen boot */
1196asmlinkage void __init xen_start_kernel(void)
1197{
1198 pgd_t *pgd;
1199
1200 if (!xen_start_info)
1201 return;
1202
Jeremy Fitzhardinge7999f4b2007-12-10 13:00:41 -08001203 BUG_ON(memcmp(xen_start_info->magic, "xen-3", 5) != 0);
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001204
1205 /* Install Xen paravirt ops */
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -07001206 pv_info = xen_info;
1207 pv_init_ops = xen_init_ops;
1208 pv_time_ops = xen_time_ops;
1209 pv_cpu_ops = xen_cpu_ops;
1210 pv_irq_ops = xen_irq_ops;
1211 pv_apic_ops = xen_apic_ops;
1212 pv_mmu_ops = xen_mmu_ops;
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -07001213
Jeremy Fitzhardingefefa6292007-07-17 18:37:07 -07001214 machine_ops = xen_machine_ops;
1215
Jeremy Fitzhardingef87e4ca2007-07-17 18:37:06 -07001216#ifdef CONFIG_SMP
1217 smp_ops = xen_smp_ops;
1218#endif
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001219
1220 xen_setup_features();
1221
1222 /* Get mfn list */
1223 if (!xen_feature(XENFEAT_auto_translated_physmap))
Jeremy Fitzhardinged451bb72008-05-26 23:31:18 +01001224 xen_build_dynamic_phys_to_machine();
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001225
1226 pgd = (pgd_t *)xen_start_info->pt_base;
1227
1228 init_pg_tables_end = __pa(pgd) + xen_start_info->nr_pt_frames*PAGE_SIZE;
1229
1230 init_mm.pgd = pgd; /* use the Xen pagetables to start */
1231
1232 /* keep using Xen gdt for now; no urgent need to change it */
1233
1234 x86_write_percpu(xen_cr3, __pa(pgd));
Jeremy Fitzhardinge9f799912007-10-16 11:51:30 -07001235 x86_write_percpu(xen_current_cr3, __pa(pgd));
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -07001236
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -07001237 /* Don't do the full vcpu_info placement stuff until we have a
Jeremy Fitzhardinge2e8fe712008-03-17 16:36:53 -07001238 possible map and a non-dummy shared_info. */
Jeremy Fitzhardinge60223a32007-07-17 18:37:07 -07001239 per_cpu(xen_vcpu, 0) = &HYPERVISOR_shared_info->vcpu_info[0];
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001240
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -07001241 pv_info.kernel_rpl = 1;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001242 if (xen_feature(XENFEAT_supervisor_mode_kernel))
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -07001243 pv_info.kernel_rpl = 0;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001244
1245 /* set the limit of our address space */
Jeremy Fitzhardingefb1d8402007-10-16 11:51:31 -07001246 xen_reserve_top();
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001247
1248 /* set up basic CPUID stuff */
1249 cpu_detect(&new_cpu_data);
1250 new_cpu_data.hard_math = 1;
1251 new_cpu_data.x86_capability[0] = cpuid_edx(1);
1252
1253 /* Poke various useful things into boot_params */
H. Peter Anvin30c82642007-10-15 17:13:22 -07001254 boot_params.hdr.type_of_loader = (9 << 4) | 0;
1255 boot_params.hdr.ramdisk_image = xen_start_info->mod_start
1256 ? __pa(xen_start_info->mod_start) : 0;
1257 boot_params.hdr.ramdisk_size = xen_start_info->mod_len;
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001258
Markus Armbruster9e124fe2008-05-26 23:31:07 +01001259 if (!is_initial_xendomain()) {
Jeremy Fitzhardinge83abc702008-05-26 23:31:12 +01001260 add_preferred_console("xenboot", 0, NULL);
Markus Armbruster9e124fe2008-05-26 23:31:07 +01001261 add_preferred_console("tty", 0, NULL);
Markus Armbrusterb8c2d3d2008-02-27 14:56:35 +01001262 add_preferred_console("hvc", 0, NULL);
Markus Armbruster9e124fe2008-05-26 23:31:07 +01001263 }
Markus Armbrusterb8c2d3d2008-02-27 14:56:35 +01001264
Jeremy Fitzhardinge5ead97c2007-07-17 18:37:04 -07001265 /* Start the world */
1266 start_kernel();
1267}