| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 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 | 
| Glauber de Oliveira Costa | b1df07b | 2008-01-30 13:32:04 +0100 | [diff] [blame] | 17 |  | 
|  | 18 | 2007 - x86_64 support added by Glauber de Oliveira Costa, Red Hat Inc | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 19 | */ | 
| Glauber de Oliveira Costa | b1df07b | 2008-01-30 13:32:04 +0100 | [diff] [blame] | 20 |  | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 21 | #include <linux/errno.h> | 
|  | 22 | #include <linux/module.h> | 
|  | 23 | #include <linux/efi.h> | 
|  | 24 | #include <linux/bcd.h> | 
| Jeremy Fitzhardinge | ce6234b | 2007-05-02 19:27:15 +0200 | [diff] [blame] | 25 | #include <linux/highmem.h> | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 26 |  | 
|  | 27 | #include <asm/bug.h> | 
|  | 28 | #include <asm/paravirt.h> | 
|  | 29 | #include <asm/desc.h> | 
|  | 30 | #include <asm/setup.h> | 
| Eduardo Habkost | a312b37 | 2008-07-08 15:06:23 -0700 | [diff] [blame] | 31 | #include <asm/pgtable.h> | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 32 | #include <asm/time.h> | 
| Jeremy Fitzhardinge | eba0045 | 2008-06-25 00:19:12 -0400 | [diff] [blame] | 33 | #include <asm/pgalloc.h> | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 34 | #include <asm/irq.h> | 
|  | 35 | #include <asm/delay.h> | 
| Rusty Russell | 13623d7 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 36 | #include <asm/fixmap.h> | 
|  | 37 | #include <asm/apic.h> | 
| Rusty Russell | da181a8 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 38 | #include <asm/tlbflush.h> | 
| Zachary Amsden | 6cb9a83 | 2007-03-05 00:30:35 -0800 | [diff] [blame] | 39 | #include <asm/timer.h> | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 40 |  | 
|  | 41 | /* nop stub */ | 
| Jeremy Fitzhardinge | 4587623 | 2007-05-02 19:27:13 +0200 | [diff] [blame] | 42 | void _paravirt_nop(void) | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 43 | { | 
|  | 44 | } | 
|  | 45 |  | 
| Jeremy Fitzhardinge | 41edafd | 2009-01-28 14:35:02 -0800 | [diff] [blame] | 46 | /* identity function, which can be inlined */ | 
|  | 47 | u32 _paravirt_ident_32(u32 x) | 
|  | 48 | { | 
|  | 49 | return x; | 
|  | 50 | } | 
|  | 51 |  | 
|  | 52 | u64 _paravirt_ident_64(u64 x) | 
|  | 53 | { | 
|  | 54 | return x; | 
|  | 55 | } | 
|  | 56 |  | 
| Thomas Gleixner | 6f30c1a | 2009-08-20 13:19:57 +0200 | [diff] [blame] | 57 | void __init default_banner(void) | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 58 | { | 
|  | 59 | printk(KERN_INFO "Booting paravirtualized kernel on %s\n", | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 60 | pv_info.name); | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 61 | } | 
|  | 62 |  | 
| Rusty Russell | 139ec7c | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 63 | /* Simple instruction patching code. */ | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 64 | #define DEF_NATIVE(ops, name, code)					\ | 
|  | 65 | extern const char start_##ops##_##name[], end_##ops##_##name[];	\ | 
|  | 66 | asm("start_" #ops "_" #name ": " code "; end_" #ops "_" #name ":") | 
| Rusty Russell | 139ec7c | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 67 |  | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 68 | /* Undefined instruction for dealing with missing ops pointers. */ | 
|  | 69 | static const unsigned char ud2a[] = { 0x0f, 0x0b }; | 
| Rusty Russell | 139ec7c | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 70 |  | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 71 | unsigned paravirt_patch_nop(void) | 
|  | 72 | { | 
|  | 73 | return 0; | 
|  | 74 | } | 
|  | 75 |  | 
|  | 76 | unsigned paravirt_patch_ignore(unsigned len) | 
|  | 77 | { | 
|  | 78 | return len; | 
|  | 79 | } | 
|  | 80 |  | 
| Andi Kleen | 19d36cc | 2007-07-22 11:12:31 +0200 | [diff] [blame] | 81 | struct branch { | 
|  | 82 | unsigned char opcode; | 
|  | 83 | u32 delta; | 
|  | 84 | } __attribute__((packed)); | 
|  | 85 |  | 
| Andi Kleen | ab144f5 | 2007-08-10 22:31:03 +0200 | [diff] [blame] | 86 | unsigned paravirt_patch_call(void *insnbuf, | 
|  | 87 | const void *target, u16 tgt_clobbers, | 
|  | 88 | unsigned long addr, u16 site_clobbers, | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 89 | unsigned len) | 
|  | 90 | { | 
| Andi Kleen | ab144f5 | 2007-08-10 22:31:03 +0200 | [diff] [blame] | 91 | struct branch *b = insnbuf; | 
|  | 92 | unsigned long delta = (unsigned long)target - (addr+5); | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 93 |  | 
|  | 94 | if (tgt_clobbers & ~site_clobbers) | 
|  | 95 | return len;	/* target would clobber too much for this site */ | 
|  | 96 | if (len < 5) | 
|  | 97 | return len;	/* call too long for patch site */ | 
|  | 98 |  | 
| Andi Kleen | ab144f5 | 2007-08-10 22:31:03 +0200 | [diff] [blame] | 99 | b->opcode = 0xe8; /* call */ | 
|  | 100 | b->delta = delta; | 
|  | 101 | BUILD_BUG_ON(sizeof(*b) != 5); | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 102 |  | 
|  | 103 | return 5; | 
|  | 104 | } | 
|  | 105 |  | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 106 | unsigned paravirt_patch_jmp(void *insnbuf, const void *target, | 
| Andi Kleen | ab144f5 | 2007-08-10 22:31:03 +0200 | [diff] [blame] | 107 | unsigned long addr, unsigned len) | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 108 | { | 
| Andi Kleen | ab144f5 | 2007-08-10 22:31:03 +0200 | [diff] [blame] | 109 | struct branch *b = insnbuf; | 
|  | 110 | unsigned long delta = (unsigned long)target - (addr+5); | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 111 |  | 
|  | 112 | if (len < 5) | 
|  | 113 | return len;	/* call too long for patch site */ | 
|  | 114 |  | 
| Andi Kleen | ab144f5 | 2007-08-10 22:31:03 +0200 | [diff] [blame] | 115 | b->opcode = 0xe9;	/* jmp */ | 
|  | 116 | b->delta = delta; | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 117 |  | 
|  | 118 | return 5; | 
|  | 119 | } | 
|  | 120 |  | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 121 | /* Neat trick to map patch type back to the call within the | 
|  | 122 | * corresponding structure. */ | 
|  | 123 | static void *get_call_destination(u8 type) | 
|  | 124 | { | 
|  | 125 | struct paravirt_patch_template tmpl = { | 
|  | 126 | .pv_init_ops = pv_init_ops, | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 127 | .pv_time_ops = pv_time_ops, | 
|  | 128 | .pv_cpu_ops = pv_cpu_ops, | 
|  | 129 | .pv_irq_ops = pv_irq_ops, | 
|  | 130 | .pv_apic_ops = pv_apic_ops, | 
|  | 131 | .pv_mmu_ops = pv_mmu_ops, | 
| Jeremy Fitzhardinge | b4ecc12 | 2009-05-13 17:16:55 -0700 | [diff] [blame] | 132 | #ifdef CONFIG_PARAVIRT_SPINLOCKS | 
| Jeremy Fitzhardinge | 74d4aff | 2008-07-07 12:07:50 -0700 | [diff] [blame] | 133 | .pv_lock_ops = pv_lock_ops, | 
| Jeremy Fitzhardinge | b4ecc12 | 2009-05-13 17:16:55 -0700 | [diff] [blame] | 134 | #endif | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 135 | }; | 
|  | 136 | return *((void **)&tmpl + type); | 
|  | 137 | } | 
|  | 138 |  | 
| Andi Kleen | ab144f5 | 2007-08-10 22:31:03 +0200 | [diff] [blame] | 139 | unsigned paravirt_patch_default(u8 type, u16 clobbers, void *insnbuf, | 
|  | 140 | unsigned long addr, unsigned len) | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 141 | { | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 142 | void *opfunc = get_call_destination(type); | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 143 | unsigned ret; | 
|  | 144 |  | 
|  | 145 | if (opfunc == NULL) | 
|  | 146 | /* If there's no function, patch it with a ud2a (BUG) */ | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 147 | ret = paravirt_patch_insns(insnbuf, len, ud2a, ud2a+sizeof(ud2a)); | 
| Jeremy Fitzhardinge | 41edafd | 2009-01-28 14:35:02 -0800 | [diff] [blame] | 148 | else if (opfunc == _paravirt_nop) | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 149 | /* If the operation is a nop, then nop the callsite */ | 
|  | 150 | ret = paravirt_patch_nop(); | 
| Jeremy Fitzhardinge | 41edafd | 2009-01-28 14:35:02 -0800 | [diff] [blame] | 151 |  | 
|  | 152 | /* identity functions just return their single argument */ | 
|  | 153 | else if (opfunc == _paravirt_ident_32) | 
|  | 154 | ret = paravirt_patch_ident_32(insnbuf, len); | 
|  | 155 | else if (opfunc == _paravirt_ident_64) | 
|  | 156 | ret = paravirt_patch_ident_64(insnbuf, len); | 
|  | 157 |  | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 158 | else if (type == PARAVIRT_PATCH(pv_cpu_ops.iret) || | 
| Jeremy Fitzhardinge | d75cd22 | 2008-06-25 00:19:26 -0400 | [diff] [blame] | 159 | type == PARAVIRT_PATCH(pv_cpu_ops.irq_enable_sysexit) || | 
| Jeremy Fitzhardinge | 2be2998 | 2008-06-25 00:19:28 -0400 | [diff] [blame] | 160 | type == PARAVIRT_PATCH(pv_cpu_ops.usergs_sysret32) || | 
|  | 161 | type == PARAVIRT_PATCH(pv_cpu_ops.usergs_sysret64)) | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 162 | /* If operation requires a jmp, then jmp */ | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 163 | ret = paravirt_patch_jmp(insnbuf, opfunc, addr, len); | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 164 | else | 
|  | 165 | /* Otherwise call the function; assume target could | 
|  | 166 | clobber any caller-save reg */ | 
| Andi Kleen | ab144f5 | 2007-08-10 22:31:03 +0200 | [diff] [blame] | 167 | ret = paravirt_patch_call(insnbuf, opfunc, CLBR_ANY, | 
|  | 168 | addr, clobbers, len); | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 169 |  | 
|  | 170 | return ret; | 
|  | 171 | } | 
|  | 172 |  | 
| Andi Kleen | ab144f5 | 2007-08-10 22:31:03 +0200 | [diff] [blame] | 173 | unsigned paravirt_patch_insns(void *insnbuf, unsigned len, | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 174 | const char *start, const char *end) | 
|  | 175 | { | 
|  | 176 | unsigned insn_len = end - start; | 
|  | 177 |  | 
|  | 178 | if (insn_len > len || start == NULL) | 
|  | 179 | insn_len = len; | 
|  | 180 | else | 
| Andi Kleen | ab144f5 | 2007-08-10 22:31:03 +0200 | [diff] [blame] | 181 | memcpy(insnbuf, start, insn_len); | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 182 |  | 
| Rusty Russell | 139ec7c | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 183 | return insn_len; | 
|  | 184 | } | 
|  | 185 |  | 
| Andi Kleen | 1a1eecd | 2007-02-13 13:26:25 +0100 | [diff] [blame] | 186 | static void native_flush_tlb(void) | 
| Rusty Russell | da181a8 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 187 | { | 
|  | 188 | __native_flush_tlb(); | 
|  | 189 | } | 
|  | 190 |  | 
|  | 191 | /* | 
|  | 192 | * Global pages have to be flushed a bit differently. Not a real | 
|  | 193 | * performance problem because this does not happen often. | 
|  | 194 | */ | 
| Andi Kleen | 1a1eecd | 2007-02-13 13:26:25 +0100 | [diff] [blame] | 195 | static void native_flush_tlb_global(void) | 
| Rusty Russell | da181a8 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 196 | { | 
|  | 197 | __native_flush_tlb_global(); | 
|  | 198 | } | 
|  | 199 |  | 
| Jeremy Fitzhardinge | 63f7027 | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 200 | static void native_flush_tlb_single(unsigned long addr) | 
| Rusty Russell | da181a8 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 201 | { | 
|  | 202 | __native_flush_tlb_single(addr); | 
|  | 203 | } | 
|  | 204 |  | 
| Glauber Costa | 3c404b5 | 2011-07-11 15:28:15 -0400 | [diff] [blame] | 205 | struct jump_label_key paravirt_steal_enabled; | 
|  | 206 | struct jump_label_key paravirt_steal_rq_enabled; | 
|  | 207 |  | 
|  | 208 | static u64 native_steal_clock(int cpu) | 
|  | 209 | { | 
|  | 210 | return 0; | 
|  | 211 | } | 
|  | 212 |  | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 213 | /* These are in entry.S */ | 
| Andi Kleen | 1a1eecd | 2007-02-13 13:26:25 +0100 | [diff] [blame] | 214 | extern void native_iret(void); | 
| Jeremy Fitzhardinge | d75cd22 | 2008-06-25 00:19:26 -0400 | [diff] [blame] | 215 | extern void native_irq_enable_sysexit(void); | 
| Jeremy Fitzhardinge | 2be2998 | 2008-06-25 00:19:28 -0400 | [diff] [blame] | 216 | extern void native_usergs_sysret32(void); | 
|  | 217 | extern void native_usergs_sysret64(void); | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 218 |  | 
| Jeremy Fitzhardinge | d572929 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 219 | static struct resource reserve_ioports = { | 
|  | 220 | .start = 0, | 
|  | 221 | .end = IO_SPACE_LIMIT, | 
|  | 222 | .name = "paravirt-ioport", | 
|  | 223 | .flags = IORESOURCE_IO | IORESOURCE_BUSY, | 
|  | 224 | }; | 
|  | 225 |  | 
| Jeremy Fitzhardinge | d572929 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 226 | /* | 
|  | 227 | * Reserve the whole legacy IO space to prevent any legacy drivers | 
|  | 228 | * from wasting time probing for their hardware.  This is a fairly | 
|  | 229 | * brute-force approach to disabling all non-virtual drivers. | 
|  | 230 | * | 
|  | 231 | * Note that this must be called very early to have any effect. | 
|  | 232 | */ | 
|  | 233 | int paravirt_disable_iospace(void) | 
|  | 234 | { | 
| Jeremy Fitzhardinge | f7743fe | 2008-03-27 17:28:40 -0700 | [diff] [blame] | 235 | return request_resource(&ioport_resource, &reserve_ioports); | 
| Jeremy Fitzhardinge | d572929 | 2007-07-17 18:37:04 -0700 | [diff] [blame] | 236 | } | 
|  | 237 |  | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 238 | static DEFINE_PER_CPU(enum paravirt_lazy_mode, paravirt_lazy_mode) = PARAVIRT_LAZY_NONE; | 
|  | 239 |  | 
|  | 240 | static inline void enter_lazy(enum paravirt_lazy_mode mode) | 
|  | 241 | { | 
| Jeremy Fitzhardinge | ab2f75f | 2009-02-18 00:18:50 -0800 | [diff] [blame] | 242 | BUG_ON(percpu_read(paravirt_lazy_mode) != PARAVIRT_LAZY_NONE); | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 243 |  | 
| Jeremy Fitzhardinge | ab2f75f | 2009-02-18 00:18:50 -0800 | [diff] [blame] | 244 | percpu_write(paravirt_lazy_mode, mode); | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 245 | } | 
|  | 246 |  | 
| Jeremy Fitzhardinge | b407fc5 | 2009-02-17 23:46:21 -0800 | [diff] [blame] | 247 | static void leave_lazy(enum paravirt_lazy_mode mode) | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 248 | { | 
| Jeremy Fitzhardinge | ab2f75f | 2009-02-18 00:18:50 -0800 | [diff] [blame] | 249 | BUG_ON(percpu_read(paravirt_lazy_mode) != mode); | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 250 |  | 
| Jeremy Fitzhardinge | ab2f75f | 2009-02-18 00:18:50 -0800 | [diff] [blame] | 251 | percpu_write(paravirt_lazy_mode, PARAVIRT_LAZY_NONE); | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 252 | } | 
|  | 253 |  | 
|  | 254 | void paravirt_enter_lazy_mmu(void) | 
|  | 255 | { | 
|  | 256 | enter_lazy(PARAVIRT_LAZY_MMU); | 
|  | 257 | } | 
|  | 258 |  | 
|  | 259 | void paravirt_leave_lazy_mmu(void) | 
|  | 260 | { | 
| Jeremy Fitzhardinge | b407fc5 | 2009-02-17 23:46:21 -0800 | [diff] [blame] | 261 | leave_lazy(PARAVIRT_LAZY_MMU); | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 262 | } | 
|  | 263 |  | 
| Jeremy Fitzhardinge | 224101e | 2009-02-18 11:18:57 -0800 | [diff] [blame] | 264 | void paravirt_start_context_switch(struct task_struct *prev) | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 265 | { | 
| Jeremy Fitzhardinge | 2829b44 | 2009-02-17 23:53:19 -0800 | [diff] [blame] | 266 | BUG_ON(preemptible()); | 
|  | 267 |  | 
| Jeremy Fitzhardinge | b407fc5 | 2009-02-17 23:46:21 -0800 | [diff] [blame] | 268 | if (percpu_read(paravirt_lazy_mode) == PARAVIRT_LAZY_MMU) { | 
|  | 269 | arch_leave_lazy_mmu_mode(); | 
| Jeremy Fitzhardinge | 224101e | 2009-02-18 11:18:57 -0800 | [diff] [blame] | 270 | set_ti_thread_flag(task_thread_info(prev), TIF_LAZY_MMU_UPDATES); | 
| Jeremy Fitzhardinge | b407fc5 | 2009-02-17 23:46:21 -0800 | [diff] [blame] | 271 | } | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 272 | enter_lazy(PARAVIRT_LAZY_CPU); | 
|  | 273 | } | 
|  | 274 |  | 
| Jeremy Fitzhardinge | 224101e | 2009-02-18 11:18:57 -0800 | [diff] [blame] | 275 | void paravirt_end_context_switch(struct task_struct *next) | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 276 | { | 
| Jeremy Fitzhardinge | 2829b44 | 2009-02-17 23:53:19 -0800 | [diff] [blame] | 277 | BUG_ON(preemptible()); | 
|  | 278 |  | 
| Jeremy Fitzhardinge | b407fc5 | 2009-02-17 23:46:21 -0800 | [diff] [blame] | 279 | leave_lazy(PARAVIRT_LAZY_CPU); | 
|  | 280 |  | 
| Jeremy Fitzhardinge | 224101e | 2009-02-18 11:18:57 -0800 | [diff] [blame] | 281 | if (test_and_clear_ti_thread_flag(task_thread_info(next), TIF_LAZY_MMU_UPDATES)) | 
| Jeremy Fitzhardinge | b407fc5 | 2009-02-17 23:46:21 -0800 | [diff] [blame] | 282 | arch_enter_lazy_mmu_mode(); | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 283 | } | 
|  | 284 |  | 
|  | 285 | enum paravirt_lazy_mode paravirt_get_lazy_mode(void) | 
|  | 286 | { | 
| Jeremy Fitzhardinge | b8bcfe9 | 2009-02-17 23:05:19 -0800 | [diff] [blame] | 287 | if (in_interrupt()) | 
|  | 288 | return PARAVIRT_LAZY_NONE; | 
|  | 289 |  | 
| Jeremy Fitzhardinge | ab2f75f | 2009-02-18 00:18:50 -0800 | [diff] [blame] | 290 | return percpu_read(paravirt_lazy_mode); | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 291 | } | 
|  | 292 |  | 
| Jeremy Fitzhardinge | d85cf93 | 2009-02-12 10:02:56 -0800 | [diff] [blame] | 293 | void arch_flush_lazy_mmu_mode(void) | 
|  | 294 | { | 
|  | 295 | preempt_disable(); | 
|  | 296 |  | 
|  | 297 | if (paravirt_get_lazy_mode() == PARAVIRT_LAZY_MMU) { | 
|  | 298 | arch_leave_lazy_mmu_mode(); | 
|  | 299 | arch_enter_lazy_mmu_mode(); | 
|  | 300 | } | 
|  | 301 |  | 
|  | 302 | preempt_enable(); | 
|  | 303 | } | 
|  | 304 |  | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 305 | struct pv_info pv_info = { | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 306 | .name = "bare hardware", | 
|  | 307 | .paravirt_enabled = 0, | 
|  | 308 | .kernel_rpl = 0, | 
| Jeremy Fitzhardinge | 5311ab6 | 2007-05-02 19:27:13 +0200 | [diff] [blame] | 309 | .shared_kernel_pmd = 1,	/* Only used when CONFIG_X86_PAE is set */ | 
| Andy Lutomirski | 318f5a2 | 2011-08-03 09:31:53 -0400 | [diff] [blame] | 310 |  | 
|  | 311 | #ifdef CONFIG_X86_64 | 
|  | 312 | .extra_user_64bit_cs = __USER_CS, | 
|  | 313 | #endif | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 314 | }; | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 315 |  | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 316 | struct pv_init_ops pv_init_ops = { | 
|  | 317 | .patch = native_patch, | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 318 | }; | 
|  | 319 |  | 
|  | 320 | struct pv_time_ops pv_time_ops = { | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 321 | .sched_clock = native_sched_clock, | 
| Glauber Costa | 3c404b5 | 2011-07-11 15:28:15 -0400 | [diff] [blame] | 322 | .steal_clock = native_steal_clock, | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 323 | }; | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 324 |  | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 325 | struct pv_irq_ops pv_irq_ops = { | 
| Jeremy Fitzhardinge | ecb93d1 | 2009-01-28 14:35:05 -0800 | [diff] [blame] | 326 | .save_fl = __PV_IS_CALLEE_SAVE(native_save_fl), | 
|  | 327 | .restore_fl = __PV_IS_CALLEE_SAVE(native_restore_fl), | 
|  | 328 | .irq_disable = __PV_IS_CALLEE_SAVE(native_irq_disable), | 
|  | 329 | .irq_enable = __PV_IS_CALLEE_SAVE(native_irq_enable), | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 330 | .safe_halt = native_safe_halt, | 
|  | 331 | .halt = native_halt, | 
| Jeremy Fitzhardinge | fab5842 | 2008-06-25 00:19:31 -0400 | [diff] [blame] | 332 | #ifdef CONFIG_X86_64 | 
|  | 333 | .adjust_exception_frame = paravirt_nop, | 
|  | 334 | #endif | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 335 | }; | 
|  | 336 |  | 
|  | 337 | struct pv_cpu_ops pv_cpu_ops = { | 
|  | 338 | .cpuid = native_cpuid, | 
|  | 339 | .get_debugreg = native_get_debugreg, | 
|  | 340 | .set_debugreg = native_set_debugreg, | 
|  | 341 | .clts = native_clts, | 
|  | 342 | .read_cr0 = native_read_cr0, | 
|  | 343 | .write_cr0 = native_write_cr0, | 
|  | 344 | .read_cr4 = native_read_cr4, | 
|  | 345 | .read_cr4_safe = native_read_cr4_safe, | 
|  | 346 | .write_cr4 = native_write_cr4, | 
| Glauber de Oliveira Costa | 88b4755 | 2008-01-30 13:33:19 +0100 | [diff] [blame] | 347 | #ifdef CONFIG_X86_64 | 
|  | 348 | .read_cr8 = native_read_cr8, | 
|  | 349 | .write_cr8 = native_write_cr8, | 
|  | 350 | #endif | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 351 | .wbinvd = native_wbinvd, | 
| Rusty Russell | 90a0a06 | 2007-05-02 19:27:10 +0200 | [diff] [blame] | 352 | .read_msr = native_read_msr_safe, | 
| Borislav Petkov | 132ec92 | 2009-08-31 09:50:09 +0200 | [diff] [blame] | 353 | .rdmsr_regs = native_rdmsr_safe_regs, | 
| Rusty Russell | 90a0a06 | 2007-05-02 19:27:10 +0200 | [diff] [blame] | 354 | .write_msr = native_write_msr_safe, | 
| Borislav Petkov | 132ec92 | 2009-08-31 09:50:09 +0200 | [diff] [blame] | 355 | .wrmsr_regs = native_wrmsr_safe_regs, | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 356 | .read_tsc = native_read_tsc, | 
|  | 357 | .read_pmc = native_read_pmc, | 
| Glauber de Oliveira Costa | e5aaac4 | 2008-01-30 13:32:05 +0100 | [diff] [blame] | 358 | .read_tscp = native_read_tscp, | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 359 | .load_tr_desc = native_load_tr_desc, | 
|  | 360 | .set_ldt = native_set_ldt, | 
|  | 361 | .load_gdt = native_load_gdt, | 
|  | 362 | .load_idt = native_load_idt, | 
|  | 363 | .store_gdt = native_store_gdt, | 
|  | 364 | .store_idt = native_store_idt, | 
|  | 365 | .store_tr = native_store_tr, | 
|  | 366 | .load_tls = native_load_tls, | 
| Jeremy Fitzhardinge | 9f9d489 | 2008-06-25 00:19:32 -0400 | [diff] [blame] | 367 | #ifdef CONFIG_X86_64 | 
|  | 368 | .load_gs_index = native_load_gs_index, | 
|  | 369 | #endif | 
| Glauber de Oliveira Costa | 75b8bb3 | 2008-01-30 13:31:13 +0100 | [diff] [blame] | 370 | .write_ldt_entry = native_write_ldt_entry, | 
| Glauber de Oliveira Costa | 014b15b | 2008-01-30 13:31:13 +0100 | [diff] [blame] | 371 | .write_gdt_entry = native_write_gdt_entry, | 
| Glauber de Oliveira Costa | 8d94734 | 2008-01-30 13:31:12 +0100 | [diff] [blame] | 372 | .write_idt_entry = native_write_idt_entry, | 
| Jeremy Fitzhardinge | 38ffbe6 | 2008-07-23 14:21:18 -0700 | [diff] [blame] | 373 |  | 
|  | 374 | .alloc_ldt = paravirt_nop, | 
|  | 375 | .free_ldt = paravirt_nop, | 
|  | 376 |  | 
| H. Peter Anvin | faca622 | 2008-01-30 13:31:02 +0100 | [diff] [blame] | 377 | .load_sp0 = native_load_sp0, | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 378 |  | 
| Jeremy Fitzhardinge | 102d0a4 | 2008-06-30 11:10:53 -0700 | [diff] [blame] | 379 | #if defined(CONFIG_X86_32) || defined(CONFIG_IA32_EMULATION) | 
| Jeremy Fitzhardinge | d75cd22 | 2008-06-25 00:19:26 -0400 | [diff] [blame] | 380 | .irq_enable_sysexit = native_irq_enable_sysexit, | 
| Jeremy Fitzhardinge | 102d0a4 | 2008-06-30 11:10:53 -0700 | [diff] [blame] | 381 | #endif | 
| Jeremy Fitzhardinge | 2be2998 | 2008-06-25 00:19:28 -0400 | [diff] [blame] | 382 | #ifdef CONFIG_X86_64 | 
| Jeremy Fitzhardinge | 102d0a4 | 2008-06-30 11:10:53 -0700 | [diff] [blame] | 383 | #ifdef CONFIG_IA32_EMULATION | 
| Jeremy Fitzhardinge | 2be2998 | 2008-06-25 00:19:28 -0400 | [diff] [blame] | 384 | .usergs_sysret32 = native_usergs_sysret32, | 
| Jeremy Fitzhardinge | 102d0a4 | 2008-06-30 11:10:53 -0700 | [diff] [blame] | 385 | #endif | 
| Jeremy Fitzhardinge | 2be2998 | 2008-06-25 00:19:28 -0400 | [diff] [blame] | 386 | .usergs_sysret64 = native_usergs_sysret64, | 
| Jeremy Fitzhardinge | d75cd22 | 2008-06-25 00:19:26 -0400 | [diff] [blame] | 387 | #endif | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 388 | .iret = native_iret, | 
| Glauber de Oliveira Costa | e801f86 | 2008-01-30 13:32:08 +0100 | [diff] [blame] | 389 | .swapgs = native_swapgs, | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 390 |  | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 391 | .set_iopl_mask = native_set_iopl_mask, | 
|  | 392 | .io_delay = native_io_delay, | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 393 |  | 
| Jeremy Fitzhardinge | 224101e | 2009-02-18 11:18:57 -0800 | [diff] [blame] | 394 | .start_context_switch = paravirt_nop, | 
|  | 395 | .end_context_switch = paravirt_nop, | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 396 | }; | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 397 |  | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 398 | struct pv_apic_ops pv_apic_ops = { | 
| Rusty Russell | 13623d7 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 399 | #ifdef CONFIG_X86_LOCAL_APIC | 
| Jeremy Fitzhardinge | 0260c19 | 2007-05-02 19:27:18 +0200 | [diff] [blame] | 400 | .startup_ipi_hook = paravirt_nop, | 
| Rusty Russell | 13623d7 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 401 | #endif | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 402 | }; | 
| Rusty Russell | 13623d7 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 403 |  | 
| Jeremy Fitzhardinge | 41edafd | 2009-01-28 14:35:02 -0800 | [diff] [blame] | 404 | #if defined(CONFIG_X86_32) && !defined(CONFIG_X86_PAE) | 
|  | 405 | /* 32-bit pagetable entries */ | 
| Jeremy Fitzhardinge | da5de7c | 2009-01-28 14:35:07 -0800 | [diff] [blame] | 406 | #define PTE_IDENT	__PV_IS_CALLEE_SAVE(_paravirt_ident_32) | 
| Jeremy Fitzhardinge | 41edafd | 2009-01-28 14:35:02 -0800 | [diff] [blame] | 407 | #else | 
|  | 408 | /* 64-bit pagetable entries */ | 
| Jeremy Fitzhardinge | da5de7c | 2009-01-28 14:35:07 -0800 | [diff] [blame] | 409 | #define PTE_IDENT	__PV_IS_CALLEE_SAVE(_paravirt_ident_64) | 
| Jeremy Fitzhardinge | 41edafd | 2009-01-28 14:35:02 -0800 | [diff] [blame] | 410 | #endif | 
|  | 411 |  | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 412 | struct pv_mmu_ops pv_mmu_ops = { | 
| Jeremy Fitzhardinge | b239fb2 | 2007-05-02 19:27:13 +0200 | [diff] [blame] | 413 |  | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 414 | .read_cr2 = native_read_cr2, | 
|  | 415 | .write_cr2 = native_write_cr2, | 
|  | 416 | .read_cr3 = native_read_cr3, | 
|  | 417 | .write_cr3 = native_write_cr3, | 
|  | 418 |  | 
| Rusty Russell | da181a8 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 419 | .flush_tlb_user = native_flush_tlb, | 
|  | 420 | .flush_tlb_kernel = native_flush_tlb_global, | 
|  | 421 | .flush_tlb_single = native_flush_tlb_single, | 
| Jeremy Fitzhardinge | d4c1047 | 2007-05-02 19:27:15 +0200 | [diff] [blame] | 422 | .flush_tlb_others = native_flush_tlb_others, | 
| Rusty Russell | da181a8 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 423 |  | 
| Jeremy Fitzhardinge | eba0045 | 2008-06-25 00:19:12 -0400 | [diff] [blame] | 424 | .pgd_alloc = __paravirt_pgd_alloc, | 
|  | 425 | .pgd_free = paravirt_nop, | 
|  | 426 |  | 
| Jeremy Fitzhardinge | 6944a9c | 2008-03-17 16:37:01 -0700 | [diff] [blame] | 427 | .alloc_pte = paravirt_nop, | 
|  | 428 | .alloc_pmd = paravirt_nop, | 
| Jeremy Fitzhardinge | 2761fa0 | 2008-03-17 16:37:02 -0700 | [diff] [blame] | 429 | .alloc_pud = paravirt_nop, | 
| Jeremy Fitzhardinge | 6944a9c | 2008-03-17 16:37:01 -0700 | [diff] [blame] | 430 | .release_pte = paravirt_nop, | 
|  | 431 | .release_pmd = paravirt_nop, | 
| Jeremy Fitzhardinge | 2761fa0 | 2008-03-17 16:37:02 -0700 | [diff] [blame] | 432 | .release_pud = paravirt_nop, | 
| Zachary Amsden | c119ecc | 2007-02-13 13:26:21 +0100 | [diff] [blame] | 433 |  | 
| Rusty Russell | da181a8 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 434 | .set_pte = native_set_pte, | 
|  | 435 | .set_pte_at = native_set_pte_at, | 
|  | 436 | .set_pmd = native_set_pmd, | 
| Andrea Arcangeli | 331127f | 2011-01-13 15:46:36 -0800 | [diff] [blame] | 437 | .set_pmd_at = native_set_pmd_at, | 
| Jeremy Fitzhardinge | 4587623 | 2007-05-02 19:27:13 +0200 | [diff] [blame] | 438 | .pte_update = paravirt_nop, | 
|  | 439 | .pte_update_defer = paravirt_nop, | 
| Andrea Arcangeli | 331127f | 2011-01-13 15:46:36 -0800 | [diff] [blame] | 440 | .pmd_update = paravirt_nop, | 
|  | 441 | .pmd_update_defer = paravirt_nop, | 
| Jeremy Fitzhardinge | 3dc494e | 2007-05-02 19:27:13 +0200 | [diff] [blame] | 442 |  | 
| Jeremy Fitzhardinge | 08b882c | 2008-06-16 04:30:01 -0700 | [diff] [blame] | 443 | .ptep_modify_prot_start = __ptep_modify_prot_start, | 
|  | 444 | .ptep_modify_prot_commit = __ptep_modify_prot_commit, | 
|  | 445 |  | 
| Eduardo Habkost | f95f2f7 | 2008-01-30 13:33:20 +0100 | [diff] [blame] | 446 | #if PAGETABLE_LEVELS >= 3 | 
| Rusty Russell | da181a8 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 447 | #ifdef CONFIG_X86_PAE | 
|  | 448 | .set_pte_atomic = native_set_pte_atomic, | 
| Rusty Russell | da181a8 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 449 | .pte_clear = native_pte_clear, | 
|  | 450 | .pmd_clear = native_pmd_clear, | 
| Eduardo Habkost | f95f2f7 | 2008-01-30 13:33:20 +0100 | [diff] [blame] | 451 | #endif | 
|  | 452 | .set_pud = native_set_pud, | 
| Jeremy Fitzhardinge | da5de7c | 2009-01-28 14:35:07 -0800 | [diff] [blame] | 453 |  | 
|  | 454 | .pmd_val = PTE_IDENT, | 
|  | 455 | .make_pmd = PTE_IDENT, | 
| Eduardo Habkost | f95f2f7 | 2008-01-30 13:33:20 +0100 | [diff] [blame] | 456 |  | 
|  | 457 | #if PAGETABLE_LEVELS == 4 | 
| Jeremy Fitzhardinge | da5de7c | 2009-01-28 14:35:07 -0800 | [diff] [blame] | 458 | .pud_val = PTE_IDENT, | 
|  | 459 | .make_pud = PTE_IDENT, | 
|  | 460 |  | 
| Eduardo Habkost | f95f2f7 | 2008-01-30 13:33:20 +0100 | [diff] [blame] | 461 | .set_pgd = native_set_pgd, | 
| Rusty Russell | da181a8 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 462 | #endif | 
| Eduardo Habkost | f95f2f7 | 2008-01-30 13:33:20 +0100 | [diff] [blame] | 463 | #endif /* PAGETABLE_LEVELS >= 3 */ | 
| Rusty Russell | da181a8 | 2006-12-07 02:14:08 +0100 | [diff] [blame] | 464 |  | 
| Jeremy Fitzhardinge | da5de7c | 2009-01-28 14:35:07 -0800 | [diff] [blame] | 465 | .pte_val = PTE_IDENT, | 
|  | 466 | .pgd_val = PTE_IDENT, | 
| Jeremy Fitzhardinge | 3dc494e | 2007-05-02 19:27:13 +0200 | [diff] [blame] | 467 |  | 
| Jeremy Fitzhardinge | da5de7c | 2009-01-28 14:35:07 -0800 | [diff] [blame] | 468 | .make_pte = PTE_IDENT, | 
|  | 469 | .make_pgd = PTE_IDENT, | 
| Jeremy Fitzhardinge | 3dc494e | 2007-05-02 19:27:13 +0200 | [diff] [blame] | 470 |  | 
| Jeremy Fitzhardinge | d6dd61c | 2007-05-02 19:27:14 +0200 | [diff] [blame] | 471 | .dup_mmap = paravirt_nop, | 
|  | 472 | .exit_mmap = paravirt_nop, | 
|  | 473 | .activate_mm = paravirt_nop, | 
| Jeremy Fitzhardinge | 8965c1c | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 474 |  | 
|  | 475 | .lazy_mode = { | 
|  | 476 | .enter = paravirt_nop, | 
|  | 477 | .leave = paravirt_nop, | 
|  | 478 | }, | 
| Jeremy Fitzhardinge | aeaaa59 | 2008-06-17 11:42:01 -0700 | [diff] [blame] | 479 |  | 
|  | 480 | .set_fixmap = native_set_fixmap, | 
| Rusty Russell | d3561b7 | 2006-12-07 02:14:07 +0100 | [diff] [blame] | 481 | }; | 
| Ingo Molnar | 0dbe5a1 | 2007-01-22 20:40:36 -0800 | [diff] [blame] | 482 |  | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 483 | EXPORT_SYMBOL_GPL(pv_time_ops); | 
| Jeremy Fitzhardinge | f97b895 | 2007-11-28 16:22:11 -0800 | [diff] [blame] | 484 | EXPORT_SYMBOL    (pv_cpu_ops); | 
|  | 485 | EXPORT_SYMBOL    (pv_mmu_ops); | 
| Jeremy Fitzhardinge | 93b1eab | 2007-10-16 11:51:29 -0700 | [diff] [blame] | 486 | EXPORT_SYMBOL_GPL(pv_apic_ops); | 
|  | 487 | EXPORT_SYMBOL_GPL(pv_info); | 
|  | 488 | EXPORT_SYMBOL    (pv_irq_ops); |