blob: 37f38b71c50a44fd84c56b72b4a68966f356fde0 [file] [log] [blame]
Rusty Russelld3561b72006-12-07 02:14:07 +01001/* Paravirtualization interfaces
2 Copyright (C) 2006 Rusty Russell IBM Corporation
3
4 This program is free software; you can redistribute it and/or modify
5 it under the terms of the GNU General Public License as published by
6 the Free Software Foundation; either version 2 of the License, or
7 (at your option) any later version.
8
9 This program is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU General Public License for more details.
13
14 You should have received a copy of the GNU General Public License
15 along with this program; if not, write to the Free Software
16 Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
Glauber de Oliveira Costab1df07b2008-01-30 13:32:04 +010017
18 2007 - x86_64 support added by Glauber de Oliveira Costa, Red Hat Inc
Rusty Russelld3561b72006-12-07 02:14:07 +010019*/
Glauber de Oliveira Costab1df07b2008-01-30 13:32:04 +010020
Rusty Russelld3561b72006-12-07 02:14:07 +010021#include <linux/errno.h>
22#include <linux/module.h>
23#include <linux/efi.h>
24#include <linux/bcd.h>
Jeremy Fitzhardingece6234b2007-05-02 19:27:15 +020025#include <linux/highmem.h>
Rusty Russelld3561b72006-12-07 02:14:07 +010026
27#include <asm/bug.h>
28#include <asm/paravirt.h>
29#include <asm/desc.h>
30#include <asm/setup.h>
31#include <asm/arch_hooks.h>
32#include <asm/time.h>
33#include <asm/irq.h>
34#include <asm/delay.h>
Rusty Russell13623d72006-12-07 02:14:08 +010035#include <asm/fixmap.h>
36#include <asm/apic.h>
Rusty Russellda181a82006-12-07 02:14:08 +010037#include <asm/tlbflush.h>
Zachary Amsden6cb9a832007-03-05 00:30:35 -080038#include <asm/timer.h>
Rusty Russelld3561b72006-12-07 02:14:07 +010039
40/* nop stub */
Jeremy Fitzhardinge45876232007-05-02 19:27:13 +020041void _paravirt_nop(void)
Rusty Russelld3561b72006-12-07 02:14:07 +010042{
43}
44
45static void __init default_banner(void)
46{
47 printk(KERN_INFO "Booting paravirtualized kernel on %s\n",
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -070048 pv_info.name);
Rusty Russelld3561b72006-12-07 02:14:07 +010049}
50
51char *memory_setup(void)
52{
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -070053 return pv_init_ops.memory_setup();
Rusty Russelld3561b72006-12-07 02:14:07 +010054}
55
Rusty Russell139ec7c2006-12-07 02:14:08 +010056/* Simple instruction patching code. */
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -070057#define DEF_NATIVE(ops, name, code) \
58 extern const char start_##ops##_##name[], end_##ops##_##name[]; \
59 asm("start_" #ops "_" #name ": " code "; end_" #ops "_" #name ":")
Rusty Russell139ec7c2006-12-07 02:14:08 +010060
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -070061/* Undefined instruction for dealing with missing ops pointers. */
62static const unsigned char ud2a[] = { 0x0f, 0x0b };
Rusty Russell139ec7c2006-12-07 02:14:08 +010063
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +020064unsigned paravirt_patch_nop(void)
65{
66 return 0;
67}
68
69unsigned paravirt_patch_ignore(unsigned len)
70{
71 return len;
72}
73
Andi Kleen19d36cc2007-07-22 11:12:31 +020074struct branch {
75 unsigned char opcode;
76 u32 delta;
77} __attribute__((packed));
78
Andi Kleenab144f52007-08-10 22:31:03 +020079unsigned paravirt_patch_call(void *insnbuf,
80 const void *target, u16 tgt_clobbers,
81 unsigned long addr, u16 site_clobbers,
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +020082 unsigned len)
83{
Andi Kleenab144f52007-08-10 22:31:03 +020084 struct branch *b = insnbuf;
85 unsigned long delta = (unsigned long)target - (addr+5);
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +020086
87 if (tgt_clobbers & ~site_clobbers)
88 return len; /* target would clobber too much for this site */
89 if (len < 5)
90 return len; /* call too long for patch site */
91
Andi Kleenab144f52007-08-10 22:31:03 +020092 b->opcode = 0xe8; /* call */
93 b->delta = delta;
94 BUILD_BUG_ON(sizeof(*b) != 5);
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +020095
96 return 5;
97}
98
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -070099unsigned paravirt_patch_jmp(void *insnbuf, const void *target,
Andi Kleenab144f52007-08-10 22:31:03 +0200100 unsigned long addr, unsigned len)
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200101{
Andi Kleenab144f52007-08-10 22:31:03 +0200102 struct branch *b = insnbuf;
103 unsigned long delta = (unsigned long)target - (addr+5);
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200104
105 if (len < 5)
106 return len; /* call too long for patch site */
107
Andi Kleenab144f52007-08-10 22:31:03 +0200108 b->opcode = 0xe9; /* jmp */
109 b->delta = delta;
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200110
111 return 5;
112}
113
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700114/* Neat trick to map patch type back to the call within the
115 * corresponding structure. */
116static void *get_call_destination(u8 type)
117{
118 struct paravirt_patch_template tmpl = {
119 .pv_init_ops = pv_init_ops,
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700120 .pv_time_ops = pv_time_ops,
121 .pv_cpu_ops = pv_cpu_ops,
122 .pv_irq_ops = pv_irq_ops,
123 .pv_apic_ops = pv_apic_ops,
124 .pv_mmu_ops = pv_mmu_ops,
125 };
126 return *((void **)&tmpl + type);
127}
128
Andi Kleenab144f52007-08-10 22:31:03 +0200129unsigned paravirt_patch_default(u8 type, u16 clobbers, void *insnbuf,
130 unsigned long addr, unsigned len)
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200131{
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700132 void *opfunc = get_call_destination(type);
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200133 unsigned ret;
134
135 if (opfunc == NULL)
136 /* If there's no function, patch it with a ud2a (BUG) */
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700137 ret = paravirt_patch_insns(insnbuf, len, ud2a, ud2a+sizeof(ud2a));
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200138 else if (opfunc == paravirt_nop)
139 /* If the operation is a nop, then nop the callsite */
140 ret = paravirt_patch_nop();
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700141 else if (type == PARAVIRT_PATCH(pv_cpu_ops.iret) ||
Glauber de Oliveira Costa6abcd982008-01-30 13:30:33 +0100142 type == PARAVIRT_PATCH(pv_cpu_ops.irq_enable_syscall_ret))
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200143 /* If operation requires a jmp, then jmp */
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700144 ret = paravirt_patch_jmp(insnbuf, opfunc, addr, len);
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200145 else
146 /* Otherwise call the function; assume target could
147 clobber any caller-save reg */
Andi Kleenab144f52007-08-10 22:31:03 +0200148 ret = paravirt_patch_call(insnbuf, opfunc, CLBR_ANY,
149 addr, clobbers, len);
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200150
151 return ret;
152}
153
Andi Kleenab144f52007-08-10 22:31:03 +0200154unsigned paravirt_patch_insns(void *insnbuf, unsigned len,
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200155 const char *start, const char *end)
156{
157 unsigned insn_len = end - start;
158
159 if (insn_len > len || start == NULL)
160 insn_len = len;
161 else
Andi Kleenab144f52007-08-10 22:31:03 +0200162 memcpy(insnbuf, start, insn_len);
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200163
Rusty Russell139ec7c2006-12-07 02:14:08 +0100164 return insn_len;
165}
166
Rusty Russelld3561b72006-12-07 02:14:07 +0100167void init_IRQ(void)
168{
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700169 pv_irq_ops.init_IRQ();
Rusty Russelld3561b72006-12-07 02:14:07 +0100170}
171
Andi Kleen1a1eecd2007-02-13 13:26:25 +0100172static void native_flush_tlb(void)
Rusty Russellda181a82006-12-07 02:14:08 +0100173{
174 __native_flush_tlb();
175}
176
177/*
178 * Global pages have to be flushed a bit differently. Not a real
179 * performance problem because this does not happen often.
180 */
Andi Kleen1a1eecd2007-02-13 13:26:25 +0100181static void native_flush_tlb_global(void)
Rusty Russellda181a82006-12-07 02:14:08 +0100182{
183 __native_flush_tlb_global();
184}
185
Jeremy Fitzhardinge63f70272007-05-02 19:27:14 +0200186static void native_flush_tlb_single(unsigned long addr)
Rusty Russellda181a82006-12-07 02:14:08 +0100187{
188 __native_flush_tlb_single(addr);
189}
190
Rusty Russelld3561b72006-12-07 02:14:07 +0100191/* These are in entry.S */
Andi Kleen1a1eecd2007-02-13 13:26:25 +0100192extern void native_iret(void);
Glauber de Oliveira Costa6abcd982008-01-30 13:30:33 +0100193extern void native_irq_enable_syscall_ret(void);
Rusty Russelld3561b72006-12-07 02:14:07 +0100194
195static int __init print_banner(void)
196{
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700197 pv_init_ops.banner();
Rusty Russelld3561b72006-12-07 02:14:07 +0100198 return 0;
199}
200core_initcall(print_banner);
201
Jeremy Fitzhardinged5729292007-07-17 18:37:04 -0700202static struct resource reserve_ioports = {
203 .start = 0,
204 .end = IO_SPACE_LIMIT,
205 .name = "paravirt-ioport",
206 .flags = IORESOURCE_IO | IORESOURCE_BUSY,
207};
208
209static struct resource reserve_iomem = {
210 .start = 0,
211 .end = -1,
212 .name = "paravirt-iomem",
213 .flags = IORESOURCE_MEM | IORESOURCE_BUSY,
214};
215
216/*
217 * Reserve the whole legacy IO space to prevent any legacy drivers
218 * from wasting time probing for their hardware. This is a fairly
219 * brute-force approach to disabling all non-virtual drivers.
220 *
221 * Note that this must be called very early to have any effect.
222 */
223int paravirt_disable_iospace(void)
224{
225 int ret;
226
227 ret = request_resource(&ioport_resource, &reserve_ioports);
228 if (ret == 0) {
229 ret = request_resource(&iomem_resource, &reserve_iomem);
230 if (ret)
231 release_resource(&reserve_ioports);
232 }
233
234 return ret;
235}
236
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700237static DEFINE_PER_CPU(enum paravirt_lazy_mode, paravirt_lazy_mode) = PARAVIRT_LAZY_NONE;
238
239static inline void enter_lazy(enum paravirt_lazy_mode mode)
240{
Glauber de Oliveira Costabfd074e2008-01-30 13:32:11 +0100241 BUG_ON(__get_cpu_var(paravirt_lazy_mode) != PARAVIRT_LAZY_NONE);
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700242 BUG_ON(preemptible());
243
Glauber de Oliveira Costabfd074e2008-01-30 13:32:11 +0100244 __get_cpu_var(paravirt_lazy_mode) = mode;
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700245}
246
247void paravirt_leave_lazy(enum paravirt_lazy_mode mode)
248{
Glauber de Oliveira Costabfd074e2008-01-30 13:32:11 +0100249 BUG_ON(__get_cpu_var(paravirt_lazy_mode) != mode);
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700250 BUG_ON(preemptible());
251
Glauber de Oliveira Costabfd074e2008-01-30 13:32:11 +0100252 __get_cpu_var(paravirt_lazy_mode) = PARAVIRT_LAZY_NONE;
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700253}
254
255void paravirt_enter_lazy_mmu(void)
256{
257 enter_lazy(PARAVIRT_LAZY_MMU);
258}
259
260void paravirt_leave_lazy_mmu(void)
261{
262 paravirt_leave_lazy(PARAVIRT_LAZY_MMU);
263}
264
265void paravirt_enter_lazy_cpu(void)
266{
267 enter_lazy(PARAVIRT_LAZY_CPU);
268}
269
270void paravirt_leave_lazy_cpu(void)
271{
272 paravirt_leave_lazy(PARAVIRT_LAZY_CPU);
273}
274
275enum paravirt_lazy_mode paravirt_get_lazy_mode(void)
276{
Glauber de Oliveira Costabfd074e2008-01-30 13:32:11 +0100277 return __get_cpu_var(paravirt_lazy_mode);
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700278}
279
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700280struct pv_info pv_info = {
Rusty Russelld3561b72006-12-07 02:14:07 +0100281 .name = "bare hardware",
282 .paravirt_enabled = 0,
283 .kernel_rpl = 0,
Jeremy Fitzhardinge5311ab62007-05-02 19:27:13 +0200284 .shared_kernel_pmd = 1, /* Only used when CONFIG_X86_PAE is set */
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700285};
Rusty Russelld3561b72006-12-07 02:14:07 +0100286
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700287struct pv_init_ops pv_init_ops = {
288 .patch = native_patch,
Rusty Russelld3561b72006-12-07 02:14:07 +0100289 .banner = default_banner,
Jeremy Fitzhardinge45876232007-05-02 19:27:13 +0200290 .arch_setup = paravirt_nop,
Rusty Russelld3561b72006-12-07 02:14:07 +0100291 .memory_setup = machine_specific_memory_setup,
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700292};
293
294struct pv_time_ops pv_time_ops = {
295 .time_init = hpet_time_init,
Rusty Russelld3561b72006-12-07 02:14:07 +0100296 .get_wallclock = native_get_wallclock,
297 .set_wallclock = native_set_wallclock,
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700298 .sched_clock = native_sched_clock,
299 .get_cpu_khz = native_calculate_cpu_khz,
300};
Rusty Russelld3561b72006-12-07 02:14:07 +0100301
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700302struct pv_irq_ops pv_irq_ops = {
303 .init_IRQ = native_init_IRQ,
Rusty Russelld3561b72006-12-07 02:14:07 +0100304 .save_fl = native_save_fl,
305 .restore_fl = native_restore_fl,
306 .irq_disable = native_irq_disable,
307 .irq_enable = native_irq_enable,
308 .safe_halt = native_safe_halt,
309 .halt = native_halt,
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700310};
311
312struct pv_cpu_ops pv_cpu_ops = {
313 .cpuid = native_cpuid,
314 .get_debugreg = native_get_debugreg,
315 .set_debugreg = native_set_debugreg,
316 .clts = native_clts,
317 .read_cr0 = native_read_cr0,
318 .write_cr0 = native_write_cr0,
319 .read_cr4 = native_read_cr4,
320 .read_cr4_safe = native_read_cr4_safe,
321 .write_cr4 = native_write_cr4,
Glauber de Oliveira Costa88b47552008-01-30 13:33:19 +0100322#ifdef CONFIG_X86_64
323 .read_cr8 = native_read_cr8,
324 .write_cr8 = native_write_cr8,
325#endif
Rusty Russelld3561b72006-12-07 02:14:07 +0100326 .wbinvd = native_wbinvd,
Rusty Russell90a0a062007-05-02 19:27:10 +0200327 .read_msr = native_read_msr_safe,
328 .write_msr = native_write_msr_safe,
Rusty Russelld3561b72006-12-07 02:14:07 +0100329 .read_tsc = native_read_tsc,
330 .read_pmc = native_read_pmc,
Glauber de Oliveira Costae5aaac42008-01-30 13:32:05 +0100331 .read_tscp = native_read_tscp,
Rusty Russelld3561b72006-12-07 02:14:07 +0100332 .load_tr_desc = native_load_tr_desc,
333 .set_ldt = native_set_ldt,
334 .load_gdt = native_load_gdt,
335 .load_idt = native_load_idt,
336 .store_gdt = native_store_gdt,
337 .store_idt = native_store_idt,
338 .store_tr = native_store_tr,
339 .load_tls = native_load_tls,
Glauber de Oliveira Costa75b8bb32008-01-30 13:31:13 +0100340 .write_ldt_entry = native_write_ldt_entry,
Glauber de Oliveira Costa014b15b2008-01-30 13:31:13 +0100341 .write_gdt_entry = native_write_gdt_entry,
Glauber de Oliveira Costa8d947342008-01-30 13:31:12 +0100342 .write_idt_entry = native_write_idt_entry,
H. Peter Anvinfaca6222008-01-30 13:31:02 +0100343 .load_sp0 = native_load_sp0,
Rusty Russelld3561b72006-12-07 02:14:07 +0100344
Glauber de Oliveira Costa6abcd982008-01-30 13:30:33 +0100345 .irq_enable_syscall_ret = native_irq_enable_syscall_ret,
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700346 .iret = native_iret,
Glauber de Oliveira Costae801f862008-01-30 13:32:08 +0100347 .swapgs = native_swapgs,
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700348
Rusty Russelld3561b72006-12-07 02:14:07 +0100349 .set_iopl_mask = native_set_iopl_mask,
350 .io_delay = native_io_delay,
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700351
352 .lazy_mode = {
353 .enter = paravirt_nop,
354 .leave = paravirt_nop,
355 },
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700356};
Rusty Russelld3561b72006-12-07 02:14:07 +0100357
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700358struct pv_apic_ops pv_apic_ops = {
Rusty Russell13623d72006-12-07 02:14:08 +0100359#ifdef CONFIG_X86_LOCAL_APIC
360 .apic_write = native_apic_write,
361 .apic_write_atomic = native_apic_write_atomic,
362 .apic_read = native_apic_read,
Zachary Amsdenbbab4f32007-02-13 13:26:21 +0100363 .setup_boot_clock = setup_boot_APIC_clock,
364 .setup_secondary_clock = setup_secondary_APIC_clock,
Jeremy Fitzhardinge0260c192007-05-02 19:27:18 +0200365 .startup_ipi_hook = paravirt_nop,
Rusty Russell13623d72006-12-07 02:14:08 +0100366#endif
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700367};
Rusty Russell13623d72006-12-07 02:14:08 +0100368
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700369struct pv_mmu_ops pv_mmu_ops = {
Eduardo Habkostd8dd8ee2008-01-30 13:33:20 +0100370#ifndef CONFIG_X86_64
Jeremy Fitzhardingeb239fb22007-05-02 19:27:13 +0200371 .pagetable_setup_start = native_pagetable_setup_start,
372 .pagetable_setup_done = native_pagetable_setup_done,
Eduardo Habkostd8dd8ee2008-01-30 13:33:20 +0100373#endif
Jeremy Fitzhardingeb239fb22007-05-02 19:27:13 +0200374
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700375 .read_cr2 = native_read_cr2,
376 .write_cr2 = native_write_cr2,
377 .read_cr3 = native_read_cr3,
378 .write_cr3 = native_write_cr3,
379
Rusty Russellda181a82006-12-07 02:14:08 +0100380 .flush_tlb_user = native_flush_tlb,
381 .flush_tlb_kernel = native_flush_tlb_global,
382 .flush_tlb_single = native_flush_tlb_single,
Jeremy Fitzhardinged4c10472007-05-02 19:27:15 +0200383 .flush_tlb_others = native_flush_tlb_others,
Rusty Russellda181a82006-12-07 02:14:08 +0100384
Jeremy Fitzhardinge45876232007-05-02 19:27:13 +0200385 .alloc_pt = paravirt_nop,
386 .alloc_pd = paravirt_nop,
387 .alloc_pd_clone = paravirt_nop,
388 .release_pt = paravirt_nop,
389 .release_pd = paravirt_nop,
Zachary Amsdenc119ecc2007-02-13 13:26:21 +0100390
Rusty Russellda181a82006-12-07 02:14:08 +0100391 .set_pte = native_set_pte,
392 .set_pte_at = native_set_pte_at,
393 .set_pmd = native_set_pmd,
Jeremy Fitzhardinge45876232007-05-02 19:27:13 +0200394 .pte_update = paravirt_nop,
395 .pte_update_defer = paravirt_nop,
Jeremy Fitzhardinge3dc494e2007-05-02 19:27:13 +0200396
Jeremy Fitzhardingece6234b2007-05-02 19:27:15 +0200397#ifdef CONFIG_HIGHPTE
398 .kmap_atomic_pte = kmap_atomic,
399#endif
400
Rusty Russellda181a82006-12-07 02:14:08 +0100401#ifdef CONFIG_X86_PAE
402 .set_pte_atomic = native_set_pte_atomic,
403 .set_pte_present = native_set_pte_present,
404 .set_pud = native_set_pud,
405 .pte_clear = native_pte_clear,
406 .pmd_clear = native_pmd_clear,
Jeremy Fitzhardinge3dc494e2007-05-02 19:27:13 +0200407
408 .pmd_val = native_pmd_val,
409 .make_pmd = native_make_pmd,
Rusty Russellda181a82006-12-07 02:14:08 +0100410#endif
411
Jeremy Fitzhardinge3dc494e2007-05-02 19:27:13 +0200412 .pte_val = native_pte_val,
413 .pgd_val = native_pgd_val,
414
415 .make_pte = native_make_pte,
416 .make_pgd = native_make_pgd,
417
Jeremy Fitzhardinged6dd61c2007-05-02 19:27:14 +0200418 .dup_mmap = paravirt_nop,
419 .exit_mmap = paravirt_nop,
420 .activate_mm = paravirt_nop,
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700421
422 .lazy_mode = {
423 .enter = paravirt_nop,
424 .leave = paravirt_nop,
425 },
Rusty Russelld3561b72006-12-07 02:14:07 +0100426};
Ingo Molnar0dbe5a12007-01-22 20:40:36 -0800427
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700428EXPORT_SYMBOL_GPL(pv_time_ops);
Jeremy Fitzhardingef97b8952007-11-28 16:22:11 -0800429EXPORT_SYMBOL (pv_cpu_ops);
430EXPORT_SYMBOL (pv_mmu_ops);
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700431EXPORT_SYMBOL_GPL(pv_apic_ops);
432EXPORT_SYMBOL_GPL(pv_info);
433EXPORT_SYMBOL (pv_irq_ops);