Commit | Line | Data |
---|---|---|
d3561b7f RR |
1 | /* 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 | |
b1df07bd GOC |
17 | |
18 | 2007 - x86_64 support added by Glauber de Oliveira Costa, Red Hat Inc | |
d3561b7f | 19 | */ |
b1df07bd | 20 | |
d3561b7f RR |
21 | #include <linux/errno.h> |
22 | #include <linux/module.h> | |
23 | #include <linux/efi.h> | |
24 | #include <linux/bcd.h> | |
ce6234b5 | 25 | #include <linux/highmem.h> |
376e2424 | 26 | #include <linux/kprobes.h> |
d3561b7f RR |
27 | |
28 | #include <asm/bug.h> | |
29 | #include <asm/paravirt.h> | |
50af5ead | 30 | #include <asm/debugreg.h> |
d3561b7f RR |
31 | #include <asm/desc.h> |
32 | #include <asm/setup.h> | |
a312b37b | 33 | #include <asm/pgtable.h> |
d3561b7f | 34 | #include <asm/time.h> |
eba0045f | 35 | #include <asm/pgalloc.h> |
d3561b7f RR |
36 | #include <asm/irq.h> |
37 | #include <asm/delay.h> | |
13623d79 RR |
38 | #include <asm/fixmap.h> |
39 | #include <asm/apic.h> | |
da181a8b | 40 | #include <asm/tlbflush.h> |
6cb9a835 | 41 | #include <asm/timer.h> |
f05e798a | 42 | #include <asm/special_insns.h> |
d3561b7f | 43 | |
fc57a7c6 AL |
44 | /* |
45 | * nop stub, which must not clobber anything *including the stack* to | |
46 | * avoid confusing the entry prologues. | |
47 | */ | |
48 | extern void _paravirt_nop(void); | |
49 | asm (".pushsection .entry.text, \"ax\"\n" | |
50 | ".global _paravirt_nop\n" | |
51 | "_paravirt_nop:\n\t" | |
52 | "ret\n\t" | |
53 | ".size _paravirt_nop, . - _paravirt_nop\n\t" | |
54 | ".type _paravirt_nop, @function\n\t" | |
55 | ".popsection"); | |
d3561b7f | 56 | |
41edafdb JF |
57 | /* identity function, which can be inlined */ |
58 | u32 _paravirt_ident_32(u32 x) | |
59 | { | |
60 | return x; | |
61 | } | |
62 | ||
63 | u64 _paravirt_ident_64(u64 x) | |
64 | { | |
65 | return x; | |
66 | } | |
67 | ||
6f30c1ac | 68 | void __init default_banner(void) |
d3561b7f RR |
69 | { |
70 | printk(KERN_INFO "Booting paravirtualized kernel on %s\n", | |
93b1eab3 | 71 | pv_info.name); |
d3561b7f RR |
72 | } |
73 | ||
93b1eab3 JF |
74 | /* Undefined instruction for dealing with missing ops pointers. */ |
75 | static const unsigned char ud2a[] = { 0x0f, 0x0b }; | |
139ec7c4 | 76 | |
19d36ccd AK |
77 | struct branch { |
78 | unsigned char opcode; | |
79 | u32 delta; | |
80 | } __attribute__((packed)); | |
81 | ||
ab144f5e AK |
82 | unsigned paravirt_patch_call(void *insnbuf, |
83 | const void *target, u16 tgt_clobbers, | |
84 | unsigned long addr, u16 site_clobbers, | |
63f70270 JF |
85 | unsigned len) |
86 | { | |
ab144f5e AK |
87 | struct branch *b = insnbuf; |
88 | unsigned long delta = (unsigned long)target - (addr+5); | |
63f70270 JF |
89 | |
90 | if (tgt_clobbers & ~site_clobbers) | |
91 | return len; /* target would clobber too much for this site */ | |
92 | if (len < 5) | |
93 | return len; /* call too long for patch site */ | |
139ec7c4 | 94 | |
ab144f5e AK |
95 | b->opcode = 0xe8; /* call */ |
96 | b->delta = delta; | |
97 | BUILD_BUG_ON(sizeof(*b) != 5); | |
139ec7c4 | 98 | |
63f70270 JF |
99 | return 5; |
100 | } | |
101 | ||
93b1eab3 | 102 | unsigned paravirt_patch_jmp(void *insnbuf, const void *target, |
ab144f5e | 103 | unsigned long addr, unsigned len) |
63f70270 | 104 | { |
ab144f5e AK |
105 | struct branch *b = insnbuf; |
106 | unsigned long delta = (unsigned long)target - (addr+5); | |
63f70270 JF |
107 | |
108 | if (len < 5) | |
109 | return len; /* call too long for patch site */ | |
110 | ||
ab144f5e AK |
111 | b->opcode = 0xe9; /* jmp */ |
112 | b->delta = delta; | |
63f70270 JF |
113 | |
114 | return 5; | |
115 | } | |
116 | ||
93b1eab3 JF |
117 | /* Neat trick to map patch type back to the call within the |
118 | * corresponding structure. */ | |
119 | static void *get_call_destination(u8 type) | |
120 | { | |
121 | struct paravirt_patch_template tmpl = { | |
122 | .pv_init_ops = pv_init_ops, | |
93b1eab3 JF |
123 | .pv_time_ops = pv_time_ops, |
124 | .pv_cpu_ops = pv_cpu_ops, | |
125 | .pv_irq_ops = pv_irq_ops, | |
126 | .pv_apic_ops = pv_apic_ops, | |
127 | .pv_mmu_ops = pv_mmu_ops, | |
b4ecc126 | 128 | #ifdef CONFIG_PARAVIRT_SPINLOCKS |
74d4affd | 129 | .pv_lock_ops = pv_lock_ops, |
b4ecc126 | 130 | #endif |
93b1eab3 JF |
131 | }; |
132 | return *((void **)&tmpl + type); | |
133 | } | |
134 | ||
ab144f5e AK |
135 | unsigned paravirt_patch_default(u8 type, u16 clobbers, void *insnbuf, |
136 | unsigned long addr, unsigned len) | |
63f70270 | 137 | { |
93b1eab3 | 138 | void *opfunc = get_call_destination(type); |
63f70270 JF |
139 | unsigned ret; |
140 | ||
141 | if (opfunc == NULL) | |
142 | /* If there's no function, patch it with a ud2a (BUG) */ | |
93b1eab3 | 143 | ret = paravirt_patch_insns(insnbuf, len, ud2a, ud2a+sizeof(ud2a)); |
41edafdb | 144 | else if (opfunc == _paravirt_nop) |
79f1d836 | 145 | ret = 0; |
41edafdb JF |
146 | |
147 | /* identity functions just return their single argument */ | |
148 | else if (opfunc == _paravirt_ident_32) | |
149 | ret = paravirt_patch_ident_32(insnbuf, len); | |
150 | else if (opfunc == _paravirt_ident_64) | |
151 | ret = paravirt_patch_ident_64(insnbuf, len); | |
152 | ||
93b1eab3 | 153 | else if (type == PARAVIRT_PATCH(pv_cpu_ops.iret) || |
aac82d31 | 154 | #ifdef CONFIG_X86_32 |
d75cd22f | 155 | type == PARAVIRT_PATCH(pv_cpu_ops.irq_enable_sysexit) || |
aac82d31 | 156 | #endif |
2be29982 JF |
157 | type == PARAVIRT_PATCH(pv_cpu_ops.usergs_sysret32) || |
158 | type == PARAVIRT_PATCH(pv_cpu_ops.usergs_sysret64)) | |
63f70270 | 159 | /* If operation requires a jmp, then jmp */ |
93b1eab3 | 160 | ret = paravirt_patch_jmp(insnbuf, opfunc, addr, len); |
63f70270 JF |
161 | else |
162 | /* Otherwise call the function; assume target could | |
163 | clobber any caller-save reg */ | |
ab144f5e AK |
164 | ret = paravirt_patch_call(insnbuf, opfunc, CLBR_ANY, |
165 | addr, clobbers, len); | |
63f70270 JF |
166 | |
167 | return ret; | |
168 | } | |
169 | ||
ab144f5e | 170 | unsigned paravirt_patch_insns(void *insnbuf, unsigned len, |
63f70270 JF |
171 | const char *start, const char *end) |
172 | { | |
173 | unsigned insn_len = end - start; | |
139ec7c4 | 174 | |
63f70270 JF |
175 | if (insn_len > len || start == NULL) |
176 | insn_len = len; | |
177 | else | |
ab144f5e | 178 | memcpy(insnbuf, start, insn_len); |
139ec7c4 | 179 | |
139ec7c4 RR |
180 | return insn_len; |
181 | } | |
182 | ||
1a1eecd1 | 183 | static void native_flush_tlb(void) |
da181a8b RR |
184 | { |
185 | __native_flush_tlb(); | |
186 | } | |
187 | ||
188 | /* | |
189 | * Global pages have to be flushed a bit differently. Not a real | |
190 | * performance problem because this does not happen often. | |
191 | */ | |
1a1eecd1 | 192 | static void native_flush_tlb_global(void) |
da181a8b RR |
193 | { |
194 | __native_flush_tlb_global(); | |
195 | } | |
196 | ||
63f70270 | 197 | static void native_flush_tlb_single(unsigned long addr) |
da181a8b RR |
198 | { |
199 | __native_flush_tlb_single(addr); | |
200 | } | |
201 | ||
c5905afb IM |
202 | struct static_key paravirt_steal_enabled; |
203 | struct static_key paravirt_steal_rq_enabled; | |
3c404b57 GC |
204 | |
205 | static u64 native_steal_clock(int cpu) | |
206 | { | |
207 | return 0; | |
208 | } | |
209 | ||
d3561b7f | 210 | /* These are in entry.S */ |
1a1eecd1 | 211 | extern void native_iret(void); |
d75cd22f | 212 | extern void native_irq_enable_sysexit(void); |
2be29982 JF |
213 | extern void native_usergs_sysret32(void); |
214 | extern void native_usergs_sysret64(void); | |
d3561b7f | 215 | |
d572929c JF |
216 | static struct resource reserve_ioports = { |
217 | .start = 0, | |
218 | .end = IO_SPACE_LIMIT, | |
219 | .name = "paravirt-ioport", | |
220 | .flags = IORESOURCE_IO | IORESOURCE_BUSY, | |
221 | }; | |
222 | ||
d572929c JF |
223 | /* |
224 | * Reserve the whole legacy IO space to prevent any legacy drivers | |
225 | * from wasting time probing for their hardware. This is a fairly | |
226 | * brute-force approach to disabling all non-virtual drivers. | |
227 | * | |
228 | * Note that this must be called very early to have any effect. | |
229 | */ | |
230 | int paravirt_disable_iospace(void) | |
231 | { | |
f7743fe6 | 232 | return request_resource(&ioport_resource, &reserve_ioports); |
d572929c JF |
233 | } |
234 | ||
8965c1c0 JF |
235 | static DEFINE_PER_CPU(enum paravirt_lazy_mode, paravirt_lazy_mode) = PARAVIRT_LAZY_NONE; |
236 | ||
237 | static inline void enter_lazy(enum paravirt_lazy_mode mode) | |
238 | { | |
c6ae41e7 | 239 | BUG_ON(this_cpu_read(paravirt_lazy_mode) != PARAVIRT_LAZY_NONE); |
8965c1c0 | 240 | |
c6ae41e7 | 241 | this_cpu_write(paravirt_lazy_mode, mode); |
8965c1c0 JF |
242 | } |
243 | ||
b407fc57 | 244 | static void leave_lazy(enum paravirt_lazy_mode mode) |
8965c1c0 | 245 | { |
c6ae41e7 | 246 | BUG_ON(this_cpu_read(paravirt_lazy_mode) != mode); |
8965c1c0 | 247 | |
c6ae41e7 | 248 | this_cpu_write(paravirt_lazy_mode, PARAVIRT_LAZY_NONE); |
8965c1c0 JF |
249 | } |
250 | ||
251 | void paravirt_enter_lazy_mmu(void) | |
252 | { | |
253 | enter_lazy(PARAVIRT_LAZY_MMU); | |
254 | } | |
255 | ||
256 | void paravirt_leave_lazy_mmu(void) | |
257 | { | |
b407fc57 | 258 | leave_lazy(PARAVIRT_LAZY_MMU); |
8965c1c0 JF |
259 | } |
260 | ||
511ba86e BO |
261 | void paravirt_flush_lazy_mmu(void) |
262 | { | |
263 | preempt_disable(); | |
264 | ||
265 | if (paravirt_get_lazy_mode() == PARAVIRT_LAZY_MMU) { | |
266 | arch_leave_lazy_mmu_mode(); | |
267 | arch_enter_lazy_mmu_mode(); | |
268 | } | |
269 | ||
270 | preempt_enable(); | |
271 | } | |
272 | ||
224101ed | 273 | void paravirt_start_context_switch(struct task_struct *prev) |
8965c1c0 | 274 | { |
2829b449 JF |
275 | BUG_ON(preemptible()); |
276 | ||
c6ae41e7 | 277 | if (this_cpu_read(paravirt_lazy_mode) == PARAVIRT_LAZY_MMU) { |
b407fc57 | 278 | arch_leave_lazy_mmu_mode(); |
224101ed | 279 | set_ti_thread_flag(task_thread_info(prev), TIF_LAZY_MMU_UPDATES); |
b407fc57 | 280 | } |
8965c1c0 JF |
281 | enter_lazy(PARAVIRT_LAZY_CPU); |
282 | } | |
283 | ||
224101ed | 284 | void paravirt_end_context_switch(struct task_struct *next) |
8965c1c0 | 285 | { |
2829b449 JF |
286 | BUG_ON(preemptible()); |
287 | ||
b407fc57 JF |
288 | leave_lazy(PARAVIRT_LAZY_CPU); |
289 | ||
224101ed | 290 | if (test_and_clear_ti_thread_flag(task_thread_info(next), TIF_LAZY_MMU_UPDATES)) |
b407fc57 | 291 | arch_enter_lazy_mmu_mode(); |
8965c1c0 JF |
292 | } |
293 | ||
294 | enum paravirt_lazy_mode paravirt_get_lazy_mode(void) | |
295 | { | |
b8bcfe99 JF |
296 | if (in_interrupt()) |
297 | return PARAVIRT_LAZY_NONE; | |
298 | ||
c6ae41e7 | 299 | return this_cpu_read(paravirt_lazy_mode); |
8965c1c0 JF |
300 | } |
301 | ||
93b1eab3 | 302 | struct pv_info pv_info = { |
d3561b7f RR |
303 | .name = "bare hardware", |
304 | .paravirt_enabled = 0, | |
305 | .kernel_rpl = 0, | |
5311ab62 | 306 | .shared_kernel_pmd = 1, /* Only used when CONFIG_X86_PAE is set */ |
318f5a2a AL |
307 | |
308 | #ifdef CONFIG_X86_64 | |
309 | .extra_user_64bit_cs = __USER_CS, | |
310 | #endif | |
93b1eab3 | 311 | }; |
d3561b7f | 312 | |
93b1eab3 JF |
313 | struct pv_init_ops pv_init_ops = { |
314 | .patch = native_patch, | |
93b1eab3 JF |
315 | }; |
316 | ||
317 | struct pv_time_ops pv_time_ops = { | |
93b1eab3 | 318 | .sched_clock = native_sched_clock, |
3c404b57 | 319 | .steal_clock = native_steal_clock, |
93b1eab3 JF |
320 | }; |
321 | ||
9a55fdbe | 322 | __visible struct pv_irq_ops pv_irq_ops = { |
ecb93d1c JF |
323 | .save_fl = __PV_IS_CALLEE_SAVE(native_save_fl), |
324 | .restore_fl = __PV_IS_CALLEE_SAVE(native_restore_fl), | |
325 | .irq_disable = __PV_IS_CALLEE_SAVE(native_irq_disable), | |
326 | .irq_enable = __PV_IS_CALLEE_SAVE(native_irq_enable), | |
93b1eab3 JF |
327 | .safe_halt = native_safe_halt, |
328 | .halt = native_halt, | |
fab58420 JF |
329 | #ifdef CONFIG_X86_64 |
330 | .adjust_exception_frame = paravirt_nop, | |
331 | #endif | |
93b1eab3 | 332 | }; |
d3561b7f | 333 | |
9a55fdbe | 334 | __visible struct pv_cpu_ops pv_cpu_ops = { |
d3561b7f RR |
335 | .cpuid = native_cpuid, |
336 | .get_debugreg = native_get_debugreg, | |
337 | .set_debugreg = native_set_debugreg, | |
338 | .clts = native_clts, | |
339 | .read_cr0 = native_read_cr0, | |
340 | .write_cr0 = native_write_cr0, | |
d3561b7f RR |
341 | .read_cr4 = native_read_cr4, |
342 | .read_cr4_safe = native_read_cr4_safe, | |
343 | .write_cr4 = native_write_cr4, | |
88b4755f GOC |
344 | #ifdef CONFIG_X86_64 |
345 | .read_cr8 = native_read_cr8, | |
346 | .write_cr8 = native_write_cr8, | |
347 | #endif | |
d3561b7f | 348 | .wbinvd = native_wbinvd, |
90a0a06a RR |
349 | .read_msr = native_read_msr_safe, |
350 | .write_msr = native_write_msr_safe, | |
d3561b7f RR |
351 | .read_pmc = native_read_pmc, |
352 | .load_tr_desc = native_load_tr_desc, | |
353 | .set_ldt = native_set_ldt, | |
354 | .load_gdt = native_load_gdt, | |
355 | .load_idt = native_load_idt, | |
d3561b7f RR |
356 | .store_idt = native_store_idt, |
357 | .store_tr = native_store_tr, | |
358 | .load_tls = native_load_tls, | |
9f9d489a JF |
359 | #ifdef CONFIG_X86_64 |
360 | .load_gs_index = native_load_gs_index, | |
361 | #endif | |
75b8bb3e | 362 | .write_ldt_entry = native_write_ldt_entry, |
014b15be | 363 | .write_gdt_entry = native_write_gdt_entry, |
8d947344 | 364 | .write_idt_entry = native_write_idt_entry, |
38ffbe66 JF |
365 | |
366 | .alloc_ldt = paravirt_nop, | |
367 | .free_ldt = paravirt_nop, | |
368 | ||
faca6227 | 369 | .load_sp0 = native_load_sp0, |
d3561b7f | 370 | |
aac82d31 | 371 | #if defined(CONFIG_X86_32) |
d75cd22f | 372 | .irq_enable_sysexit = native_irq_enable_sysexit, |
102d0a4b | 373 | #endif |
2be29982 | 374 | #ifdef CONFIG_X86_64 |
102d0a4b | 375 | #ifdef CONFIG_IA32_EMULATION |
2be29982 | 376 | .usergs_sysret32 = native_usergs_sysret32, |
102d0a4b | 377 | #endif |
2be29982 | 378 | .usergs_sysret64 = native_usergs_sysret64, |
d75cd22f | 379 | #endif |
93b1eab3 | 380 | .iret = native_iret, |
e801f864 | 381 | .swapgs = native_swapgs, |
93b1eab3 | 382 | |
d3561b7f RR |
383 | .set_iopl_mask = native_set_iopl_mask, |
384 | .io_delay = native_io_delay, | |
8965c1c0 | 385 | |
224101ed JF |
386 | .start_context_switch = paravirt_nop, |
387 | .end_context_switch = paravirt_nop, | |
93b1eab3 | 388 | }; |
d3561b7f | 389 | |
80271972 | 390 | /* At this point, native_get/set_debugreg has real function entries */ |
376e2424 | 391 | NOKPROBE_SYMBOL(native_get_debugreg); |
80271972 MH |
392 | NOKPROBE_SYMBOL(native_set_debugreg); |
393 | NOKPROBE_SYMBOL(native_load_idt); | |
376e2424 | 394 | |
93b1eab3 | 395 | struct pv_apic_ops pv_apic_ops = { |
13623d79 | 396 | #ifdef CONFIG_X86_LOCAL_APIC |
0260c196 | 397 | .startup_ipi_hook = paravirt_nop, |
13623d79 | 398 | #endif |
93b1eab3 JF |
399 | }; |
400 | ||
41edafdb JF |
401 | #if defined(CONFIG_X86_32) && !defined(CONFIG_X86_PAE) |
402 | /* 32-bit pagetable entries */ | |
da5de7c2 | 403 | #define PTE_IDENT __PV_IS_CALLEE_SAVE(_paravirt_ident_32) |
41edafdb JF |
404 | #else |
405 | /* 64-bit pagetable entries */ | |
da5de7c2 | 406 | #define PTE_IDENT __PV_IS_CALLEE_SAVE(_paravirt_ident_64) |
41edafdb JF |
407 | #endif |
408 | ||
93b1eab3 | 409 | struct pv_mmu_ops pv_mmu_ops = { |
b239fb25 | 410 | |
93b1eab3 JF |
411 | .read_cr2 = native_read_cr2, |
412 | .write_cr2 = native_write_cr2, | |
413 | .read_cr3 = native_read_cr3, | |
414 | .write_cr3 = native_write_cr3, | |
415 | ||
da181a8b RR |
416 | .flush_tlb_user = native_flush_tlb, |
417 | .flush_tlb_kernel = native_flush_tlb_global, | |
418 | .flush_tlb_single = native_flush_tlb_single, | |
d4c10477 | 419 | .flush_tlb_others = native_flush_tlb_others, |
da181a8b | 420 | |
eba0045f JF |
421 | .pgd_alloc = __paravirt_pgd_alloc, |
422 | .pgd_free = paravirt_nop, | |
423 | ||
6944a9c8 JF |
424 | .alloc_pte = paravirt_nop, |
425 | .alloc_pmd = paravirt_nop, | |
2761fa09 | 426 | .alloc_pud = paravirt_nop, |
6944a9c8 JF |
427 | .release_pte = paravirt_nop, |
428 | .release_pmd = paravirt_nop, | |
2761fa09 | 429 | .release_pud = paravirt_nop, |
c119ecce | 430 | |
da181a8b RR |
431 | .set_pte = native_set_pte, |
432 | .set_pte_at = native_set_pte_at, | |
433 | .set_pmd = native_set_pmd, | |
331127f7 | 434 | .set_pmd_at = native_set_pmd_at, |
45876233 JF |
435 | .pte_update = paravirt_nop, |
436 | .pte_update_defer = paravirt_nop, | |
331127f7 AA |
437 | .pmd_update = paravirt_nop, |
438 | .pmd_update_defer = paravirt_nop, | |
3dc494e8 | 439 | |
08b882c6 JF |
440 | .ptep_modify_prot_start = __ptep_modify_prot_start, |
441 | .ptep_modify_prot_commit = __ptep_modify_prot_commit, | |
442 | ||
98233368 | 443 | #if CONFIG_PGTABLE_LEVELS >= 3 |
da181a8b RR |
444 | #ifdef CONFIG_X86_PAE |
445 | .set_pte_atomic = native_set_pte_atomic, | |
da181a8b RR |
446 | .pte_clear = native_pte_clear, |
447 | .pmd_clear = native_pmd_clear, | |
f95f2f7b EH |
448 | #endif |
449 | .set_pud = native_set_pud, | |
da5de7c2 JF |
450 | |
451 | .pmd_val = PTE_IDENT, | |
452 | .make_pmd = PTE_IDENT, | |
f95f2f7b | 453 | |
98233368 | 454 | #if CONFIG_PGTABLE_LEVELS == 4 |
da5de7c2 JF |
455 | .pud_val = PTE_IDENT, |
456 | .make_pud = PTE_IDENT, | |
457 | ||
f95f2f7b | 458 | .set_pgd = native_set_pgd, |
da181a8b | 459 | #endif |
98233368 | 460 | #endif /* CONFIG_PGTABLE_LEVELS >= 3 */ |
da181a8b | 461 | |
da5de7c2 JF |
462 | .pte_val = PTE_IDENT, |
463 | .pgd_val = PTE_IDENT, | |
3dc494e8 | 464 | |
da5de7c2 JF |
465 | .make_pte = PTE_IDENT, |
466 | .make_pgd = PTE_IDENT, | |
3dc494e8 | 467 | |
d6dd61c8 JF |
468 | .dup_mmap = paravirt_nop, |
469 | .exit_mmap = paravirt_nop, | |
470 | .activate_mm = paravirt_nop, | |
8965c1c0 JF |
471 | |
472 | .lazy_mode = { | |
473 | .enter = paravirt_nop, | |
474 | .leave = paravirt_nop, | |
511ba86e | 475 | .flush = paravirt_nop, |
8965c1c0 | 476 | }, |
aeaaa59c JF |
477 | |
478 | .set_fixmap = native_set_fixmap, | |
d3561b7f | 479 | }; |
0dbe5a11 | 480 | |
93b1eab3 | 481 | EXPORT_SYMBOL_GPL(pv_time_ops); |
f97b8954 JF |
482 | EXPORT_SYMBOL (pv_cpu_ops); |
483 | EXPORT_SYMBOL (pv_mmu_ops); | |
93b1eab3 JF |
484 | EXPORT_SYMBOL_GPL(pv_apic_ops); |
485 | EXPORT_SYMBOL_GPL(pv_info); | |
486 | EXPORT_SYMBOL (pv_irq_ops); |