blob: c20b4f8d62f509e2ed5425a8e346c1e40321ca86 [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,
Rusty Russelld3561b72006-12-07 02:14:07 +0100322 .wbinvd = native_wbinvd,
Rusty Russell90a0a062007-05-02 19:27:10 +0200323 .read_msr = native_read_msr_safe,
324 .write_msr = native_write_msr_safe,
Rusty Russelld3561b72006-12-07 02:14:07 +0100325 .read_tsc = native_read_tsc,
326 .read_pmc = native_read_pmc,
Glauber de Oliveira Costae5aaac42008-01-30 13:32:05 +0100327 .read_tscp = native_read_tscp,
Rusty Russelld3561b72006-12-07 02:14:07 +0100328 .load_tr_desc = native_load_tr_desc,
329 .set_ldt = native_set_ldt,
330 .load_gdt = native_load_gdt,
331 .load_idt = native_load_idt,
332 .store_gdt = native_store_gdt,
333 .store_idt = native_store_idt,
334 .store_tr = native_store_tr,
335 .load_tls = native_load_tls,
Glauber de Oliveira Costa75b8bb32008-01-30 13:31:13 +0100336 .write_ldt_entry = native_write_ldt_entry,
Glauber de Oliveira Costa014b15b2008-01-30 13:31:13 +0100337 .write_gdt_entry = native_write_gdt_entry,
Glauber de Oliveira Costa8d947342008-01-30 13:31:12 +0100338 .write_idt_entry = native_write_idt_entry,
H. Peter Anvinfaca6222008-01-30 13:31:02 +0100339 .load_sp0 = native_load_sp0,
Rusty Russelld3561b72006-12-07 02:14:07 +0100340
Glauber de Oliveira Costa6abcd982008-01-30 13:30:33 +0100341 .irq_enable_syscall_ret = native_irq_enable_syscall_ret,
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700342 .iret = native_iret,
Glauber de Oliveira Costae801f862008-01-30 13:32:08 +0100343 .swapgs = native_swapgs,
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700344
Rusty Russelld3561b72006-12-07 02:14:07 +0100345 .set_iopl_mask = native_set_iopl_mask,
346 .io_delay = native_io_delay,
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700347
348 .lazy_mode = {
349 .enter = paravirt_nop,
350 .leave = paravirt_nop,
351 },
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700352};
Rusty Russelld3561b72006-12-07 02:14:07 +0100353
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700354struct pv_apic_ops pv_apic_ops = {
Rusty Russell13623d72006-12-07 02:14:08 +0100355#ifdef CONFIG_X86_LOCAL_APIC
356 .apic_write = native_apic_write,
357 .apic_write_atomic = native_apic_write_atomic,
358 .apic_read = native_apic_read,
Zachary Amsdenbbab4f32007-02-13 13:26:21 +0100359 .setup_boot_clock = setup_boot_APIC_clock,
360 .setup_secondary_clock = setup_secondary_APIC_clock,
Jeremy Fitzhardinge0260c192007-05-02 19:27:18 +0200361 .startup_ipi_hook = paravirt_nop,
Rusty Russell13623d72006-12-07 02:14:08 +0100362#endif
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700363};
Rusty Russell13623d72006-12-07 02:14:08 +0100364
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700365struct pv_mmu_ops pv_mmu_ops = {
Jeremy Fitzhardingeb239fb22007-05-02 19:27:13 +0200366 .pagetable_setup_start = native_pagetable_setup_start,
367 .pagetable_setup_done = native_pagetable_setup_done,
368
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700369 .read_cr2 = native_read_cr2,
370 .write_cr2 = native_write_cr2,
371 .read_cr3 = native_read_cr3,
372 .write_cr3 = native_write_cr3,
373
Rusty Russellda181a82006-12-07 02:14:08 +0100374 .flush_tlb_user = native_flush_tlb,
375 .flush_tlb_kernel = native_flush_tlb_global,
376 .flush_tlb_single = native_flush_tlb_single,
Jeremy Fitzhardinged4c10472007-05-02 19:27:15 +0200377 .flush_tlb_others = native_flush_tlb_others,
Rusty Russellda181a82006-12-07 02:14:08 +0100378
Jeremy Fitzhardinge45876232007-05-02 19:27:13 +0200379 .alloc_pt = paravirt_nop,
380 .alloc_pd = paravirt_nop,
381 .alloc_pd_clone = paravirt_nop,
382 .release_pt = paravirt_nop,
383 .release_pd = paravirt_nop,
Zachary Amsdenc119ecc2007-02-13 13:26:21 +0100384
Rusty Russellda181a82006-12-07 02:14:08 +0100385 .set_pte = native_set_pte,
386 .set_pte_at = native_set_pte_at,
387 .set_pmd = native_set_pmd,
Jeremy Fitzhardinge45876232007-05-02 19:27:13 +0200388 .pte_update = paravirt_nop,
389 .pte_update_defer = paravirt_nop,
Jeremy Fitzhardinge3dc494e2007-05-02 19:27:13 +0200390
Jeremy Fitzhardingece6234b2007-05-02 19:27:15 +0200391#ifdef CONFIG_HIGHPTE
392 .kmap_atomic_pte = kmap_atomic,
393#endif
394
Rusty Russellda181a82006-12-07 02:14:08 +0100395#ifdef CONFIG_X86_PAE
396 .set_pte_atomic = native_set_pte_atomic,
397 .set_pte_present = native_set_pte_present,
398 .set_pud = native_set_pud,
399 .pte_clear = native_pte_clear,
400 .pmd_clear = native_pmd_clear,
Jeremy Fitzhardinge3dc494e2007-05-02 19:27:13 +0200401
402 .pmd_val = native_pmd_val,
403 .make_pmd = native_make_pmd,
Rusty Russellda181a82006-12-07 02:14:08 +0100404#endif
405
Jeremy Fitzhardinge3dc494e2007-05-02 19:27:13 +0200406 .pte_val = native_pte_val,
407 .pgd_val = native_pgd_val,
408
409 .make_pte = native_make_pte,
410 .make_pgd = native_make_pgd,
411
Jeremy Fitzhardinged6dd61c2007-05-02 19:27:14 +0200412 .dup_mmap = paravirt_nop,
413 .exit_mmap = paravirt_nop,
414 .activate_mm = paravirt_nop,
Jeremy Fitzhardinge8965c1c2007-10-16 11:51:29 -0700415
416 .lazy_mode = {
417 .enter = paravirt_nop,
418 .leave = paravirt_nop,
419 },
Rusty Russelld3561b72006-12-07 02:14:07 +0100420};
Ingo Molnar0dbe5a12007-01-22 20:40:36 -0800421
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700422EXPORT_SYMBOL_GPL(pv_time_ops);
Jeremy Fitzhardingef97b8952007-11-28 16:22:11 -0800423EXPORT_SYMBOL (pv_cpu_ops);
424EXPORT_SYMBOL (pv_mmu_ops);
Jeremy Fitzhardinge93b1eab2007-10-16 11:51:29 -0700425EXPORT_SYMBOL_GPL(pv_apic_ops);
426EXPORT_SYMBOL_GPL(pv_info);
427EXPORT_SYMBOL (pv_irq_ops);