blob: afcd2a8f45bbc5d42c2fb97ca0dacae45a9abe59 [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 Kivity7993ba42007-01-26 00:56:41 -080066 u32 error_code;
Avi Kivity6aa8b732006-12-10 02:21:36 -080067};
68
Avi Kivityac79c972007-01-05 16:36:40 -080069/*
70 * Fetch a guest pte for a guest virtual address
71 */
Avi Kivity7993ba42007-01-26 00:56:41 -080072static int FNAME(walk_addr)(struct guest_walker *walker,
73 struct kvm_vcpu *vcpu, gva_t addr,
74 int write_fault, int user_fault)
Avi Kivity6aa8b732006-12-10 02:21:36 -080075{
76 hpa_t hpa;
77 struct kvm_memory_slot *slot;
Avi Kivityac79c972007-01-05 16:36:40 -080078 pt_element_t *ptep;
Avi Kivity1b0973b2007-01-05 16:36:41 -080079 pt_element_t root;
Avi Kivitycea0f0e2007-01-05 16:36:43 -080080 gfn_t table_gfn;
Avi Kivity6aa8b732006-12-10 02:21:36 -080081
Avi Kivitycea0f0e2007-01-05 16:36:43 -080082 pgprintk("%s: addr %lx\n", __FUNCTION__, addr);
Avi Kivity6aa8b732006-12-10 02:21:36 -080083 walker->level = vcpu->mmu.root_level;
Avi Kivity1b0973b2007-01-05 16:36:41 -080084 walker->table = NULL;
85 root = vcpu->cr3;
86#if PTTYPE == 64
87 if (!is_long_mode(vcpu)) {
88 walker->ptep = &vcpu->pdptrs[(addr >> 30) & 3];
89 root = *walker->ptep;
90 if (!(root & PT_PRESENT_MASK))
Avi Kivity7993ba42007-01-26 00:56:41 -080091 goto not_present;
Avi Kivity1b0973b2007-01-05 16:36:41 -080092 --walker->level;
93 }
94#endif
Avi Kivitycea0f0e2007-01-05 16:36:43 -080095 table_gfn = (root & PT64_BASE_ADDR_MASK) >> PAGE_SHIFT;
96 walker->table_gfn[walker->level - 1] = table_gfn;
97 pgprintk("%s: table_gfn[%d] %lx\n", __FUNCTION__,
98 walker->level - 1, table_gfn);
99 slot = gfn_to_memslot(vcpu->kvm, table_gfn);
Avi Kivity1b0973b2007-01-05 16:36:41 -0800100 hpa = safe_gpa_to_hpa(vcpu, root & PT64_BASE_ADDR_MASK);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800101 walker->table = kmap_atomic(pfn_to_page(hpa >> PAGE_SHIFT), KM_USER0);
102
Avi Kivitya9058ec2006-12-29 16:49:37 -0800103 ASSERT((!is_long_mode(vcpu) && is_pae(vcpu)) ||
Avi Kivity6aa8b732006-12-10 02:21:36 -0800104 (vcpu->cr3 & ~(PAGE_MASK | CR3_FLAGS_MASK)) == 0);
105
Avi Kivity6aa8b732006-12-10 02:21:36 -0800106 walker->inherited_ar = PT_USER_MASK | PT_WRITABLE_MASK;
Avi Kivityac79c972007-01-05 16:36:40 -0800107
108 for (;;) {
109 int index = PT_INDEX(addr, walker->level);
110 hpa_t paddr;
111
112 ptep = &walker->table[index];
113 ASSERT(((unsigned long)walker->table & PAGE_MASK) ==
114 ((unsigned long)ptep & PAGE_MASK));
115
Avi Kivity815af8d2007-01-05 16:36:44 -0800116 if (!is_present_pte(*ptep))
Avi Kivity7993ba42007-01-26 00:56:41 -0800117 goto not_present;
118
119 if (write_fault && !is_writeble_pte(*ptep))
120 if (user_fault || is_write_protection(vcpu))
121 goto access_error;
122
123 if (user_fault && !(*ptep & PT_USER_MASK))
124 goto access_error;
125
126 if (!(*ptep & PT_ACCESSED_MASK))
127 *ptep |= PT_ACCESSED_MASK; /* avoid rmw */
Avi Kivityac79c972007-01-05 16:36:40 -0800128
Avi Kivity815af8d2007-01-05 16:36:44 -0800129 if (walker->level == PT_PAGE_TABLE_LEVEL) {
130 walker->gfn = (*ptep & PT_BASE_ADDR_MASK)
131 >> PAGE_SHIFT;
132 break;
133 }
134
135 if (walker->level == PT_DIRECTORY_LEVEL
136 && (*ptep & PT_PAGE_SIZE_MASK)
137 && (PTTYPE == 64 || is_pse(vcpu))) {
138 walker->gfn = (*ptep & PT_DIR_BASE_ADDR_MASK)
139 >> PAGE_SHIFT;
140 walker->gfn += PT_INDEX(addr, PT_PAGE_TABLE_LEVEL);
141 break;
142 }
143
Avi Kivityac79c972007-01-05 16:36:40 -0800144 if (walker->level != 3 || is_long_mode(vcpu))
145 walker->inherited_ar &= walker->table[index];
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800146 table_gfn = (*ptep & PT_BASE_ADDR_MASK) >> PAGE_SHIFT;
Avi Kivityac79c972007-01-05 16:36:40 -0800147 paddr = safe_gpa_to_hpa(vcpu, *ptep & PT_BASE_ADDR_MASK);
148 kunmap_atomic(walker->table, KM_USER0);
149 walker->table = kmap_atomic(pfn_to_page(paddr >> PAGE_SHIFT),
150 KM_USER0);
151 --walker->level;
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800152 walker->table_gfn[walker->level - 1 ] = table_gfn;
153 pgprintk("%s: table_gfn[%d] %lx\n", __FUNCTION__,
154 walker->level - 1, table_gfn);
Avi Kivityac79c972007-01-05 16:36:40 -0800155 }
156 walker->ptep = ptep;
Avi Kivity374cbac2007-01-05 16:36:43 -0800157 pgprintk("%s: pte %llx\n", __FUNCTION__, (u64)*ptep);
Avi Kivity7993ba42007-01-26 00:56:41 -0800158 return 1;
159
160not_present:
161 walker->error_code = 0;
162 goto err;
163
164access_error:
165 walker->error_code = PFERR_PRESENT_MASK;
166
167err:
168 if (write_fault)
169 walker->error_code |= PFERR_WRITE_MASK;
170 if (user_fault)
171 walker->error_code |= PFERR_USER_MASK;
172 return 0;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800173}
174
175static void FNAME(release_walker)(struct guest_walker *walker)
176{
Avi Kivity1b0973b2007-01-05 16:36:41 -0800177 if (walker->table)
178 kunmap_atomic(walker->table, KM_USER0);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800179}
180
181static void FNAME(set_pte)(struct kvm_vcpu *vcpu, u64 guest_pte,
Avi Kivity815af8d2007-01-05 16:36:44 -0800182 u64 *shadow_pte, u64 access_bits, gfn_t gfn)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800183{
184 ASSERT(*shadow_pte == 0);
185 access_bits &= guest_pte;
186 *shadow_pte = (guest_pte & PT_PTE_COPY_MASK);
187 set_pte_common(vcpu, shadow_pte, guest_pte & PT_BASE_ADDR_MASK,
Avi Kivity815af8d2007-01-05 16:36:44 -0800188 guest_pte & PT_DIRTY_MASK, access_bits, gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800189}
190
191static void FNAME(set_pde)(struct kvm_vcpu *vcpu, u64 guest_pde,
Avi Kivity815af8d2007-01-05 16:36:44 -0800192 u64 *shadow_pte, u64 access_bits, gfn_t gfn)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800193{
194 gpa_t gaddr;
195
196 ASSERT(*shadow_pte == 0);
197 access_bits &= guest_pde;
Avi Kivity815af8d2007-01-05 16:36:44 -0800198 gaddr = (gpa_t)gfn << PAGE_SHIFT;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800199 if (PTTYPE == 32 && is_cpuid_PSE36())
200 gaddr |= (guest_pde & PT32_DIR_PSE36_MASK) <<
201 (32 - PT32_DIR_PSE36_SHIFT);
Avi Kivity8c7bb722006-12-13 00:34:02 -0800202 *shadow_pte = guest_pde & PT_PTE_COPY_MASK;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800203 set_pte_common(vcpu, shadow_pte, gaddr,
Avi Kivity815af8d2007-01-05 16:36:44 -0800204 guest_pde & PT_DIRTY_MASK, access_bits, gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800205}
206
207/*
Avi Kivity6aa8b732006-12-10 02:21:36 -0800208 * Fetch a shadow pte for a specific level in the paging hierarchy.
209 */
210static u64 *FNAME(fetch)(struct kvm_vcpu *vcpu, gva_t addr,
211 struct guest_walker *walker)
212{
213 hpa_t shadow_addr;
214 int level;
215 u64 *prev_shadow_ent = NULL;
Avi Kivityac79c972007-01-05 16:36:40 -0800216 pt_element_t *guest_ent = walker->ptep;
217
218 if (!is_present_pte(*guest_ent))
219 return NULL;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800220
221 shadow_addr = vcpu->mmu.root_hpa;
222 level = vcpu->mmu.shadow_root_level;
Avi Kivityaef3d3f2007-01-05 16:36:41 -0800223 if (level == PT32E_ROOT_LEVEL) {
224 shadow_addr = vcpu->mmu.pae_root[(addr >> 30) & 3];
225 shadow_addr &= PT64_BASE_ADDR_MASK;
226 --level;
227 }
Avi Kivity6aa8b732006-12-10 02:21:36 -0800228
229 for (; ; level--) {
230 u32 index = SHADOW_PT_INDEX(addr, level);
231 u64 *shadow_ent = ((u64 *)__va(shadow_addr)) + index;
Avi Kivity25c0de22007-01-05 16:36:42 -0800232 struct kvm_mmu_page *shadow_page;
Avi Kivity8c7bb722006-12-13 00:34:02 -0800233 u64 shadow_pte;
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800234 int metaphysical;
235 gfn_t table_gfn;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800236
237 if (is_present_pte(*shadow_ent) || is_io_pte(*shadow_ent)) {
238 if (level == PT_PAGE_TABLE_LEVEL)
239 return shadow_ent;
240 shadow_addr = *shadow_ent & PT64_BASE_ADDR_MASK;
241 prev_shadow_ent = shadow_ent;
242 continue;
243 }
244
Avi Kivity6aa8b732006-12-10 02:21:36 -0800245 if (level == PT_PAGE_TABLE_LEVEL) {
246
247 if (walker->level == PT_DIRECTORY_LEVEL) {
248 if (prev_shadow_ent)
249 *prev_shadow_ent |= PT_SHADOW_PS_MARK;
250 FNAME(set_pde)(vcpu, *guest_ent, shadow_ent,
251 walker->inherited_ar,
Avi Kivity815af8d2007-01-05 16:36:44 -0800252 walker->gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800253 } else {
254 ASSERT(walker->level == PT_PAGE_TABLE_LEVEL);
Avi Kivity815af8d2007-01-05 16:36:44 -0800255 FNAME(set_pte)(vcpu, *guest_ent, shadow_ent,
256 walker->inherited_ar,
257 walker->gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800258 }
259 return shadow_ent;
260 }
261
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800262 if (level - 1 == PT_PAGE_TABLE_LEVEL
263 && walker->level == PT_DIRECTORY_LEVEL) {
264 metaphysical = 1;
265 table_gfn = (*guest_ent & PT_BASE_ADDR_MASK)
266 >> PAGE_SHIFT;
267 } else {
268 metaphysical = 0;
269 table_gfn = walker->table_gfn[level - 2];
270 }
271 shadow_page = kvm_mmu_get_page(vcpu, table_gfn, addr, level-1,
272 metaphysical, shadow_ent);
Avi Kivity25c0de22007-01-05 16:36:42 -0800273 shadow_addr = shadow_page->page_hpa;
Avi Kivityaef3d3f2007-01-05 16:36:41 -0800274 shadow_pte = shadow_addr | PT_PRESENT_MASK | PT_ACCESSED_MASK
275 | PT_WRITABLE_MASK | PT_USER_MASK;
Avi Kivity8c7bb722006-12-13 00:34:02 -0800276 *shadow_ent = shadow_pte;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800277 prev_shadow_ent = shadow_ent;
278 }
279}
280
281/*
282 * The guest faulted for write. We need to
283 *
284 * - check write permissions
285 * - update the guest pte dirty bit
286 * - update our own dirty page tracking structures
287 */
288static int FNAME(fix_write_pf)(struct kvm_vcpu *vcpu,
289 u64 *shadow_ent,
290 struct guest_walker *walker,
291 gva_t addr,
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800292 int user,
293 int *write_pt)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800294{
295 pt_element_t *guest_ent;
296 int writable_shadow;
297 gfn_t gfn;
Avi Kivity14364652007-01-05 16:36:52 -0800298 struct kvm_mmu_page *page;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800299
300 if (is_writeble_pte(*shadow_ent))
Avi Kivityfc3dffe2007-01-22 20:40:40 -0800301 return !user || (*shadow_ent & PT_USER_MASK);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800302
303 writable_shadow = *shadow_ent & PT_SHADOW_WRITABLE_MASK;
304 if (user) {
305 /*
306 * User mode access. Fail if it's a kernel page or a read-only
307 * page.
308 */
309 if (!(*shadow_ent & PT_SHADOW_USER_MASK) || !writable_shadow)
310 return 0;
311 ASSERT(*shadow_ent & PT_USER_MASK);
312 } else
313 /*
314 * Kernel mode access. Fail if it's a read-only page and
315 * supervisor write protection is enabled.
316 */
317 if (!writable_shadow) {
318 if (is_write_protection(vcpu))
319 return 0;
320 *shadow_ent &= ~PT_USER_MASK;
321 }
322
Avi Kivityac79c972007-01-05 16:36:40 -0800323 guest_ent = walker->ptep;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800324
325 if (!is_present_pte(*guest_ent)) {
326 *shadow_ent = 0;
327 return 0;
328 }
329
Avi Kivity815af8d2007-01-05 16:36:44 -0800330 gfn = walker->gfn;
Avi Kivity14364652007-01-05 16:36:52 -0800331
332 if (user) {
333 /*
334 * Usermode page faults won't be for page table updates.
335 */
336 while ((page = kvm_mmu_lookup_page(vcpu, gfn)) != NULL) {
337 pgprintk("%s: zap %lx %x\n",
338 __FUNCTION__, gfn, page->role.word);
339 kvm_mmu_zap_page(vcpu, page);
340 }
341 } else if (kvm_mmu_lookup_page(vcpu, gfn)) {
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800342 pgprintk("%s: found shadow page for %lx, marking ro\n",
343 __FUNCTION__, gfn);
Avi Kivity760db772007-01-05 16:36:59 -0800344 *guest_ent |= PT_DIRTY_MASK;
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800345 *write_pt = 1;
346 return 0;
347 }
Avi Kivity6aa8b732006-12-10 02:21:36 -0800348 mark_page_dirty(vcpu->kvm, gfn);
349 *shadow_ent |= PT_WRITABLE_MASK;
350 *guest_ent |= PT_DIRTY_MASK;
Avi Kivity714b93d2007-01-05 16:36:53 -0800351 rmap_add(vcpu, shadow_ent);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800352
353 return 1;
354}
355
356/*
357 * Page fault handler. There are several causes for a page fault:
358 * - there is no shadow pte for the guest pte
359 * - write access through a shadow pte marked read only so that we can set
360 * the dirty bit
361 * - write access to a shadow pte marked read only so we can update the page
362 * dirty bitmap, when userspace requests it
363 * - mmio access; in this case we will never install a present shadow pte
364 * - normal guest page fault due to the guest pte marked not present, not
365 * writable, or not executable
366 *
Avi Kivitye2dec932007-01-05 16:36:54 -0800367 * Returns: 1 if we need to emulate the instruction, 0 otherwise, or
368 * a negative value on error.
Avi Kivity6aa8b732006-12-10 02:21:36 -0800369 */
370static int FNAME(page_fault)(struct kvm_vcpu *vcpu, gva_t addr,
371 u32 error_code)
372{
373 int write_fault = error_code & PFERR_WRITE_MASK;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800374 int user_fault = error_code & PFERR_USER_MASK;
375 struct guest_walker walker;
376 u64 *shadow_pte;
377 int fixed;
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800378 int write_pt = 0;
Avi Kivitye2dec932007-01-05 16:36:54 -0800379 int r;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800380
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800381 pgprintk("%s: addr %lx err %x\n", __FUNCTION__, addr, error_code);
Avi Kivity37a7d8b2007-01-05 16:36:56 -0800382 kvm_mmu_audit(vcpu, "pre page fault");
Avi Kivity714b93d2007-01-05 16:36:53 -0800383
Avi Kivitye2dec932007-01-05 16:36:54 -0800384 r = mmu_topup_memory_caches(vcpu);
385 if (r)
386 return r;
Avi Kivity714b93d2007-01-05 16:36:53 -0800387
Avi Kivity6aa8b732006-12-10 02:21:36 -0800388 /*
389 * Look up the shadow pte for the faulting address.
390 */
Avi Kivity7993ba42007-01-26 00:56:41 -0800391 r = FNAME(walk_addr)(&walker, vcpu, addr, write_fault, user_fault);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800392
393 /*
394 * The page is not mapped by the guest. Let the guest handle it.
395 */
Avi Kivity7993ba42007-01-26 00:56:41 -0800396 if (!r) {
397 pgprintk("%s: guest page fault\n", __FUNCTION__);
398 inject_page_fault(vcpu, addr, walker.error_code);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800399 FNAME(release_walker)(&walker);
400 return 0;
401 }
402
Avi Kivity7993ba42007-01-26 00:56:41 -0800403 shadow_pte = FNAME(fetch)(vcpu, addr, &walker);
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800404 pgprintk("%s: shadow pte %p %llx\n", __FUNCTION__,
405 shadow_pte, *shadow_pte);
406
Avi Kivity6aa8b732006-12-10 02:21:36 -0800407 /*
408 * Update the shadow pte.
409 */
410 if (write_fault)
411 fixed = FNAME(fix_write_pf)(vcpu, shadow_pte, &walker, addr,
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800412 user_fault, &write_pt);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800413 else
414 fixed = fix_read_pf(shadow_pte);
415
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800416 pgprintk("%s: updated shadow pte %p %llx\n", __FUNCTION__,
417 shadow_pte, *shadow_pte);
418
Avi Kivity6aa8b732006-12-10 02:21:36 -0800419 FNAME(release_walker)(&walker);
420
421 /*
422 * mmio: emulate if accessible, otherwise its a guest fault.
423 */
424 if (is_io_pte(*shadow_pte)) {
Avi Kivity7993ba42007-01-26 00:56:41 -0800425 return 1;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800426 }
427
428 ++kvm_stat.pf_fixed;
Avi Kivity37a7d8b2007-01-05 16:36:56 -0800429 kvm_mmu_audit(vcpu, "post page fault (fixed)");
Avi Kivity6aa8b732006-12-10 02:21:36 -0800430
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800431 return write_pt;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800432}
433
434static gpa_t FNAME(gva_to_gpa)(struct kvm_vcpu *vcpu, gva_t vaddr)
435{
436 struct guest_walker walker;
437 pt_element_t guest_pte;
438 gpa_t gpa;
439
Avi Kivity7993ba42007-01-26 00:56:41 -0800440 FNAME(walk_addr)(&walker, vcpu, vaddr, 0, 0);
Avi Kivityac79c972007-01-05 16:36:40 -0800441 guest_pte = *walker.ptep;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800442 FNAME(release_walker)(&walker);
443
444 if (!is_present_pte(guest_pte))
445 return UNMAPPED_GVA;
446
447 if (walker.level == PT_DIRECTORY_LEVEL) {
448 ASSERT((guest_pte & PT_PAGE_SIZE_MASK));
449 ASSERT(PTTYPE == 64 || is_pse(vcpu));
450
451 gpa = (guest_pte & PT_DIR_BASE_ADDR_MASK) | (vaddr &
452 (PT_LEVEL_MASK(PT_PAGE_TABLE_LEVEL) | ~PAGE_MASK));
453
454 if (PTTYPE == 32 && is_cpuid_PSE36())
455 gpa |= (guest_pte & PT32_DIR_PSE36_MASK) <<
456 (32 - PT32_DIR_PSE36_SHIFT);
457 } else {
458 gpa = (guest_pte & PT_BASE_ADDR_MASK);
459 gpa |= (vaddr & ~PAGE_MASK);
460 }
461
462 return gpa;
463}
464
465#undef pt_element_t
466#undef guest_walker
467#undef FNAME
468#undef PT_BASE_ADDR_MASK
469#undef PT_INDEX
470#undef SHADOW_PT_INDEX
471#undef PT_LEVEL_MASK
472#undef PT_PTE_COPY_MASK
473#undef PT_NON_PTE_COPY_MASK
474#undef PT_DIR_BASE_ADDR_MASK
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800475#undef PT_MAX_FULL_LEVELS