blob: 4e6670ff18473ab0d3a044aeebbddc1cf9cd867f [file] [log] [blame]
Avi Kivity6aa8b732006-12-10 02:21:36 -08001/*
2 * Kernel-based Virtual Machine driver for Linux
3 *
4 * This module enables machines with Intel VT-x extensions to run virtual
5 * machines without emulation or binary translation.
6 *
7 * MMU support
8 *
9 * Copyright (C) 2006 Qumranet, Inc.
10 *
11 * Authors:
12 * Yaniv Kamay <yaniv@qumranet.com>
13 * Avi Kivity <avi@qumranet.com>
14 *
15 * This work is licensed under the terms of the GNU GPL, version 2. See
16 * the COPYING file in the top-level directory.
17 *
18 */
19
20/*
21 * We need the mmu code to access both 32-bit and 64-bit guest ptes,
22 * so the code in this file is compiled twice, once per pte size.
23 */
24
25#if PTTYPE == 64
26 #define pt_element_t u64
27 #define guest_walker guest_walker64
28 #define FNAME(name) paging##64_##name
29 #define PT_BASE_ADDR_MASK PT64_BASE_ADDR_MASK
30 #define PT_DIR_BASE_ADDR_MASK PT64_DIR_BASE_ADDR_MASK
31 #define PT_INDEX(addr, level) PT64_INDEX(addr, level)
32 #define SHADOW_PT_INDEX(addr, level) PT64_INDEX(addr, level)
33 #define PT_LEVEL_MASK(level) PT64_LEVEL_MASK(level)
34 #define PT_PTE_COPY_MASK PT64_PTE_COPY_MASK
Avi Kivitycea0f0e2007-01-05 16:36:43 -080035 #ifdef CONFIG_X86_64
36 #define PT_MAX_FULL_LEVELS 4
37 #else
38 #define PT_MAX_FULL_LEVELS 2
39 #endif
Avi Kivity6aa8b732006-12-10 02:21:36 -080040#elif PTTYPE == 32
41 #define pt_element_t u32
42 #define guest_walker guest_walker32
43 #define FNAME(name) paging##32_##name
44 #define PT_BASE_ADDR_MASK PT32_BASE_ADDR_MASK
45 #define PT_DIR_BASE_ADDR_MASK PT32_DIR_BASE_ADDR_MASK
46 #define PT_INDEX(addr, level) PT32_INDEX(addr, level)
47 #define SHADOW_PT_INDEX(addr, level) PT64_INDEX(addr, level)
48 #define PT_LEVEL_MASK(level) PT32_LEVEL_MASK(level)
49 #define PT_PTE_COPY_MASK PT32_PTE_COPY_MASK
Avi Kivitycea0f0e2007-01-05 16:36:43 -080050 #define PT_MAX_FULL_LEVELS 2
Avi Kivity6aa8b732006-12-10 02:21:36 -080051#else
52 #error Invalid PTTYPE value
53#endif
54
55/*
56 * The guest_walker structure emulates the behavior of the hardware page
57 * table walker.
58 */
59struct guest_walker {
60 int level;
Avi Kivitycea0f0e2007-01-05 16:36:43 -080061 gfn_t table_gfn[PT_MAX_FULL_LEVELS];
Avi Kivity6aa8b732006-12-10 02:21:36 -080062 pt_element_t *table;
Avi Kivityac79c972007-01-05 16:36:40 -080063 pt_element_t *ptep;
Avi Kivity6aa8b732006-12-10 02:21:36 -080064 pt_element_t inherited_ar;
Avi Kivity815af8d2007-01-05 16:36:44 -080065 gfn_t gfn;
Avi Kivity6aa8b732006-12-10 02:21:36 -080066};
67
Avi Kivityac79c972007-01-05 16:36:40 -080068/*
69 * Fetch a guest pte for a guest virtual address
70 */
71static void FNAME(walk_addr)(struct guest_walker *walker,
72 struct kvm_vcpu *vcpu, gva_t addr)
Avi Kivity6aa8b732006-12-10 02:21:36 -080073{
74 hpa_t hpa;
75 struct kvm_memory_slot *slot;
Avi Kivityac79c972007-01-05 16:36:40 -080076 pt_element_t *ptep;
Avi Kivity1b0973b2007-01-05 16:36:41 -080077 pt_element_t root;
Avi Kivitycea0f0e2007-01-05 16:36:43 -080078 gfn_t table_gfn;
Avi Kivity6aa8b732006-12-10 02:21:36 -080079
Avi Kivitycea0f0e2007-01-05 16:36:43 -080080 pgprintk("%s: addr %lx\n", __FUNCTION__, addr);
Avi Kivity6aa8b732006-12-10 02:21:36 -080081 walker->level = vcpu->mmu.root_level;
Avi Kivity1b0973b2007-01-05 16:36:41 -080082 walker->table = NULL;
83 root = vcpu->cr3;
84#if PTTYPE == 64
85 if (!is_long_mode(vcpu)) {
86 walker->ptep = &vcpu->pdptrs[(addr >> 30) & 3];
87 root = *walker->ptep;
88 if (!(root & PT_PRESENT_MASK))
89 return;
90 --walker->level;
91 }
92#endif
Avi Kivitycea0f0e2007-01-05 16:36:43 -080093 table_gfn = (root & PT64_BASE_ADDR_MASK) >> PAGE_SHIFT;
94 walker->table_gfn[walker->level - 1] = table_gfn;
95 pgprintk("%s: table_gfn[%d] %lx\n", __FUNCTION__,
96 walker->level - 1, table_gfn);
97 slot = gfn_to_memslot(vcpu->kvm, table_gfn);
Avi Kivity1b0973b2007-01-05 16:36:41 -080098 hpa = safe_gpa_to_hpa(vcpu, root & PT64_BASE_ADDR_MASK);
Avi Kivity6aa8b732006-12-10 02:21:36 -080099 walker->table = kmap_atomic(pfn_to_page(hpa >> PAGE_SHIFT), KM_USER0);
100
Avi Kivitya9058ec2006-12-29 16:49:37 -0800101 ASSERT((!is_long_mode(vcpu) && is_pae(vcpu)) ||
Avi Kivity6aa8b732006-12-10 02:21:36 -0800102 (vcpu->cr3 & ~(PAGE_MASK | CR3_FLAGS_MASK)) == 0);
103
Avi Kivity6aa8b732006-12-10 02:21:36 -0800104 walker->inherited_ar = PT_USER_MASK | PT_WRITABLE_MASK;
Avi Kivityac79c972007-01-05 16:36:40 -0800105
106 for (;;) {
107 int index = PT_INDEX(addr, walker->level);
108 hpa_t paddr;
109
110 ptep = &walker->table[index];
111 ASSERT(((unsigned long)walker->table & PAGE_MASK) ==
112 ((unsigned long)ptep & PAGE_MASK));
113
Avi Kivity1b0973b2007-01-05 16:36:41 -0800114 if (is_present_pte(*ptep) && !(*ptep & PT_ACCESSED_MASK))
115 *ptep |= PT_ACCESSED_MASK;
Avi Kivityac79c972007-01-05 16:36:40 -0800116
Avi Kivity815af8d2007-01-05 16:36:44 -0800117 if (!is_present_pte(*ptep))
Avi Kivityac79c972007-01-05 16:36:40 -0800118 break;
119
Avi Kivity815af8d2007-01-05 16:36:44 -0800120 if (walker->level == PT_PAGE_TABLE_LEVEL) {
121 walker->gfn = (*ptep & PT_BASE_ADDR_MASK)
122 >> PAGE_SHIFT;
123 break;
124 }
125
126 if (walker->level == PT_DIRECTORY_LEVEL
127 && (*ptep & PT_PAGE_SIZE_MASK)
128 && (PTTYPE == 64 || is_pse(vcpu))) {
129 walker->gfn = (*ptep & PT_DIR_BASE_ADDR_MASK)
130 >> PAGE_SHIFT;
131 walker->gfn += PT_INDEX(addr, PT_PAGE_TABLE_LEVEL);
132 break;
133 }
134
Avi Kivityac79c972007-01-05 16:36:40 -0800135 if (walker->level != 3 || is_long_mode(vcpu))
136 walker->inherited_ar &= walker->table[index];
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800137 table_gfn = (*ptep & PT_BASE_ADDR_MASK) >> PAGE_SHIFT;
Avi Kivityac79c972007-01-05 16:36:40 -0800138 paddr = safe_gpa_to_hpa(vcpu, *ptep & PT_BASE_ADDR_MASK);
139 kunmap_atomic(walker->table, KM_USER0);
140 walker->table = kmap_atomic(pfn_to_page(paddr >> PAGE_SHIFT),
141 KM_USER0);
142 --walker->level;
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800143 walker->table_gfn[walker->level - 1 ] = table_gfn;
144 pgprintk("%s: table_gfn[%d] %lx\n", __FUNCTION__,
145 walker->level - 1, table_gfn);
Avi Kivityac79c972007-01-05 16:36:40 -0800146 }
147 walker->ptep = ptep;
Avi Kivity374cbac2007-01-05 16:36:43 -0800148 pgprintk("%s: pte %llx\n", __FUNCTION__, (u64)*ptep);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800149}
150
151static void FNAME(release_walker)(struct guest_walker *walker)
152{
Avi Kivity1b0973b2007-01-05 16:36:41 -0800153 if (walker->table)
154 kunmap_atomic(walker->table, KM_USER0);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800155}
156
157static void FNAME(set_pte)(struct kvm_vcpu *vcpu, u64 guest_pte,
Avi Kivity815af8d2007-01-05 16:36:44 -0800158 u64 *shadow_pte, u64 access_bits, gfn_t gfn)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800159{
160 ASSERT(*shadow_pte == 0);
161 access_bits &= guest_pte;
162 *shadow_pte = (guest_pte & PT_PTE_COPY_MASK);
163 set_pte_common(vcpu, shadow_pte, guest_pte & PT_BASE_ADDR_MASK,
Avi Kivity815af8d2007-01-05 16:36:44 -0800164 guest_pte & PT_DIRTY_MASK, access_bits, gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800165}
166
167static void FNAME(set_pde)(struct kvm_vcpu *vcpu, u64 guest_pde,
Avi Kivity815af8d2007-01-05 16:36:44 -0800168 u64 *shadow_pte, u64 access_bits, gfn_t gfn)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800169{
170 gpa_t gaddr;
171
172 ASSERT(*shadow_pte == 0);
173 access_bits &= guest_pde;
Avi Kivity815af8d2007-01-05 16:36:44 -0800174 gaddr = (gpa_t)gfn << PAGE_SHIFT;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800175 if (PTTYPE == 32 && is_cpuid_PSE36())
176 gaddr |= (guest_pde & PT32_DIR_PSE36_MASK) <<
177 (32 - PT32_DIR_PSE36_SHIFT);
Avi Kivity8c7bb722006-12-13 00:34:02 -0800178 *shadow_pte = guest_pde & PT_PTE_COPY_MASK;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800179 set_pte_common(vcpu, shadow_pte, gaddr,
Avi Kivity815af8d2007-01-05 16:36:44 -0800180 guest_pde & PT_DIRTY_MASK, access_bits, gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800181}
182
183/*
Avi Kivity6aa8b732006-12-10 02:21:36 -0800184 * Fetch a shadow pte for a specific level in the paging hierarchy.
185 */
186static u64 *FNAME(fetch)(struct kvm_vcpu *vcpu, gva_t addr,
187 struct guest_walker *walker)
188{
189 hpa_t shadow_addr;
190 int level;
191 u64 *prev_shadow_ent = NULL;
Avi Kivityac79c972007-01-05 16:36:40 -0800192 pt_element_t *guest_ent = walker->ptep;
193
194 if (!is_present_pte(*guest_ent))
195 return NULL;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800196
197 shadow_addr = vcpu->mmu.root_hpa;
198 level = vcpu->mmu.shadow_root_level;
Avi Kivityaef3d3f2007-01-05 16:36:41 -0800199 if (level == PT32E_ROOT_LEVEL) {
200 shadow_addr = vcpu->mmu.pae_root[(addr >> 30) & 3];
201 shadow_addr &= PT64_BASE_ADDR_MASK;
202 --level;
203 }
Avi Kivity6aa8b732006-12-10 02:21:36 -0800204
205 for (; ; level--) {
206 u32 index = SHADOW_PT_INDEX(addr, level);
207 u64 *shadow_ent = ((u64 *)__va(shadow_addr)) + index;
Avi Kivity25c0de22007-01-05 16:36:42 -0800208 struct kvm_mmu_page *shadow_page;
Avi Kivity8c7bb722006-12-13 00:34:02 -0800209 u64 shadow_pte;
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800210 int metaphysical;
211 gfn_t table_gfn;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800212
213 if (is_present_pte(*shadow_ent) || is_io_pte(*shadow_ent)) {
214 if (level == PT_PAGE_TABLE_LEVEL)
215 return shadow_ent;
216 shadow_addr = *shadow_ent & PT64_BASE_ADDR_MASK;
217 prev_shadow_ent = shadow_ent;
218 continue;
219 }
220
Avi Kivity6aa8b732006-12-10 02:21:36 -0800221 if (level == PT_PAGE_TABLE_LEVEL) {
222
223 if (walker->level == PT_DIRECTORY_LEVEL) {
224 if (prev_shadow_ent)
225 *prev_shadow_ent |= PT_SHADOW_PS_MARK;
226 FNAME(set_pde)(vcpu, *guest_ent, shadow_ent,
227 walker->inherited_ar,
Avi Kivity815af8d2007-01-05 16:36:44 -0800228 walker->gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800229 } else {
230 ASSERT(walker->level == PT_PAGE_TABLE_LEVEL);
Avi Kivity815af8d2007-01-05 16:36:44 -0800231 FNAME(set_pte)(vcpu, *guest_ent, shadow_ent,
232 walker->inherited_ar,
233 walker->gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800234 }
235 return shadow_ent;
236 }
237
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800238 if (level - 1 == PT_PAGE_TABLE_LEVEL
239 && walker->level == PT_DIRECTORY_LEVEL) {
240 metaphysical = 1;
241 table_gfn = (*guest_ent & PT_BASE_ADDR_MASK)
242 >> PAGE_SHIFT;
243 } else {
244 metaphysical = 0;
245 table_gfn = walker->table_gfn[level - 2];
246 }
247 shadow_page = kvm_mmu_get_page(vcpu, table_gfn, addr, level-1,
248 metaphysical, shadow_ent);
Avi Kivity25c0de22007-01-05 16:36:42 -0800249 shadow_addr = shadow_page->page_hpa;
Avi Kivityaef3d3f2007-01-05 16:36:41 -0800250 shadow_pte = shadow_addr | PT_PRESENT_MASK | PT_ACCESSED_MASK
251 | PT_WRITABLE_MASK | PT_USER_MASK;
Avi Kivity8c7bb722006-12-13 00:34:02 -0800252 *shadow_ent = shadow_pte;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800253 prev_shadow_ent = shadow_ent;
254 }
255}
256
257/*
258 * The guest faulted for write. We need to
259 *
260 * - check write permissions
261 * - update the guest pte dirty bit
262 * - update our own dirty page tracking structures
263 */
264static int FNAME(fix_write_pf)(struct kvm_vcpu *vcpu,
265 u64 *shadow_ent,
266 struct guest_walker *walker,
267 gva_t addr,
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800268 int user,
269 int *write_pt)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800270{
271 pt_element_t *guest_ent;
272 int writable_shadow;
273 gfn_t gfn;
Avi Kivity14364652007-01-05 16:36:52 -0800274 struct kvm_mmu_page *page;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800275
276 if (is_writeble_pte(*shadow_ent))
277 return 0;
278
279 writable_shadow = *shadow_ent & PT_SHADOW_WRITABLE_MASK;
280 if (user) {
281 /*
282 * User mode access. Fail if it's a kernel page or a read-only
283 * page.
284 */
285 if (!(*shadow_ent & PT_SHADOW_USER_MASK) || !writable_shadow)
286 return 0;
287 ASSERT(*shadow_ent & PT_USER_MASK);
288 } else
289 /*
290 * Kernel mode access. Fail if it's a read-only page and
291 * supervisor write protection is enabled.
292 */
293 if (!writable_shadow) {
294 if (is_write_protection(vcpu))
295 return 0;
296 *shadow_ent &= ~PT_USER_MASK;
297 }
298
Avi Kivityac79c972007-01-05 16:36:40 -0800299 guest_ent = walker->ptep;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800300
301 if (!is_present_pte(*guest_ent)) {
302 *shadow_ent = 0;
303 return 0;
304 }
305
Avi Kivity815af8d2007-01-05 16:36:44 -0800306 gfn = walker->gfn;
Avi Kivity14364652007-01-05 16:36:52 -0800307
308 if (user) {
309 /*
310 * Usermode page faults won't be for page table updates.
311 */
312 while ((page = kvm_mmu_lookup_page(vcpu, gfn)) != NULL) {
313 pgprintk("%s: zap %lx %x\n",
314 __FUNCTION__, gfn, page->role.word);
315 kvm_mmu_zap_page(vcpu, page);
316 }
317 } else if (kvm_mmu_lookup_page(vcpu, gfn)) {
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800318 pgprintk("%s: found shadow page for %lx, marking ro\n",
319 __FUNCTION__, gfn);
320 *write_pt = 1;
321 return 0;
322 }
Avi Kivity6aa8b732006-12-10 02:21:36 -0800323 mark_page_dirty(vcpu->kvm, gfn);
324 *shadow_ent |= PT_WRITABLE_MASK;
325 *guest_ent |= PT_DIRTY_MASK;
Avi Kivity714b93d2007-01-05 16:36:53 -0800326 rmap_add(vcpu, shadow_ent);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800327
328 return 1;
329}
330
331/*
332 * Page fault handler. There are several causes for a page fault:
333 * - there is no shadow pte for the guest pte
334 * - write access through a shadow pte marked read only so that we can set
335 * the dirty bit
336 * - write access to a shadow pte marked read only so we can update the page
337 * dirty bitmap, when userspace requests it
338 * - mmio access; in this case we will never install a present shadow pte
339 * - normal guest page fault due to the guest pte marked not present, not
340 * writable, or not executable
341 *
342 * Returns: 1 if we need to emulate the instruction, 0 otherwise
343 */
344static int FNAME(page_fault)(struct kvm_vcpu *vcpu, gva_t addr,
345 u32 error_code)
346{
347 int write_fault = error_code & PFERR_WRITE_MASK;
348 int pte_present = error_code & PFERR_PRESENT_MASK;
349 int user_fault = error_code & PFERR_USER_MASK;
350 struct guest_walker walker;
351 u64 *shadow_pte;
352 int fixed;
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800353 int write_pt = 0;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800354
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800355 pgprintk("%s: addr %lx err %x\n", __FUNCTION__, addr, error_code);
Avi Kivity714b93d2007-01-05 16:36:53 -0800356
357 mmu_topup_memory_caches(vcpu);
358
Avi Kivity6aa8b732006-12-10 02:21:36 -0800359 /*
360 * Look up the shadow pte for the faulting address.
361 */
Avi Kivityebeace82007-01-05 16:36:47 -0800362 FNAME(walk_addr)(&walker, vcpu, addr);
363 shadow_pte = FNAME(fetch)(vcpu, addr, &walker);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800364
365 /*
366 * The page is not mapped by the guest. Let the guest handle it.
367 */
368 if (!shadow_pte) {
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800369 pgprintk("%s: not mapped\n", __FUNCTION__);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800370 inject_page_fault(vcpu, addr, error_code);
371 FNAME(release_walker)(&walker);
372 return 0;
373 }
374
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800375 pgprintk("%s: shadow pte %p %llx\n", __FUNCTION__,
376 shadow_pte, *shadow_pte);
377
Avi Kivity6aa8b732006-12-10 02:21:36 -0800378 /*
379 * Update the shadow pte.
380 */
381 if (write_fault)
382 fixed = FNAME(fix_write_pf)(vcpu, shadow_pte, &walker, addr,
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800383 user_fault, &write_pt);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800384 else
385 fixed = fix_read_pf(shadow_pte);
386
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800387 pgprintk("%s: updated shadow pte %p %llx\n", __FUNCTION__,
388 shadow_pte, *shadow_pte);
389
Avi Kivity6aa8b732006-12-10 02:21:36 -0800390 FNAME(release_walker)(&walker);
391
392 /*
393 * mmio: emulate if accessible, otherwise its a guest fault.
394 */
395 if (is_io_pte(*shadow_pte)) {
396 if (may_access(*shadow_pte, write_fault, user_fault))
397 return 1;
398 pgprintk("%s: io work, no access\n", __FUNCTION__);
399 inject_page_fault(vcpu, addr,
400 error_code | PFERR_PRESENT_MASK);
401 return 0;
402 }
403
404 /*
405 * pte not present, guest page fault.
406 */
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800407 if (pte_present && !fixed && !write_pt) {
Avi Kivity6aa8b732006-12-10 02:21:36 -0800408 inject_page_fault(vcpu, addr, error_code);
409 return 0;
410 }
411
412 ++kvm_stat.pf_fixed;
413
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800414 return write_pt;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800415}
416
417static gpa_t FNAME(gva_to_gpa)(struct kvm_vcpu *vcpu, gva_t vaddr)
418{
419 struct guest_walker walker;
420 pt_element_t guest_pte;
421 gpa_t gpa;
422
Avi Kivityac79c972007-01-05 16:36:40 -0800423 FNAME(walk_addr)(&walker, vcpu, vaddr);
424 guest_pte = *walker.ptep;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800425 FNAME(release_walker)(&walker);
426
427 if (!is_present_pte(guest_pte))
428 return UNMAPPED_GVA;
429
430 if (walker.level == PT_DIRECTORY_LEVEL) {
431 ASSERT((guest_pte & PT_PAGE_SIZE_MASK));
432 ASSERT(PTTYPE == 64 || is_pse(vcpu));
433
434 gpa = (guest_pte & PT_DIR_BASE_ADDR_MASK) | (vaddr &
435 (PT_LEVEL_MASK(PT_PAGE_TABLE_LEVEL) | ~PAGE_MASK));
436
437 if (PTTYPE == 32 && is_cpuid_PSE36())
438 gpa |= (guest_pte & PT32_DIR_PSE36_MASK) <<
439 (32 - PT32_DIR_PSE36_SHIFT);
440 } else {
441 gpa = (guest_pte & PT_BASE_ADDR_MASK);
442 gpa |= (vaddr & ~PAGE_MASK);
443 }
444
445 return gpa;
446}
447
448#undef pt_element_t
449#undef guest_walker
450#undef FNAME
451#undef PT_BASE_ADDR_MASK
452#undef PT_INDEX
453#undef SHADOW_PT_INDEX
454#undef PT_LEVEL_MASK
455#undef PT_PTE_COPY_MASK
456#undef PT_NON_PTE_COPY_MASK
457#undef PT_DIR_BASE_ADDR_MASK
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800458#undef PT_MAX_FULL_LEVELS