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