blob: 5c3d6e81a7dc61ec0b5ad6d952b77b96acb23b8f [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 */
Avi Kivity6aa8b732006-12-10 02:21:36 -080019
Zhang Xiantao1d737c82007-12-14 09:35:10 +080020#include "mmu.h"
Avi Kivity6aa8b732006-12-10 02:21:36 -080021
Avi Kivityedf88412007-12-16 11:02:48 +020022#include <linux/kvm_host.h>
Avi Kivitye4956062007-06-28 14:15:57 -040023#include <linux/types.h>
24#include <linux/string.h>
25#include <linux/mm.h>
26#include <linux/highmem.h>
27#include <linux/module.h>
Izik Eidus448353c2007-11-26 14:08:14 +020028#include <linux/swap.h>
Marcelo Tosatti05da4552008-02-23 11:44:30 -030029#include <linux/hugetlb.h>
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -050030#include <linux/compiler.h>
Avi Kivitye4956062007-06-28 14:15:57 -040031
32#include <asm/page.h>
33#include <asm/cmpxchg.h>
Avi Kivity4e542372007-11-21 14:08:40 +020034#include <asm/io.h>
Eduardo Habkost13673a92008-11-17 19:03:13 -020035#include <asm/vmx.h>
Avi Kivitye4956062007-06-28 14:15:57 -040036
Joerg Roedel18552672008-02-07 13:47:41 +010037/*
38 * When setting this variable to true it enables Two-Dimensional-Paging
39 * where the hardware walks 2 page tables:
40 * 1. the guest-virtual to guest-physical
41 * 2. while doing 1. it walks guest-physical to host-physical
42 * If the hardware supports that we don't need to do shadow paging.
43 */
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -050044bool tdp_enabled = false;
Joerg Roedel18552672008-02-07 13:47:41 +010045
Avi Kivity37a7d8b2007-01-05 16:36:56 -080046#undef MMU_DEBUG
47
48#undef AUDIT
49
50#ifdef AUDIT
51static void kvm_mmu_audit(struct kvm_vcpu *vcpu, const char *msg);
52#else
53static void kvm_mmu_audit(struct kvm_vcpu *vcpu, const char *msg) {}
54#endif
55
56#ifdef MMU_DEBUG
57
58#define pgprintk(x...) do { if (dbg) printk(x); } while (0)
59#define rmap_printk(x...) do { if (dbg) printk(x); } while (0)
60
61#else
62
63#define pgprintk(x...) do { } while (0)
64#define rmap_printk(x...) do { } while (0)
65
66#endif
67
68#if defined(MMU_DEBUG) || defined(AUDIT)
Avi Kivity6ada8cc2008-06-22 16:45:24 +030069static int dbg = 0;
70module_param(dbg, bool, 0644);
Avi Kivity37a7d8b2007-01-05 16:36:56 -080071#endif
Avi Kivity6aa8b732006-12-10 02:21:36 -080072
Marcelo Tosatti582801a2008-09-23 13:18:41 -030073static int oos_shadow = 1;
74module_param(oos_shadow, bool, 0644);
75
Yaozu Dongd6c69ee2007-04-25 14:17:25 +080076#ifndef MMU_DEBUG
77#define ASSERT(x) do { } while (0)
78#else
Avi Kivity6aa8b732006-12-10 02:21:36 -080079#define ASSERT(x) \
80 if (!(x)) { \
81 printk(KERN_WARNING "assertion failed %s:%d: %s\n", \
82 __FILE__, __LINE__, #x); \
83 }
Yaozu Dongd6c69ee2007-04-25 14:17:25 +080084#endif
Avi Kivity6aa8b732006-12-10 02:21:36 -080085
Avi Kivity6aa8b732006-12-10 02:21:36 -080086#define PT_FIRST_AVAIL_BITS_SHIFT 9
87#define PT64_SECOND_AVAIL_BITS_SHIFT 52
88
Avi Kivity6aa8b732006-12-10 02:21:36 -080089#define VALID_PAGE(x) ((x) != INVALID_PAGE)
90
91#define PT64_LEVEL_BITS 9
92
93#define PT64_LEVEL_SHIFT(level) \
Mike Dayd77c26f2007-10-08 09:02:08 -040094 (PAGE_SHIFT + (level - 1) * PT64_LEVEL_BITS)
Avi Kivity6aa8b732006-12-10 02:21:36 -080095
96#define PT64_LEVEL_MASK(level) \
97 (((1ULL << PT64_LEVEL_BITS) - 1) << PT64_LEVEL_SHIFT(level))
98
99#define PT64_INDEX(address, level)\
100 (((address) >> PT64_LEVEL_SHIFT(level)) & ((1 << PT64_LEVEL_BITS) - 1))
101
102
103#define PT32_LEVEL_BITS 10
104
105#define PT32_LEVEL_SHIFT(level) \
Mike Dayd77c26f2007-10-08 09:02:08 -0400106 (PAGE_SHIFT + (level - 1) * PT32_LEVEL_BITS)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800107
108#define PT32_LEVEL_MASK(level) \
109 (((1ULL << PT32_LEVEL_BITS) - 1) << PT32_LEVEL_SHIFT(level))
110
111#define PT32_INDEX(address, level)\
112 (((address) >> PT32_LEVEL_SHIFT(level)) & ((1 << PT32_LEVEL_BITS) - 1))
113
114
Avi Kivity27aba762007-03-09 13:04:31 +0200115#define PT64_BASE_ADDR_MASK (((1ULL << 52) - 1) & ~(u64)(PAGE_SIZE-1))
Avi Kivity6aa8b732006-12-10 02:21:36 -0800116#define PT64_DIR_BASE_ADDR_MASK \
117 (PT64_BASE_ADDR_MASK & ~((1ULL << (PAGE_SHIFT + PT64_LEVEL_BITS)) - 1))
118
119#define PT32_BASE_ADDR_MASK PAGE_MASK
120#define PT32_DIR_BASE_ADDR_MASK \
121 (PAGE_MASK & ~((1ULL << (PAGE_SHIFT + PT32_LEVEL_BITS)) - 1))
122
Avi Kivity79539ce2007-11-21 02:06:21 +0200123#define PT64_PERM_MASK (PT_PRESENT_MASK | PT_WRITABLE_MASK | PT_USER_MASK \
124 | PT64_NX_MASK)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800125
126#define PFERR_PRESENT_MASK (1U << 0)
127#define PFERR_WRITE_MASK (1U << 1)
128#define PFERR_USER_MASK (1U << 2)
Dong, Eddie82725b22009-03-30 16:21:08 +0800129#define PFERR_RSVD_MASK (1U << 3)
Avi Kivity73b10872007-01-26 00:56:41 -0800130#define PFERR_FETCH_MASK (1U << 4)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800131
Avi Kivity6aa8b732006-12-10 02:21:36 -0800132#define PT_DIRECTORY_LEVEL 2
133#define PT_PAGE_TABLE_LEVEL 1
134
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800135#define RMAP_EXT 4
136
Avi Kivityfe135d22007-12-09 16:15:46 +0200137#define ACC_EXEC_MASK 1
138#define ACC_WRITE_MASK PT_WRITABLE_MASK
139#define ACC_USER_MASK PT_USER_MASK
140#define ACC_ALL (ACC_EXEC_MASK | ACC_WRITE_MASK | ACC_USER_MASK)
141
Avi Kivity135f8c22008-08-21 17:49:56 +0300142#define SHADOW_PT_INDEX(addr, level) PT64_INDEX(addr, level)
143
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800144struct kvm_rmap_desc {
145 u64 *shadow_ptes[RMAP_EXT];
146 struct kvm_rmap_desc *more;
147};
148
Avi Kivity2d111232008-12-25 14:39:47 +0200149struct kvm_shadow_walk_iterator {
150 u64 addr;
151 hpa_t shadow_addr;
152 int level;
153 u64 *sptep;
154 unsigned index;
155};
156
157#define for_each_shadow_entry(_vcpu, _addr, _walker) \
158 for (shadow_walk_init(&(_walker), _vcpu, _addr); \
159 shadow_walk_okay(&(_walker)); \
160 shadow_walk_next(&(_walker)))
161
162
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -0300163struct kvm_unsync_walk {
164 int (*entry) (struct kvm_mmu_page *sp, struct kvm_unsync_walk *walk);
165};
166
Marcelo Tosattiad8cfbe2008-09-23 13:18:36 -0300167typedef int (*mmu_parent_walk_fn) (struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp);
168
Avi Kivityb5a33a72007-04-15 16:31:09 +0300169static struct kmem_cache *pte_chain_cache;
170static struct kmem_cache *rmap_desc_cache;
Avi Kivityd3d25b02007-05-30 12:34:53 +0300171static struct kmem_cache *mmu_page_header_cache;
Avi Kivityb5a33a72007-04-15 16:31:09 +0300172
Avi Kivityc7addb92007-09-16 18:58:32 +0200173static u64 __read_mostly shadow_trap_nonpresent_pte;
174static u64 __read_mostly shadow_notrap_nonpresent_pte;
Sheng Yang7b523452008-04-25 21:13:50 +0800175static u64 __read_mostly shadow_base_present_pte;
176static u64 __read_mostly shadow_nx_mask;
177static u64 __read_mostly shadow_x_mask; /* mutual exclusive with nx_mask */
178static u64 __read_mostly shadow_user_mask;
179static u64 __read_mostly shadow_accessed_mask;
180static u64 __read_mostly shadow_dirty_mask;
Avi Kivityc7addb92007-09-16 18:58:32 +0200181
Dong, Eddie82725b22009-03-30 16:21:08 +0800182static inline u64 rsvd_bits(int s, int e)
183{
184 return ((1ULL << (e - s + 1)) - 1) << s;
185}
186
Avi Kivityc7addb92007-09-16 18:58:32 +0200187void kvm_mmu_set_nonpresent_ptes(u64 trap_pte, u64 notrap_pte)
188{
189 shadow_trap_nonpresent_pte = trap_pte;
190 shadow_notrap_nonpresent_pte = notrap_pte;
191}
192EXPORT_SYMBOL_GPL(kvm_mmu_set_nonpresent_ptes);
193
Sheng Yang7b523452008-04-25 21:13:50 +0800194void kvm_mmu_set_base_ptes(u64 base_pte)
195{
196 shadow_base_present_pte = base_pte;
197}
198EXPORT_SYMBOL_GPL(kvm_mmu_set_base_ptes);
199
200void kvm_mmu_set_mask_ptes(u64 user_mask, u64 accessed_mask,
Sheng Yang4b12f0d2009-04-27 20:35:42 +0800201 u64 dirty_mask, u64 nx_mask, u64 x_mask)
Sheng Yang7b523452008-04-25 21:13:50 +0800202{
203 shadow_user_mask = user_mask;
204 shadow_accessed_mask = accessed_mask;
205 shadow_dirty_mask = dirty_mask;
206 shadow_nx_mask = nx_mask;
207 shadow_x_mask = x_mask;
208}
209EXPORT_SYMBOL_GPL(kvm_mmu_set_mask_ptes);
210
Avi Kivity6aa8b732006-12-10 02:21:36 -0800211static int is_write_protection(struct kvm_vcpu *vcpu)
212{
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800213 return vcpu->arch.cr0 & X86_CR0_WP;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800214}
215
216static int is_cpuid_PSE36(void)
217{
218 return 1;
219}
220
Avi Kivity73b10872007-01-26 00:56:41 -0800221static int is_nx(struct kvm_vcpu *vcpu)
222{
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800223 return vcpu->arch.shadow_efer & EFER_NX;
Avi Kivity73b10872007-01-26 00:56:41 -0800224}
225
Avi Kivityc7addb92007-09-16 18:58:32 +0200226static int is_shadow_present_pte(u64 pte)
227{
Avi Kivityc7addb92007-09-16 18:58:32 +0200228 return pte != shadow_trap_nonpresent_pte
229 && pte != shadow_notrap_nonpresent_pte;
230}
231
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300232static int is_large_pte(u64 pte)
233{
234 return pte & PT_PAGE_SIZE_MASK;
235}
236
Avi Kivity6aa8b732006-12-10 02:21:36 -0800237static int is_writeble_pte(unsigned long pte)
238{
239 return pte & PT_WRITABLE_MASK;
240}
241
Avi Kivitye3c5e7ec2007-10-11 12:32:30 +0200242static int is_dirty_pte(unsigned long pte)
243{
Sheng Yang7b523452008-04-25 21:13:50 +0800244 return pte & shadow_dirty_mask;
Avi Kivitye3c5e7ec2007-10-11 12:32:30 +0200245}
246
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800247static int is_rmap_pte(u64 pte)
248{
Avi Kivity4b1a80f2008-03-23 12:18:19 +0200249 return is_shadow_present_pte(pte);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800250}
251
Anthony Liguori35149e22008-04-02 14:46:56 -0500252static pfn_t spte_to_pfn(u64 pte)
Avi Kivity0b49ea82008-03-23 15:06:23 +0200253{
Anthony Liguori35149e22008-04-02 14:46:56 -0500254 return (pte & PT64_BASE_ADDR_MASK) >> PAGE_SHIFT;
Avi Kivity0b49ea82008-03-23 15:06:23 +0200255}
256
Avi Kivityda928522007-11-21 13:54:47 +0200257static gfn_t pse36_gfn_delta(u32 gpte)
258{
259 int shift = 32 - PT32_DIR_PSE36_SHIFT - PAGE_SHIFT;
260
261 return (gpte & PT32_DIR_PSE36_MASK) << shift;
262}
263
Avi Kivitye663ee62007-05-31 15:46:04 +0300264static void set_shadow_pte(u64 *sptep, u64 spte)
265{
266#ifdef CONFIG_X86_64
267 set_64bit((unsigned long *)sptep, spte);
268#else
269 set_64bit((unsigned long long *)sptep, spte);
270#endif
271}
272
Avi Kivitye2dec932007-01-05 16:36:54 -0800273static int mmu_topup_memory_cache(struct kvm_mmu_memory_cache *cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300274 struct kmem_cache *base_cache, int min)
Avi Kivity714b93d2007-01-05 16:36:53 -0800275{
276 void *obj;
277
278 if (cache->nobjs >= min)
Avi Kivitye2dec932007-01-05 16:36:54 -0800279 return 0;
Avi Kivity714b93d2007-01-05 16:36:53 -0800280 while (cache->nobjs < ARRAY_SIZE(cache->objects)) {
Avi Kivity2e3e5882007-09-10 11:28:17 +0300281 obj = kmem_cache_zalloc(base_cache, GFP_KERNEL);
Avi Kivity714b93d2007-01-05 16:36:53 -0800282 if (!obj)
Avi Kivitye2dec932007-01-05 16:36:54 -0800283 return -ENOMEM;
Avi Kivity714b93d2007-01-05 16:36:53 -0800284 cache->objects[cache->nobjs++] = obj;
285 }
Avi Kivitye2dec932007-01-05 16:36:54 -0800286 return 0;
Avi Kivity714b93d2007-01-05 16:36:53 -0800287}
288
289static void mmu_free_memory_cache(struct kvm_mmu_memory_cache *mc)
290{
291 while (mc->nobjs)
292 kfree(mc->objects[--mc->nobjs]);
293}
294
Avi Kivityc1158e62007-07-20 08:18:27 +0300295static int mmu_topup_memory_cache_page(struct kvm_mmu_memory_cache *cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300296 int min)
Avi Kivityc1158e62007-07-20 08:18:27 +0300297{
298 struct page *page;
299
300 if (cache->nobjs >= min)
301 return 0;
302 while (cache->nobjs < ARRAY_SIZE(cache->objects)) {
Avi Kivity2e3e5882007-09-10 11:28:17 +0300303 page = alloc_page(GFP_KERNEL);
Avi Kivityc1158e62007-07-20 08:18:27 +0300304 if (!page)
305 return -ENOMEM;
306 set_page_private(page, 0);
307 cache->objects[cache->nobjs++] = page_address(page);
308 }
309 return 0;
310}
311
312static void mmu_free_memory_cache_page(struct kvm_mmu_memory_cache *mc)
313{
314 while (mc->nobjs)
Avi Kivityc4d198d2007-07-21 09:06:46 +0300315 free_page((unsigned long)mc->objects[--mc->nobjs]);
Avi Kivityc1158e62007-07-20 08:18:27 +0300316}
317
Avi Kivity8c438502007-04-16 11:53:17 +0300318static int mmu_topup_memory_caches(struct kvm_vcpu *vcpu)
319{
320 int r;
321
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800322 r = mmu_topup_memory_cache(&vcpu->arch.mmu_pte_chain_cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300323 pte_chain_cache, 4);
324 if (r)
325 goto out;
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800326 r = mmu_topup_memory_cache(&vcpu->arch.mmu_rmap_desc_cache,
Marcelo Tosattic41ef342008-10-28 18:16:58 -0200327 rmap_desc_cache, 4);
Avi Kivity2e3e5882007-09-10 11:28:17 +0300328 if (r)
329 goto out;
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800330 r = mmu_topup_memory_cache_page(&vcpu->arch.mmu_page_cache, 8);
Avi Kivity2e3e5882007-09-10 11:28:17 +0300331 if (r)
332 goto out;
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800333 r = mmu_topup_memory_cache(&vcpu->arch.mmu_page_header_cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300334 mmu_page_header_cache, 4);
335out:
Avi Kivity8c438502007-04-16 11:53:17 +0300336 return r;
337}
338
Avi Kivity714b93d2007-01-05 16:36:53 -0800339static void mmu_free_memory_caches(struct kvm_vcpu *vcpu)
340{
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800341 mmu_free_memory_cache(&vcpu->arch.mmu_pte_chain_cache);
342 mmu_free_memory_cache(&vcpu->arch.mmu_rmap_desc_cache);
343 mmu_free_memory_cache_page(&vcpu->arch.mmu_page_cache);
344 mmu_free_memory_cache(&vcpu->arch.mmu_page_header_cache);
Avi Kivity714b93d2007-01-05 16:36:53 -0800345}
346
347static void *mmu_memory_cache_alloc(struct kvm_mmu_memory_cache *mc,
348 size_t size)
349{
350 void *p;
351
352 BUG_ON(!mc->nobjs);
353 p = mc->objects[--mc->nobjs];
Avi Kivity714b93d2007-01-05 16:36:53 -0800354 return p;
355}
356
Avi Kivity714b93d2007-01-05 16:36:53 -0800357static struct kvm_pte_chain *mmu_alloc_pte_chain(struct kvm_vcpu *vcpu)
358{
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800359 return mmu_memory_cache_alloc(&vcpu->arch.mmu_pte_chain_cache,
Avi Kivity714b93d2007-01-05 16:36:53 -0800360 sizeof(struct kvm_pte_chain));
361}
362
Avi Kivity90cb0522007-07-17 13:04:56 +0300363static void mmu_free_pte_chain(struct kvm_pte_chain *pc)
Avi Kivity714b93d2007-01-05 16:36:53 -0800364{
Avi Kivity90cb0522007-07-17 13:04:56 +0300365 kfree(pc);
Avi Kivity714b93d2007-01-05 16:36:53 -0800366}
367
368static struct kvm_rmap_desc *mmu_alloc_rmap_desc(struct kvm_vcpu *vcpu)
369{
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800370 return mmu_memory_cache_alloc(&vcpu->arch.mmu_rmap_desc_cache,
Avi Kivity714b93d2007-01-05 16:36:53 -0800371 sizeof(struct kvm_rmap_desc));
372}
373
Avi Kivity90cb0522007-07-17 13:04:56 +0300374static void mmu_free_rmap_desc(struct kvm_rmap_desc *rd)
Avi Kivity714b93d2007-01-05 16:36:53 -0800375{
Avi Kivity90cb0522007-07-17 13:04:56 +0300376 kfree(rd);
Avi Kivity714b93d2007-01-05 16:36:53 -0800377}
378
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800379/*
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300380 * Return the pointer to the largepage write count for a given
381 * gfn, handling slots that are not large page aligned.
382 */
383static int *slot_largepage_idx(gfn_t gfn, struct kvm_memory_slot *slot)
384{
385 unsigned long idx;
386
387 idx = (gfn / KVM_PAGES_PER_HPAGE) -
388 (slot->base_gfn / KVM_PAGES_PER_HPAGE);
389 return &slot->lpage_info[idx].write_count;
390}
391
392static void account_shadowed(struct kvm *kvm, gfn_t gfn)
393{
394 int *write_count;
395
Izik Eidus28430992008-10-03 17:40:32 +0300396 gfn = unalias_gfn(kvm, gfn);
397 write_count = slot_largepage_idx(gfn,
398 gfn_to_memslot_unaliased(kvm, gfn));
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300399 *write_count += 1;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300400}
401
402static void unaccount_shadowed(struct kvm *kvm, gfn_t gfn)
403{
404 int *write_count;
405
Izik Eidus28430992008-10-03 17:40:32 +0300406 gfn = unalias_gfn(kvm, gfn);
407 write_count = slot_largepage_idx(gfn,
408 gfn_to_memslot_unaliased(kvm, gfn));
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300409 *write_count -= 1;
410 WARN_ON(*write_count < 0);
411}
412
413static int has_wrprotected_page(struct kvm *kvm, gfn_t gfn)
414{
Izik Eidus28430992008-10-03 17:40:32 +0300415 struct kvm_memory_slot *slot;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300416 int *largepage_idx;
417
Izik Eidus28430992008-10-03 17:40:32 +0300418 gfn = unalias_gfn(kvm, gfn);
419 slot = gfn_to_memslot_unaliased(kvm, gfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300420 if (slot) {
421 largepage_idx = slot_largepage_idx(gfn, slot);
422 return *largepage_idx;
423 }
424
425 return 1;
426}
427
428static int host_largepage_backed(struct kvm *kvm, gfn_t gfn)
429{
430 struct vm_area_struct *vma;
431 unsigned long addr;
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -0300432 int ret = 0;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300433
434 addr = gfn_to_hva(kvm, gfn);
435 if (kvm_is_error_hva(addr))
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -0300436 return ret;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300437
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -0300438 down_read(&current->mm->mmap_sem);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300439 vma = find_vma(current->mm, addr);
440 if (vma && is_vm_hugetlb_page(vma))
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -0300441 ret = 1;
442 up_read(&current->mm->mmap_sem);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300443
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -0300444 return ret;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300445}
446
447static int is_largepage_backed(struct kvm_vcpu *vcpu, gfn_t large_gfn)
448{
449 struct kvm_memory_slot *slot;
450
451 if (has_wrprotected_page(vcpu->kvm, large_gfn))
452 return 0;
453
454 if (!host_largepage_backed(vcpu->kvm, large_gfn))
455 return 0;
456
457 slot = gfn_to_memslot(vcpu->kvm, large_gfn);
458 if (slot && slot->dirty_bitmap)
459 return 0;
460
461 return 1;
462}
463
464/*
Izik Eidus290fc382007-09-27 14:11:22 +0200465 * Take gfn and return the reverse mapping to it.
466 * Note: gfn must be unaliased before this function get called
467 */
468
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300469static unsigned long *gfn_to_rmap(struct kvm *kvm, gfn_t gfn, int lpage)
Izik Eidus290fc382007-09-27 14:11:22 +0200470{
471 struct kvm_memory_slot *slot;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300472 unsigned long idx;
Izik Eidus290fc382007-09-27 14:11:22 +0200473
474 slot = gfn_to_memslot(kvm, gfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300475 if (!lpage)
476 return &slot->rmap[gfn - slot->base_gfn];
477
478 idx = (gfn / KVM_PAGES_PER_HPAGE) -
479 (slot->base_gfn / KVM_PAGES_PER_HPAGE);
480
481 return &slot->lpage_info[idx].rmap_pde;
Izik Eidus290fc382007-09-27 14:11:22 +0200482}
483
484/*
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800485 * Reverse mapping data structures:
486 *
Izik Eidus290fc382007-09-27 14:11:22 +0200487 * If rmapp bit zero is zero, then rmapp point to the shadw page table entry
488 * that points to page_address(page).
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800489 *
Izik Eidus290fc382007-09-27 14:11:22 +0200490 * If rmapp bit zero is one, (then rmap & ~1) points to a struct kvm_rmap_desc
491 * containing more mappings.
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800492 */
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300493static void rmap_add(struct kvm_vcpu *vcpu, u64 *spte, gfn_t gfn, int lpage)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800494{
Avi Kivity4db35312007-11-21 15:28:32 +0200495 struct kvm_mmu_page *sp;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800496 struct kvm_rmap_desc *desc;
Izik Eidus290fc382007-09-27 14:11:22 +0200497 unsigned long *rmapp;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800498 int i;
499
500 if (!is_rmap_pte(*spte))
501 return;
Izik Eidus290fc382007-09-27 14:11:22 +0200502 gfn = unalias_gfn(vcpu->kvm, gfn);
Avi Kivity4db35312007-11-21 15:28:32 +0200503 sp = page_header(__pa(spte));
504 sp->gfns[spte - sp->spt] = gfn;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300505 rmapp = gfn_to_rmap(vcpu->kvm, gfn, lpage);
Izik Eidus290fc382007-09-27 14:11:22 +0200506 if (!*rmapp) {
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800507 rmap_printk("rmap_add: %p %llx 0->1\n", spte, *spte);
Izik Eidus290fc382007-09-27 14:11:22 +0200508 *rmapp = (unsigned long)spte;
509 } else if (!(*rmapp & 1)) {
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800510 rmap_printk("rmap_add: %p %llx 1->many\n", spte, *spte);
Avi Kivity714b93d2007-01-05 16:36:53 -0800511 desc = mmu_alloc_rmap_desc(vcpu);
Izik Eidus290fc382007-09-27 14:11:22 +0200512 desc->shadow_ptes[0] = (u64 *)*rmapp;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800513 desc->shadow_ptes[1] = spte;
Izik Eidus290fc382007-09-27 14:11:22 +0200514 *rmapp = (unsigned long)desc | 1;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800515 } else {
516 rmap_printk("rmap_add: %p %llx many->many\n", spte, *spte);
Izik Eidus290fc382007-09-27 14:11:22 +0200517 desc = (struct kvm_rmap_desc *)(*rmapp & ~1ul);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800518 while (desc->shadow_ptes[RMAP_EXT-1] && desc->more)
519 desc = desc->more;
520 if (desc->shadow_ptes[RMAP_EXT-1]) {
Avi Kivity714b93d2007-01-05 16:36:53 -0800521 desc->more = mmu_alloc_rmap_desc(vcpu);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800522 desc = desc->more;
523 }
524 for (i = 0; desc->shadow_ptes[i]; ++i)
525 ;
526 desc->shadow_ptes[i] = spte;
527 }
528}
529
Izik Eidus290fc382007-09-27 14:11:22 +0200530static void rmap_desc_remove_entry(unsigned long *rmapp,
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800531 struct kvm_rmap_desc *desc,
532 int i,
533 struct kvm_rmap_desc *prev_desc)
534{
535 int j;
536
537 for (j = RMAP_EXT - 1; !desc->shadow_ptes[j] && j > i; --j)
538 ;
539 desc->shadow_ptes[i] = desc->shadow_ptes[j];
Al Viro11718b4d2007-02-09 16:39:20 +0000540 desc->shadow_ptes[j] = NULL;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800541 if (j != 0)
542 return;
543 if (!prev_desc && !desc->more)
Izik Eidus290fc382007-09-27 14:11:22 +0200544 *rmapp = (unsigned long)desc->shadow_ptes[0];
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800545 else
546 if (prev_desc)
547 prev_desc->more = desc->more;
548 else
Izik Eidus290fc382007-09-27 14:11:22 +0200549 *rmapp = (unsigned long)desc->more | 1;
Avi Kivity90cb0522007-07-17 13:04:56 +0300550 mmu_free_rmap_desc(desc);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800551}
552
Izik Eidus290fc382007-09-27 14:11:22 +0200553static void rmap_remove(struct kvm *kvm, u64 *spte)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800554{
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800555 struct kvm_rmap_desc *desc;
556 struct kvm_rmap_desc *prev_desc;
Avi Kivity4db35312007-11-21 15:28:32 +0200557 struct kvm_mmu_page *sp;
Anthony Liguori35149e22008-04-02 14:46:56 -0500558 pfn_t pfn;
Izik Eidus290fc382007-09-27 14:11:22 +0200559 unsigned long *rmapp;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800560 int i;
561
562 if (!is_rmap_pte(*spte))
563 return;
Avi Kivity4db35312007-11-21 15:28:32 +0200564 sp = page_header(__pa(spte));
Anthony Liguori35149e22008-04-02 14:46:56 -0500565 pfn = spte_to_pfn(*spte);
Sheng Yang7b523452008-04-25 21:13:50 +0800566 if (*spte & shadow_accessed_mask)
Anthony Liguori35149e22008-04-02 14:46:56 -0500567 kvm_set_pfn_accessed(pfn);
Izik Eidusb4231d62007-11-20 11:49:33 +0200568 if (is_writeble_pte(*spte))
Anthony Liguori35149e22008-04-02 14:46:56 -0500569 kvm_release_pfn_dirty(pfn);
Izik Eidusb4231d62007-11-20 11:49:33 +0200570 else
Anthony Liguori35149e22008-04-02 14:46:56 -0500571 kvm_release_pfn_clean(pfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300572 rmapp = gfn_to_rmap(kvm, sp->gfns[spte - sp->spt], is_large_pte(*spte));
Izik Eidus290fc382007-09-27 14:11:22 +0200573 if (!*rmapp) {
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800574 printk(KERN_ERR "rmap_remove: %p %llx 0->BUG\n", spte, *spte);
575 BUG();
Izik Eidus290fc382007-09-27 14:11:22 +0200576 } else if (!(*rmapp & 1)) {
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800577 rmap_printk("rmap_remove: %p %llx 1->0\n", spte, *spte);
Izik Eidus290fc382007-09-27 14:11:22 +0200578 if ((u64 *)*rmapp != spte) {
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800579 printk(KERN_ERR "rmap_remove: %p %llx 1->BUG\n",
580 spte, *spte);
581 BUG();
582 }
Izik Eidus290fc382007-09-27 14:11:22 +0200583 *rmapp = 0;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800584 } else {
585 rmap_printk("rmap_remove: %p %llx many->many\n", spte, *spte);
Izik Eidus290fc382007-09-27 14:11:22 +0200586 desc = (struct kvm_rmap_desc *)(*rmapp & ~1ul);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800587 prev_desc = NULL;
588 while (desc) {
589 for (i = 0; i < RMAP_EXT && desc->shadow_ptes[i]; ++i)
590 if (desc->shadow_ptes[i] == spte) {
Izik Eidus290fc382007-09-27 14:11:22 +0200591 rmap_desc_remove_entry(rmapp,
Avi Kivity714b93d2007-01-05 16:36:53 -0800592 desc, i,
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800593 prev_desc);
594 return;
595 }
596 prev_desc = desc;
597 desc = desc->more;
598 }
599 BUG();
600 }
601}
602
Izik Eidus98348e92007-10-16 14:42:30 +0200603static u64 *rmap_next(struct kvm *kvm, unsigned long *rmapp, u64 *spte)
Avi Kivity374cbac2007-01-05 16:36:43 -0800604{
Avi Kivity374cbac2007-01-05 16:36:43 -0800605 struct kvm_rmap_desc *desc;
Izik Eidus98348e92007-10-16 14:42:30 +0200606 struct kvm_rmap_desc *prev_desc;
607 u64 *prev_spte;
608 int i;
609
610 if (!*rmapp)
611 return NULL;
612 else if (!(*rmapp & 1)) {
613 if (!spte)
614 return (u64 *)*rmapp;
615 return NULL;
616 }
617 desc = (struct kvm_rmap_desc *)(*rmapp & ~1ul);
618 prev_desc = NULL;
619 prev_spte = NULL;
620 while (desc) {
621 for (i = 0; i < RMAP_EXT && desc->shadow_ptes[i]; ++i) {
622 if (prev_spte == spte)
623 return desc->shadow_ptes[i];
624 prev_spte = desc->shadow_ptes[i];
625 }
626 desc = desc->more;
627 }
628 return NULL;
629}
630
Marcelo Tosattib1a36822008-12-01 22:32:03 -0200631static int rmap_write_protect(struct kvm *kvm, u64 gfn)
Izik Eidus98348e92007-10-16 14:42:30 +0200632{
Izik Eidus290fc382007-09-27 14:11:22 +0200633 unsigned long *rmapp;
Avi Kivity374cbac2007-01-05 16:36:43 -0800634 u64 *spte;
Eddie Dongcaa5b8a2007-12-18 06:08:27 +0800635 int write_protected = 0;
Avi Kivity374cbac2007-01-05 16:36:43 -0800636
Anthony Liguori4a4c9922007-10-10 20:08:41 -0500637 gfn = unalias_gfn(kvm, gfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300638 rmapp = gfn_to_rmap(kvm, gfn, 0);
Avi Kivity374cbac2007-01-05 16:36:43 -0800639
Izik Eidus98348e92007-10-16 14:42:30 +0200640 spte = rmap_next(kvm, rmapp, NULL);
641 while (spte) {
Avi Kivity374cbac2007-01-05 16:36:43 -0800642 BUG_ON(!spte);
Avi Kivity374cbac2007-01-05 16:36:43 -0800643 BUG_ON(!(*spte & PT_PRESENT_MASK));
Avi Kivity374cbac2007-01-05 16:36:43 -0800644 rmap_printk("rmap_write_protect: spte %p %llx\n", spte, *spte);
Eddie Dongcaa5b8a2007-12-18 06:08:27 +0800645 if (is_writeble_pte(*spte)) {
Izik Eidus9647c142007-10-16 14:43:46 +0200646 set_shadow_pte(spte, *spte & ~PT_WRITABLE_MASK);
Eddie Dongcaa5b8a2007-12-18 06:08:27 +0800647 write_protected = 1;
648 }
Izik Eidus9647c142007-10-16 14:43:46 +0200649 spte = rmap_next(kvm, rmapp, spte);
Avi Kivity374cbac2007-01-05 16:36:43 -0800650 }
Izik Eidus855149a2008-03-20 18:17:24 +0200651 if (write_protected) {
Anthony Liguori35149e22008-04-02 14:46:56 -0500652 pfn_t pfn;
Izik Eidus855149a2008-03-20 18:17:24 +0200653
654 spte = rmap_next(kvm, rmapp, NULL);
Anthony Liguori35149e22008-04-02 14:46:56 -0500655 pfn = spte_to_pfn(*spte);
656 kvm_set_pfn_dirty(pfn);
Izik Eidus855149a2008-03-20 18:17:24 +0200657 }
658
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300659 /* check for huge page mappings */
660 rmapp = gfn_to_rmap(kvm, gfn, 1);
661 spte = rmap_next(kvm, rmapp, NULL);
662 while (spte) {
663 BUG_ON(!spte);
664 BUG_ON(!(*spte & PT_PRESENT_MASK));
665 BUG_ON((*spte & (PT_PAGE_SIZE_MASK|PT_PRESENT_MASK)) != (PT_PAGE_SIZE_MASK|PT_PRESENT_MASK));
666 pgprintk("rmap_write_protect(large): spte %p %llx %lld\n", spte, *spte, gfn);
667 if (is_writeble_pte(*spte)) {
668 rmap_remove(kvm, spte);
669 --kvm->stat.lpages;
670 set_shadow_pte(spte, shadow_trap_nonpresent_pte);
Marcelo Tosatti6597ca02008-06-08 01:48:53 -0300671 spte = NULL;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300672 write_protected = 1;
673 }
674 spte = rmap_next(kvm, rmapp, spte);
675 }
676
Marcelo Tosattib1a36822008-12-01 22:32:03 -0200677 return write_protected;
Avi Kivity374cbac2007-01-05 16:36:43 -0800678}
679
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200680static int kvm_unmap_rmapp(struct kvm *kvm, unsigned long *rmapp)
681{
682 u64 *spte;
683 int need_tlb_flush = 0;
684
685 while ((spte = rmap_next(kvm, rmapp, NULL))) {
686 BUG_ON(!(*spte & PT_PRESENT_MASK));
687 rmap_printk("kvm_rmap_unmap_hva: spte %p %llx\n", spte, *spte);
688 rmap_remove(kvm, spte);
689 set_shadow_pte(spte, shadow_trap_nonpresent_pte);
690 need_tlb_flush = 1;
691 }
692 return need_tlb_flush;
693}
694
695static int kvm_handle_hva(struct kvm *kvm, unsigned long hva,
696 int (*handler)(struct kvm *kvm, unsigned long *rmapp))
697{
698 int i;
699 int retval = 0;
700
701 /*
702 * If mmap_sem isn't taken, we can look the memslots with only
703 * the mmu_lock by skipping over the slots with userspace_addr == 0.
704 */
705 for (i = 0; i < kvm->nmemslots; i++) {
706 struct kvm_memory_slot *memslot = &kvm->memslots[i];
707 unsigned long start = memslot->userspace_addr;
708 unsigned long end;
709
710 /* mmu_lock protects userspace_addr */
711 if (!start)
712 continue;
713
714 end = start + (memslot->npages << PAGE_SHIFT);
715 if (hva >= start && hva < end) {
716 gfn_t gfn_offset = (hva - start) >> PAGE_SHIFT;
717 retval |= handler(kvm, &memslot->rmap[gfn_offset]);
718 retval |= handler(kvm,
719 &memslot->lpage_info[
720 gfn_offset /
721 KVM_PAGES_PER_HPAGE].rmap_pde);
722 }
723 }
724
725 return retval;
726}
727
728int kvm_unmap_hva(struct kvm *kvm, unsigned long hva)
729{
730 return kvm_handle_hva(kvm, hva, kvm_unmap_rmapp);
731}
732
733static int kvm_age_rmapp(struct kvm *kvm, unsigned long *rmapp)
734{
735 u64 *spte;
736 int young = 0;
737
Sheng Yang534e38b2008-09-08 15:12:30 +0800738 /* always return old for EPT */
739 if (!shadow_accessed_mask)
740 return 0;
741
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200742 spte = rmap_next(kvm, rmapp, NULL);
743 while (spte) {
744 int _young;
745 u64 _spte = *spte;
746 BUG_ON(!(_spte & PT_PRESENT_MASK));
747 _young = _spte & PT_ACCESSED_MASK;
748 if (_young) {
749 young = 1;
750 clear_bit(PT_ACCESSED_SHIFT, (unsigned long *)spte);
751 }
752 spte = rmap_next(kvm, rmapp, spte);
753 }
754 return young;
755}
756
757int kvm_age_hva(struct kvm *kvm, unsigned long hva)
758{
759 return kvm_handle_hva(kvm, hva, kvm_age_rmapp);
760}
761
Yaozu Dongd6c69ee2007-04-25 14:17:25 +0800762#ifdef MMU_DEBUG
Avi Kivity47ad8e62007-05-06 15:50:58 +0300763static int is_empty_shadow_page(u64 *spt)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800764{
Avi Kivity139bdb22007-01-05 16:36:50 -0800765 u64 *pos;
766 u64 *end;
767
Avi Kivity47ad8e62007-05-06 15:50:58 +0300768 for (pos = spt, end = pos + PAGE_SIZE / sizeof(u64); pos != end; pos++)
Avi Kivity3c915512008-05-20 16:21:13 +0300769 if (is_shadow_present_pte(*pos)) {
Harvey Harrisonb8688d52008-03-03 12:59:56 -0800770 printk(KERN_ERR "%s: %p %llx\n", __func__,
Avi Kivity139bdb22007-01-05 16:36:50 -0800771 pos, *pos);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800772 return 0;
Avi Kivity139bdb22007-01-05 16:36:50 -0800773 }
Avi Kivity6aa8b732006-12-10 02:21:36 -0800774 return 1;
775}
Yaozu Dongd6c69ee2007-04-25 14:17:25 +0800776#endif
Avi Kivity6aa8b732006-12-10 02:21:36 -0800777
Avi Kivity4db35312007-11-21 15:28:32 +0200778static void kvm_mmu_free_page(struct kvm *kvm, struct kvm_mmu_page *sp)
Avi Kivity260746c2007-01-05 16:36:49 -0800779{
Avi Kivity4db35312007-11-21 15:28:32 +0200780 ASSERT(is_empty_shadow_page(sp->spt));
781 list_del(&sp->link);
782 __free_page(virt_to_page(sp->spt));
783 __free_page(virt_to_page(sp->gfns));
784 kfree(sp);
Zhang Xiantaof05e70a2007-12-14 10:01:48 +0800785 ++kvm->arch.n_free_mmu_pages;
Avi Kivity260746c2007-01-05 16:36:49 -0800786}
787
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800788static unsigned kvm_page_table_hashfn(gfn_t gfn)
789{
Dong, Eddie1ae0a132008-01-07 13:20:25 +0200790 return gfn & ((1 << KVM_MMU_HASH_SHIFT) - 1);
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800791}
792
Avi Kivity25c0de22007-01-05 16:36:42 -0800793static struct kvm_mmu_page *kvm_mmu_alloc_page(struct kvm_vcpu *vcpu,
794 u64 *parent_pte)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800795{
Avi Kivity4db35312007-11-21 15:28:32 +0200796 struct kvm_mmu_page *sp;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800797
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800798 sp = mmu_memory_cache_alloc(&vcpu->arch.mmu_page_header_cache, sizeof *sp);
799 sp->spt = mmu_memory_cache_alloc(&vcpu->arch.mmu_page_cache, PAGE_SIZE);
800 sp->gfns = mmu_memory_cache_alloc(&vcpu->arch.mmu_page_cache, PAGE_SIZE);
Avi Kivity4db35312007-11-21 15:28:32 +0200801 set_page_private(virt_to_page(sp->spt), (unsigned long)sp);
Zhang Xiantaof05e70a2007-12-14 10:01:48 +0800802 list_add(&sp->link, &vcpu->kvm->arch.active_mmu_pages);
Marcelo Tosatti6cffe8c2008-12-01 22:32:04 -0200803 INIT_LIST_HEAD(&sp->oos_link);
Sheng Yang291f26b2008-10-16 17:30:57 +0800804 bitmap_zero(sp->slot_bitmap, KVM_MEMORY_SLOTS + KVM_PRIVATE_MEM_SLOTS);
Avi Kivity4db35312007-11-21 15:28:32 +0200805 sp->multimapped = 0;
806 sp->parent_pte = parent_pte;
Zhang Xiantaof05e70a2007-12-14 10:01:48 +0800807 --vcpu->kvm->arch.n_free_mmu_pages;
Avi Kivity4db35312007-11-21 15:28:32 +0200808 return sp;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800809}
810
Avi Kivity714b93d2007-01-05 16:36:53 -0800811static void mmu_page_add_parent_pte(struct kvm_vcpu *vcpu,
Avi Kivity4db35312007-11-21 15:28:32 +0200812 struct kvm_mmu_page *sp, u64 *parent_pte)
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800813{
814 struct kvm_pte_chain *pte_chain;
815 struct hlist_node *node;
816 int i;
817
818 if (!parent_pte)
819 return;
Avi Kivity4db35312007-11-21 15:28:32 +0200820 if (!sp->multimapped) {
821 u64 *old = sp->parent_pte;
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800822
823 if (!old) {
Avi Kivity4db35312007-11-21 15:28:32 +0200824 sp->parent_pte = parent_pte;
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800825 return;
826 }
Avi Kivity4db35312007-11-21 15:28:32 +0200827 sp->multimapped = 1;
Avi Kivity714b93d2007-01-05 16:36:53 -0800828 pte_chain = mmu_alloc_pte_chain(vcpu);
Avi Kivity4db35312007-11-21 15:28:32 +0200829 INIT_HLIST_HEAD(&sp->parent_ptes);
830 hlist_add_head(&pte_chain->link, &sp->parent_ptes);
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800831 pte_chain->parent_ptes[0] = old;
832 }
Avi Kivity4db35312007-11-21 15:28:32 +0200833 hlist_for_each_entry(pte_chain, node, &sp->parent_ptes, link) {
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800834 if (pte_chain->parent_ptes[NR_PTE_CHAIN_ENTRIES-1])
835 continue;
836 for (i = 0; i < NR_PTE_CHAIN_ENTRIES; ++i)
837 if (!pte_chain->parent_ptes[i]) {
838 pte_chain->parent_ptes[i] = parent_pte;
839 return;
840 }
841 }
Avi Kivity714b93d2007-01-05 16:36:53 -0800842 pte_chain = mmu_alloc_pte_chain(vcpu);
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800843 BUG_ON(!pte_chain);
Avi Kivity4db35312007-11-21 15:28:32 +0200844 hlist_add_head(&pte_chain->link, &sp->parent_ptes);
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800845 pte_chain->parent_ptes[0] = parent_pte;
846}
847
Avi Kivity4db35312007-11-21 15:28:32 +0200848static void mmu_page_remove_parent_pte(struct kvm_mmu_page *sp,
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800849 u64 *parent_pte)
850{
851 struct kvm_pte_chain *pte_chain;
852 struct hlist_node *node;
853 int i;
854
Avi Kivity4db35312007-11-21 15:28:32 +0200855 if (!sp->multimapped) {
856 BUG_ON(sp->parent_pte != parent_pte);
857 sp->parent_pte = NULL;
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800858 return;
859 }
Avi Kivity4db35312007-11-21 15:28:32 +0200860 hlist_for_each_entry(pte_chain, node, &sp->parent_ptes, link)
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800861 for (i = 0; i < NR_PTE_CHAIN_ENTRIES; ++i) {
862 if (!pte_chain->parent_ptes[i])
863 break;
864 if (pte_chain->parent_ptes[i] != parent_pte)
865 continue;
Avi Kivity697fe2e2007-01-05 16:36:46 -0800866 while (i + 1 < NR_PTE_CHAIN_ENTRIES
867 && pte_chain->parent_ptes[i + 1]) {
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800868 pte_chain->parent_ptes[i]
869 = pte_chain->parent_ptes[i + 1];
870 ++i;
871 }
872 pte_chain->parent_ptes[i] = NULL;
Avi Kivity697fe2e2007-01-05 16:36:46 -0800873 if (i == 0) {
874 hlist_del(&pte_chain->link);
Avi Kivity90cb0522007-07-17 13:04:56 +0300875 mmu_free_pte_chain(pte_chain);
Avi Kivity4db35312007-11-21 15:28:32 +0200876 if (hlist_empty(&sp->parent_ptes)) {
877 sp->multimapped = 0;
878 sp->parent_pte = NULL;
Avi Kivity697fe2e2007-01-05 16:36:46 -0800879 }
880 }
Avi Kivitycea0f0e2007-01-05 16:36:43 -0800881 return;
882 }
883 BUG();
884}
885
Marcelo Tosattiad8cfbe2008-09-23 13:18:36 -0300886
887static void mmu_parent_walk(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp,
888 mmu_parent_walk_fn fn)
889{
890 struct kvm_pte_chain *pte_chain;
891 struct hlist_node *node;
892 struct kvm_mmu_page *parent_sp;
893 int i;
894
895 if (!sp->multimapped && sp->parent_pte) {
896 parent_sp = page_header(__pa(sp->parent_pte));
897 fn(vcpu, parent_sp);
898 mmu_parent_walk(vcpu, parent_sp, fn);
899 return;
900 }
901 hlist_for_each_entry(pte_chain, node, &sp->parent_ptes, link)
902 for (i = 0; i < NR_PTE_CHAIN_ENTRIES; ++i) {
903 if (!pte_chain->parent_ptes[i])
904 break;
905 parent_sp = page_header(__pa(pte_chain->parent_ptes[i]));
906 fn(vcpu, parent_sp);
907 mmu_parent_walk(vcpu, parent_sp, fn);
908 }
909}
910
Marcelo Tosatti0074ff62008-09-23 13:18:40 -0300911static void kvm_mmu_update_unsync_bitmap(u64 *spte)
912{
913 unsigned int index;
914 struct kvm_mmu_page *sp = page_header(__pa(spte));
915
916 index = spte - sp->spt;
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -0200917 if (!__test_and_set_bit(index, sp->unsync_child_bitmap))
918 sp->unsync_children++;
919 WARN_ON(!sp->unsync_children);
Marcelo Tosatti0074ff62008-09-23 13:18:40 -0300920}
921
922static void kvm_mmu_update_parents_unsync(struct kvm_mmu_page *sp)
923{
924 struct kvm_pte_chain *pte_chain;
925 struct hlist_node *node;
926 int i;
927
928 if (!sp->parent_pte)
929 return;
930
931 if (!sp->multimapped) {
932 kvm_mmu_update_unsync_bitmap(sp->parent_pte);
933 return;
934 }
935
936 hlist_for_each_entry(pte_chain, node, &sp->parent_ptes, link)
937 for (i = 0; i < NR_PTE_CHAIN_ENTRIES; ++i) {
938 if (!pte_chain->parent_ptes[i])
939 break;
940 kvm_mmu_update_unsync_bitmap(pte_chain->parent_ptes[i]);
941 }
942}
943
944static int unsync_walk_fn(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp)
945{
Marcelo Tosatti0074ff62008-09-23 13:18:40 -0300946 kvm_mmu_update_parents_unsync(sp);
947 return 1;
948}
949
950static void kvm_mmu_mark_parents_unsync(struct kvm_vcpu *vcpu,
951 struct kvm_mmu_page *sp)
952{
953 mmu_parent_walk(vcpu, sp, unsync_walk_fn);
954 kvm_mmu_update_parents_unsync(sp);
955}
956
Avi Kivityd761a502008-05-29 14:55:03 +0300957static void nonpaging_prefetch_page(struct kvm_vcpu *vcpu,
958 struct kvm_mmu_page *sp)
959{
960 int i;
961
962 for (i = 0; i < PT64_ENT_PER_PAGE; ++i)
963 sp->spt[i] = shadow_trap_nonpresent_pte;
964}
965
Marcelo Tosattie8bc2172008-09-23 13:18:33 -0300966static int nonpaging_sync_page(struct kvm_vcpu *vcpu,
967 struct kvm_mmu_page *sp)
968{
969 return 1;
970}
971
Marcelo Tosattia7052892008-09-23 13:18:35 -0300972static void nonpaging_invlpg(struct kvm_vcpu *vcpu, gva_t gva)
973{
974}
975
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -0200976#define KVM_PAGE_ARRAY_NR 16
977
978struct kvm_mmu_pages {
979 struct mmu_page_and_offset {
980 struct kvm_mmu_page *sp;
981 unsigned int idx;
982 } page[KVM_PAGE_ARRAY_NR];
983 unsigned int nr;
984};
985
Marcelo Tosatti0074ff62008-09-23 13:18:40 -0300986#define for_each_unsync_children(bitmap, idx) \
987 for (idx = find_first_bit(bitmap, 512); \
988 idx < 512; \
989 idx = find_next_bit(bitmap, 512, idx+1))
990
Hannes Edercded19f2009-02-21 02:19:13 +0100991static int mmu_pages_add(struct kvm_mmu_pages *pvec, struct kvm_mmu_page *sp,
992 int idx)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -0300993{
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -0200994 int i;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -0300995
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -0200996 if (sp->unsync)
997 for (i=0; i < pvec->nr; i++)
998 if (pvec->page[i].sp == sp)
999 return 0;
1000
1001 pvec->page[pvec->nr].sp = sp;
1002 pvec->page[pvec->nr].idx = idx;
1003 pvec->nr++;
1004 return (pvec->nr == KVM_PAGE_ARRAY_NR);
1005}
1006
1007static int __mmu_unsync_walk(struct kvm_mmu_page *sp,
1008 struct kvm_mmu_pages *pvec)
1009{
1010 int i, ret, nr_unsync_leaf = 0;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001011
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001012 for_each_unsync_children(sp->unsync_child_bitmap, i) {
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001013 u64 ent = sp->spt[i];
1014
Marcelo Tosatti87917232008-12-22 18:49:30 -02001015 if (is_shadow_present_pte(ent) && !is_large_pte(ent)) {
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001016 struct kvm_mmu_page *child;
1017 child = page_header(ent & PT64_BASE_ADDR_MASK);
1018
1019 if (child->unsync_children) {
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001020 if (mmu_pages_add(pvec, child, i))
1021 return -ENOSPC;
1022
1023 ret = __mmu_unsync_walk(child, pvec);
1024 if (!ret)
1025 __clear_bit(i, sp->unsync_child_bitmap);
1026 else if (ret > 0)
1027 nr_unsync_leaf += ret;
1028 else
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001029 return ret;
1030 }
1031
1032 if (child->unsync) {
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001033 nr_unsync_leaf++;
1034 if (mmu_pages_add(pvec, child, i))
1035 return -ENOSPC;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001036 }
1037 }
1038 }
1039
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001040 if (find_first_bit(sp->unsync_child_bitmap, 512) == 512)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001041 sp->unsync_children = 0;
1042
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001043 return nr_unsync_leaf;
1044}
1045
1046static int mmu_unsync_walk(struct kvm_mmu_page *sp,
1047 struct kvm_mmu_pages *pvec)
1048{
1049 if (!sp->unsync_children)
1050 return 0;
1051
1052 mmu_pages_add(pvec, sp, 0);
1053 return __mmu_unsync_walk(sp, pvec);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001054}
1055
Avi Kivity4db35312007-11-21 15:28:32 +02001056static struct kvm_mmu_page *kvm_mmu_lookup_page(struct kvm *kvm, gfn_t gfn)
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001057{
1058 unsigned index;
1059 struct hlist_head *bucket;
Avi Kivity4db35312007-11-21 15:28:32 +02001060 struct kvm_mmu_page *sp;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001061 struct hlist_node *node;
1062
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001063 pgprintk("%s: looking for gfn %lx\n", __func__, gfn);
Dong, Eddie1ae0a132008-01-07 13:20:25 +02001064 index = kvm_page_table_hashfn(gfn);
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001065 bucket = &kvm->arch.mmu_page_hash[index];
Avi Kivity4db35312007-11-21 15:28:32 +02001066 hlist_for_each_entry(sp, node, bucket, hash_link)
Avi Kivityf6e2c022009-01-11 13:02:10 +02001067 if (sp->gfn == gfn && !sp->role.direct
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05001068 && !sp->role.invalid) {
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001069 pgprintk("%s: found role %x\n",
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001070 __func__, sp->role.word);
Avi Kivity4db35312007-11-21 15:28:32 +02001071 return sp;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001072 }
1073 return NULL;
1074}
1075
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001076static void kvm_unlink_unsync_page(struct kvm *kvm, struct kvm_mmu_page *sp)
1077{
1078 WARN_ON(!sp->unsync);
1079 sp->unsync = 0;
1080 --kvm->stat.mmu_unsync;
1081}
1082
1083static int kvm_mmu_zap_page(struct kvm *kvm, struct kvm_mmu_page *sp);
1084
1085static int kvm_sync_page(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp)
1086{
1087 if (sp->role.glevels != vcpu->arch.mmu.root_level) {
1088 kvm_mmu_zap_page(vcpu->kvm, sp);
1089 return 1;
1090 }
1091
Marcelo Tosattib1a36822008-12-01 22:32:03 -02001092 if (rmap_write_protect(vcpu->kvm, sp->gfn))
1093 kvm_flush_remote_tlbs(vcpu->kvm);
Marcelo Tosatti0c0f40b2008-11-21 19:13:58 +01001094 kvm_unlink_unsync_page(vcpu->kvm, sp);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001095 if (vcpu->arch.mmu.sync_page(vcpu, sp)) {
1096 kvm_mmu_zap_page(vcpu->kvm, sp);
1097 return 1;
1098 }
1099
1100 kvm_mmu_flush_tlb(vcpu);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001101 return 0;
1102}
1103
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001104struct mmu_page_path {
1105 struct kvm_mmu_page *parent[PT64_ROOT_LEVEL-1];
1106 unsigned int idx[PT64_ROOT_LEVEL-1];
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001107};
1108
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001109#define for_each_sp(pvec, sp, parents, i) \
1110 for (i = mmu_pages_next(&pvec, &parents, -1), \
1111 sp = pvec.page[i].sp; \
1112 i < pvec.nr && ({ sp = pvec.page[i].sp; 1;}); \
1113 i = mmu_pages_next(&pvec, &parents, i))
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001114
Hannes Edercded19f2009-02-21 02:19:13 +01001115static int mmu_pages_next(struct kvm_mmu_pages *pvec,
1116 struct mmu_page_path *parents,
1117 int i)
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001118{
1119 int n;
1120
1121 for (n = i+1; n < pvec->nr; n++) {
1122 struct kvm_mmu_page *sp = pvec->page[n].sp;
1123
1124 if (sp->role.level == PT_PAGE_TABLE_LEVEL) {
1125 parents->idx[0] = pvec->page[n].idx;
1126 return n;
1127 }
1128
1129 parents->parent[sp->role.level-2] = sp;
1130 parents->idx[sp->role.level-1] = pvec->page[n].idx;
1131 }
1132
1133 return n;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001134}
1135
Hannes Edercded19f2009-02-21 02:19:13 +01001136static void mmu_pages_clear_parents(struct mmu_page_path *parents)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001137{
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001138 struct kvm_mmu_page *sp;
1139 unsigned int level = 0;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001140
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001141 do {
1142 unsigned int idx = parents->idx[level];
1143
1144 sp = parents->parent[level];
1145 if (!sp)
1146 return;
1147
1148 --sp->unsync_children;
1149 WARN_ON((int)sp->unsync_children < 0);
1150 __clear_bit(idx, sp->unsync_child_bitmap);
1151 level++;
1152 } while (level < PT64_ROOT_LEVEL-1 && !sp->unsync_children);
1153}
1154
1155static void kvm_mmu_pages_init(struct kvm_mmu_page *parent,
1156 struct mmu_page_path *parents,
1157 struct kvm_mmu_pages *pvec)
1158{
1159 parents->parent[parent->role.level-1] = NULL;
1160 pvec->nr = 0;
1161}
1162
1163static void mmu_sync_children(struct kvm_vcpu *vcpu,
1164 struct kvm_mmu_page *parent)
1165{
1166 int i;
1167 struct kvm_mmu_page *sp;
1168 struct mmu_page_path parents;
1169 struct kvm_mmu_pages pages;
1170
1171 kvm_mmu_pages_init(parent, &parents, &pages);
1172 while (mmu_unsync_walk(parent, &pages)) {
Marcelo Tosattib1a36822008-12-01 22:32:03 -02001173 int protected = 0;
1174
1175 for_each_sp(pages, sp, parents, i)
1176 protected |= rmap_write_protect(vcpu->kvm, sp->gfn);
1177
1178 if (protected)
1179 kvm_flush_remote_tlbs(vcpu->kvm);
1180
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001181 for_each_sp(pages, sp, parents, i) {
1182 kvm_sync_page(vcpu, sp);
1183 mmu_pages_clear_parents(&parents);
1184 }
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001185 cond_resched_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001186 kvm_mmu_pages_init(parent, &parents, &pages);
1187 }
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001188}
1189
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001190static struct kvm_mmu_page *kvm_mmu_get_page(struct kvm_vcpu *vcpu,
1191 gfn_t gfn,
1192 gva_t gaddr,
1193 unsigned level,
Avi Kivityf6e2c022009-01-11 13:02:10 +02001194 int direct,
Avi Kivity41074d02007-12-09 17:00:02 +02001195 unsigned access,
Avi Kivityf7d9c7b2008-02-26 22:12:10 +02001196 u64 *parent_pte)
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001197{
1198 union kvm_mmu_page_role role;
1199 unsigned index;
1200 unsigned quadrant;
1201 struct hlist_head *bucket;
Avi Kivity4db35312007-11-21 15:28:32 +02001202 struct kvm_mmu_page *sp;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001203 struct hlist_node *node, *tmp;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001204
Avi Kivitya770f6f2008-12-21 19:20:09 +02001205 role = vcpu->arch.mmu.base_role;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001206 role.level = level;
Avi Kivityf6e2c022009-01-11 13:02:10 +02001207 role.direct = direct;
Avi Kivity41074d02007-12-09 17:00:02 +02001208 role.access = access;
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001209 if (vcpu->arch.mmu.root_level <= PT32_ROOT_LEVEL) {
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001210 quadrant = gaddr >> (PAGE_SHIFT + (PT64_PT_BITS * level));
1211 quadrant &= (1 << ((PT32_PT_BITS - PT64_PT_BITS) * level)) - 1;
1212 role.quadrant = quadrant;
1213 }
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001214 pgprintk("%s: looking gfn %lx role %x\n", __func__,
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001215 gfn, role.word);
Dong, Eddie1ae0a132008-01-07 13:20:25 +02001216 index = kvm_page_table_hashfn(gfn);
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001217 bucket = &vcpu->kvm->arch.mmu_page_hash[index];
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001218 hlist_for_each_entry_safe(sp, node, tmp, bucket, hash_link)
1219 if (sp->gfn == gfn) {
1220 if (sp->unsync)
1221 if (kvm_sync_page(vcpu, sp))
1222 continue;
1223
1224 if (sp->role.word != role.word)
1225 continue;
1226
Avi Kivity4db35312007-11-21 15:28:32 +02001227 mmu_page_add_parent_pte(vcpu, sp, parent_pte);
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001228 if (sp->unsync_children) {
1229 set_bit(KVM_REQ_MMU_SYNC, &vcpu->requests);
1230 kvm_mmu_mark_parents_unsync(vcpu, sp);
1231 }
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001232 pgprintk("%s: found\n", __func__);
Avi Kivity4db35312007-11-21 15:28:32 +02001233 return sp;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001234 }
Avi Kivitydfc5aa02007-12-18 19:47:18 +02001235 ++vcpu->kvm->stat.mmu_cache_miss;
Avi Kivity4db35312007-11-21 15:28:32 +02001236 sp = kvm_mmu_alloc_page(vcpu, parent_pte);
1237 if (!sp)
1238 return sp;
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001239 pgprintk("%s: adding gfn %lx role %x\n", __func__, gfn, role.word);
Avi Kivity4db35312007-11-21 15:28:32 +02001240 sp->gfn = gfn;
1241 sp->role = role;
1242 hlist_add_head(&sp->hash_link, bucket);
Avi Kivityf6e2c022009-01-11 13:02:10 +02001243 if (!direct) {
Marcelo Tosattib1a36822008-12-01 22:32:03 -02001244 if (rmap_write_protect(vcpu->kvm, gfn))
1245 kvm_flush_remote_tlbs(vcpu->kvm);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001246 account_shadowed(vcpu->kvm, gfn);
1247 }
Avi Kivity131d8272008-05-29 14:56:28 +03001248 if (shadow_trap_nonpresent_pte != shadow_notrap_nonpresent_pte)
1249 vcpu->arch.mmu.prefetch_page(vcpu, sp);
1250 else
1251 nonpaging_prefetch_page(vcpu, sp);
Avi Kivity4db35312007-11-21 15:28:32 +02001252 return sp;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001253}
1254
Avi Kivity2d111232008-12-25 14:39:47 +02001255static void shadow_walk_init(struct kvm_shadow_walk_iterator *iterator,
1256 struct kvm_vcpu *vcpu, u64 addr)
1257{
1258 iterator->addr = addr;
1259 iterator->shadow_addr = vcpu->arch.mmu.root_hpa;
1260 iterator->level = vcpu->arch.mmu.shadow_root_level;
1261 if (iterator->level == PT32E_ROOT_LEVEL) {
1262 iterator->shadow_addr
1263 = vcpu->arch.mmu.pae_root[(addr >> 30) & 3];
1264 iterator->shadow_addr &= PT64_BASE_ADDR_MASK;
1265 --iterator->level;
1266 if (!iterator->shadow_addr)
1267 iterator->level = 0;
1268 }
1269}
1270
1271static bool shadow_walk_okay(struct kvm_shadow_walk_iterator *iterator)
1272{
1273 if (iterator->level < PT_PAGE_TABLE_LEVEL)
1274 return false;
1275 iterator->index = SHADOW_PT_INDEX(iterator->addr, iterator->level);
1276 iterator->sptep = ((u64 *)__va(iterator->shadow_addr)) + iterator->index;
1277 return true;
1278}
1279
1280static void shadow_walk_next(struct kvm_shadow_walk_iterator *iterator)
1281{
1282 iterator->shadow_addr = *iterator->sptep & PT64_BASE_ADDR_MASK;
1283 --iterator->level;
1284}
1285
Avi Kivity90cb0522007-07-17 13:04:56 +03001286static void kvm_mmu_page_unlink_children(struct kvm *kvm,
Avi Kivity4db35312007-11-21 15:28:32 +02001287 struct kvm_mmu_page *sp)
Avi Kivitya4360362007-01-05 16:36:45 -08001288{
Avi Kivity697fe2e2007-01-05 16:36:46 -08001289 unsigned i;
1290 u64 *pt;
1291 u64 ent;
1292
Avi Kivity4db35312007-11-21 15:28:32 +02001293 pt = sp->spt;
Avi Kivity697fe2e2007-01-05 16:36:46 -08001294
Avi Kivity4db35312007-11-21 15:28:32 +02001295 if (sp->role.level == PT_PAGE_TABLE_LEVEL) {
Avi Kivity697fe2e2007-01-05 16:36:46 -08001296 for (i = 0; i < PT64_ENT_PER_PAGE; ++i) {
Avi Kivityc7addb92007-09-16 18:58:32 +02001297 if (is_shadow_present_pte(pt[i]))
Izik Eidus290fc382007-09-27 14:11:22 +02001298 rmap_remove(kvm, &pt[i]);
Avi Kivityc7addb92007-09-16 18:58:32 +02001299 pt[i] = shadow_trap_nonpresent_pte;
Avi Kivity697fe2e2007-01-05 16:36:46 -08001300 }
1301 return;
1302 }
1303
1304 for (i = 0; i < PT64_ENT_PER_PAGE; ++i) {
1305 ent = pt[i];
1306
Marcelo Tosatti05da4552008-02-23 11:44:30 -03001307 if (is_shadow_present_pte(ent)) {
1308 if (!is_large_pte(ent)) {
1309 ent &= PT64_BASE_ADDR_MASK;
1310 mmu_page_remove_parent_pte(page_header(ent),
1311 &pt[i]);
1312 } else {
1313 --kvm->stat.lpages;
1314 rmap_remove(kvm, &pt[i]);
1315 }
1316 }
Avi Kivityc7addb92007-09-16 18:58:32 +02001317 pt[i] = shadow_trap_nonpresent_pte;
Avi Kivity697fe2e2007-01-05 16:36:46 -08001318 }
Avi Kivitya4360362007-01-05 16:36:45 -08001319}
1320
Avi Kivity4db35312007-11-21 15:28:32 +02001321static void kvm_mmu_put_page(struct kvm_mmu_page *sp, u64 *parent_pte)
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001322{
Avi Kivity4db35312007-11-21 15:28:32 +02001323 mmu_page_remove_parent_pte(sp, parent_pte);
Avi Kivitya4360362007-01-05 16:36:45 -08001324}
1325
Avi Kivity12b7d282007-09-23 14:10:49 +02001326static void kvm_mmu_reset_last_pte_updated(struct kvm *kvm)
1327{
1328 int i;
1329
1330 for (i = 0; i < KVM_MAX_VCPUS; ++i)
1331 if (kvm->vcpus[i])
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001332 kvm->vcpus[i]->arch.last_pte_updated = NULL;
Avi Kivity12b7d282007-09-23 14:10:49 +02001333}
1334
Avi Kivity31aa2b42008-07-11 17:59:46 +03001335static void kvm_mmu_unlink_parents(struct kvm *kvm, struct kvm_mmu_page *sp)
Avi Kivitya4360362007-01-05 16:36:45 -08001336{
1337 u64 *parent_pte;
1338
Avi Kivity4db35312007-11-21 15:28:32 +02001339 while (sp->multimapped || sp->parent_pte) {
1340 if (!sp->multimapped)
1341 parent_pte = sp->parent_pte;
Avi Kivitya4360362007-01-05 16:36:45 -08001342 else {
1343 struct kvm_pte_chain *chain;
1344
Avi Kivity4db35312007-11-21 15:28:32 +02001345 chain = container_of(sp->parent_ptes.first,
Avi Kivitya4360362007-01-05 16:36:45 -08001346 struct kvm_pte_chain, link);
1347 parent_pte = chain->parent_ptes[0];
1348 }
Avi Kivity697fe2e2007-01-05 16:36:46 -08001349 BUG_ON(!parent_pte);
Avi Kivity4db35312007-11-21 15:28:32 +02001350 kvm_mmu_put_page(sp, parent_pte);
Avi Kivityc7addb92007-09-16 18:58:32 +02001351 set_shadow_pte(parent_pte, shadow_trap_nonpresent_pte);
Avi Kivitya4360362007-01-05 16:36:45 -08001352 }
Avi Kivity31aa2b42008-07-11 17:59:46 +03001353}
1354
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001355static int mmu_zap_unsync_children(struct kvm *kvm,
1356 struct kvm_mmu_page *parent)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001357{
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001358 int i, zapped = 0;
1359 struct mmu_page_path parents;
1360 struct kvm_mmu_pages pages;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001361
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001362 if (parent->role.level == PT_PAGE_TABLE_LEVEL)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001363 return 0;
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001364
1365 kvm_mmu_pages_init(parent, &parents, &pages);
1366 while (mmu_unsync_walk(parent, &pages)) {
1367 struct kvm_mmu_page *sp;
1368
1369 for_each_sp(pages, sp, parents, i) {
1370 kvm_mmu_zap_page(kvm, sp);
1371 mmu_pages_clear_parents(&parents);
1372 }
1373 zapped += pages.nr;
1374 kvm_mmu_pages_init(parent, &parents, &pages);
1375 }
1376
1377 return zapped;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001378}
1379
Marcelo Tosatti07385412008-09-23 13:18:37 -03001380static int kvm_mmu_zap_page(struct kvm *kvm, struct kvm_mmu_page *sp)
Avi Kivity31aa2b42008-07-11 17:59:46 +03001381{
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001382 int ret;
Avi Kivity31aa2b42008-07-11 17:59:46 +03001383 ++kvm->stat.mmu_shadow_zapped;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001384 ret = mmu_zap_unsync_children(kvm, sp);
Avi Kivity4db35312007-11-21 15:28:32 +02001385 kvm_mmu_page_unlink_children(kvm, sp);
Avi Kivity31aa2b42008-07-11 17:59:46 +03001386 kvm_mmu_unlink_parents(kvm, sp);
Avi Kivity5b5c6a52008-07-11 18:07:26 +03001387 kvm_flush_remote_tlbs(kvm);
Avi Kivityf6e2c022009-01-11 13:02:10 +02001388 if (!sp->role.invalid && !sp->role.direct)
Avi Kivity5b5c6a52008-07-11 18:07:26 +03001389 unaccount_shadowed(kvm, sp->gfn);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001390 if (sp->unsync)
1391 kvm_unlink_unsync_page(kvm, sp);
Avi Kivity4db35312007-11-21 15:28:32 +02001392 if (!sp->root_count) {
1393 hlist_del(&sp->hash_link);
1394 kvm_mmu_free_page(kvm, sp);
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05001395 } else {
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05001396 sp->role.invalid = 1;
Avi Kivity5b5c6a52008-07-11 18:07:26 +03001397 list_move(&sp->link, &kvm->arch.active_mmu_pages);
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05001398 kvm_reload_remote_mmus(kvm);
1399 }
Avi Kivity12b7d282007-09-23 14:10:49 +02001400 kvm_mmu_reset_last_pte_updated(kvm);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001401 return ret;
Avi Kivitya4360362007-01-05 16:36:45 -08001402}
1403
Izik Eidus82ce2c92007-10-02 18:52:55 +02001404/*
1405 * Changing the number of mmu pages allocated to the vm
1406 * Note: if kvm_nr_mmu_pages is too small, you will get dead lock
1407 */
1408void kvm_mmu_change_mmu_pages(struct kvm *kvm, unsigned int kvm_nr_mmu_pages)
1409{
1410 /*
1411 * If we set the number of mmu pages to be smaller be than the
1412 * number of actived pages , we must to free some mmu pages before we
1413 * change the value
1414 */
1415
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001416 if ((kvm->arch.n_alloc_mmu_pages - kvm->arch.n_free_mmu_pages) >
Izik Eidus82ce2c92007-10-02 18:52:55 +02001417 kvm_nr_mmu_pages) {
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001418 int n_used_mmu_pages = kvm->arch.n_alloc_mmu_pages
1419 - kvm->arch.n_free_mmu_pages;
Izik Eidus82ce2c92007-10-02 18:52:55 +02001420
1421 while (n_used_mmu_pages > kvm_nr_mmu_pages) {
1422 struct kvm_mmu_page *page;
1423
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001424 page = container_of(kvm->arch.active_mmu_pages.prev,
Izik Eidus82ce2c92007-10-02 18:52:55 +02001425 struct kvm_mmu_page, link);
1426 kvm_mmu_zap_page(kvm, page);
1427 n_used_mmu_pages--;
1428 }
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001429 kvm->arch.n_free_mmu_pages = 0;
Izik Eidus82ce2c92007-10-02 18:52:55 +02001430 }
1431 else
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001432 kvm->arch.n_free_mmu_pages += kvm_nr_mmu_pages
1433 - kvm->arch.n_alloc_mmu_pages;
Izik Eidus82ce2c92007-10-02 18:52:55 +02001434
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001435 kvm->arch.n_alloc_mmu_pages = kvm_nr_mmu_pages;
Izik Eidus82ce2c92007-10-02 18:52:55 +02001436}
1437
Anthony Liguorif67a46f2007-10-10 19:25:50 -05001438static int kvm_mmu_unprotect_page(struct kvm *kvm, gfn_t gfn)
Avi Kivitya4360362007-01-05 16:36:45 -08001439{
1440 unsigned index;
1441 struct hlist_head *bucket;
Avi Kivity4db35312007-11-21 15:28:32 +02001442 struct kvm_mmu_page *sp;
Avi Kivitya4360362007-01-05 16:36:45 -08001443 struct hlist_node *node, *n;
1444 int r;
1445
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001446 pgprintk("%s: looking for gfn %lx\n", __func__, gfn);
Avi Kivitya4360362007-01-05 16:36:45 -08001447 r = 0;
Dong, Eddie1ae0a132008-01-07 13:20:25 +02001448 index = kvm_page_table_hashfn(gfn);
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001449 bucket = &kvm->arch.mmu_page_hash[index];
Avi Kivity4db35312007-11-21 15:28:32 +02001450 hlist_for_each_entry_safe(sp, node, n, bucket, hash_link)
Avi Kivityf6e2c022009-01-11 13:02:10 +02001451 if (sp->gfn == gfn && !sp->role.direct) {
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001452 pgprintk("%s: gfn %lx role %x\n", __func__, gfn,
Avi Kivity4db35312007-11-21 15:28:32 +02001453 sp->role.word);
Avi Kivitya4360362007-01-05 16:36:45 -08001454 r = 1;
Marcelo Tosatti07385412008-09-23 13:18:37 -03001455 if (kvm_mmu_zap_page(kvm, sp))
1456 n = bucket->first;
Avi Kivitya4360362007-01-05 16:36:45 -08001457 }
1458 return r;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001459}
1460
Anthony Liguorif67a46f2007-10-10 19:25:50 -05001461static void mmu_unshadow(struct kvm *kvm, gfn_t gfn)
Avi Kivity97a0a012007-05-31 15:08:29 +03001462{
Avi Kivity4677a3b2009-01-06 13:00:27 +02001463 unsigned index;
1464 struct hlist_head *bucket;
Avi Kivity4db35312007-11-21 15:28:32 +02001465 struct kvm_mmu_page *sp;
Avi Kivity4677a3b2009-01-06 13:00:27 +02001466 struct hlist_node *node, *nn;
Avi Kivity97a0a012007-05-31 15:08:29 +03001467
Avi Kivity4677a3b2009-01-06 13:00:27 +02001468 index = kvm_page_table_hashfn(gfn);
1469 bucket = &kvm->arch.mmu_page_hash[index];
1470 hlist_for_each_entry_safe(sp, node, nn, bucket, hash_link) {
Avi Kivityf6e2c022009-01-11 13:02:10 +02001471 if (sp->gfn == gfn && !sp->role.direct
Avi Kivity4677a3b2009-01-06 13:00:27 +02001472 && !sp->role.invalid) {
1473 pgprintk("%s: zap %lx %x\n",
1474 __func__, gfn, sp->role.word);
1475 kvm_mmu_zap_page(kvm, sp);
1476 }
Avi Kivity97a0a012007-05-31 15:08:29 +03001477 }
1478}
1479
Avi Kivity38c335f2007-11-21 14:20:22 +02001480static void page_header_update_slot(struct kvm *kvm, void *pte, gfn_t gfn)
Avi Kivity6aa8b732006-12-10 02:21:36 -08001481{
Avi Kivity38c335f2007-11-21 14:20:22 +02001482 int slot = memslot_id(kvm, gfn_to_memslot(kvm, gfn));
Avi Kivity4db35312007-11-21 15:28:32 +02001483 struct kvm_mmu_page *sp = page_header(__pa(pte));
Avi Kivity6aa8b732006-12-10 02:21:36 -08001484
Sheng Yang291f26b2008-10-16 17:30:57 +08001485 __set_bit(slot, sp->slot_bitmap);
Avi Kivity6aa8b732006-12-10 02:21:36 -08001486}
1487
Marcelo Tosatti6844dec2008-09-23 13:18:38 -03001488static void mmu_convert_notrap(struct kvm_mmu_page *sp)
1489{
1490 int i;
1491 u64 *pt = sp->spt;
1492
1493 if (shadow_trap_nonpresent_pte == shadow_notrap_nonpresent_pte)
1494 return;
1495
1496 for (i = 0; i < PT64_ENT_PER_PAGE; ++i) {
1497 if (pt[i] == shadow_notrap_nonpresent_pte)
1498 set_shadow_pte(&pt[i], shadow_trap_nonpresent_pte);
1499 }
1500}
1501
Avi Kivity039576c2007-03-20 12:46:50 +02001502struct page *gva_to_page(struct kvm_vcpu *vcpu, gva_t gva)
1503{
Izik Eidus72dc67a2008-02-10 18:04:15 +02001504 struct page *page;
1505
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001506 gpa_t gpa = vcpu->arch.mmu.gva_to_gpa(vcpu, gva);
Avi Kivity039576c2007-03-20 12:46:50 +02001507
1508 if (gpa == UNMAPPED_GVA)
1509 return NULL;
Izik Eidus72dc67a2008-02-10 18:04:15 +02001510
Izik Eidus72dc67a2008-02-10 18:04:15 +02001511 page = gfn_to_page(vcpu->kvm, gpa >> PAGE_SHIFT);
Izik Eidus72dc67a2008-02-10 18:04:15 +02001512
1513 return page;
Avi Kivity039576c2007-03-20 12:46:50 +02001514}
1515
Sheng Yang74be52e2008-10-09 16:01:56 +08001516/*
1517 * The function is based on mtrr_type_lookup() in
1518 * arch/x86/kernel/cpu/mtrr/generic.c
1519 */
1520static int get_mtrr_type(struct mtrr_state_type *mtrr_state,
1521 u64 start, u64 end)
1522{
1523 int i;
1524 u64 base, mask;
1525 u8 prev_match, curr_match;
1526 int num_var_ranges = KVM_NR_VAR_MTRR;
1527
1528 if (!mtrr_state->enabled)
1529 return 0xFF;
1530
1531 /* Make end inclusive end, instead of exclusive */
1532 end--;
1533
1534 /* Look in fixed ranges. Just return the type as per start */
1535 if (mtrr_state->have_fixed && (start < 0x100000)) {
1536 int idx;
1537
1538 if (start < 0x80000) {
1539 idx = 0;
1540 idx += (start >> 16);
1541 return mtrr_state->fixed_ranges[idx];
1542 } else if (start < 0xC0000) {
1543 idx = 1 * 8;
1544 idx += ((start - 0x80000) >> 14);
1545 return mtrr_state->fixed_ranges[idx];
1546 } else if (start < 0x1000000) {
1547 idx = 3 * 8;
1548 idx += ((start - 0xC0000) >> 12);
1549 return mtrr_state->fixed_ranges[idx];
1550 }
1551 }
1552
1553 /*
1554 * Look in variable ranges
1555 * Look of multiple ranges matching this address and pick type
1556 * as per MTRR precedence
1557 */
1558 if (!(mtrr_state->enabled & 2))
1559 return mtrr_state->def_type;
1560
1561 prev_match = 0xFF;
1562 for (i = 0; i < num_var_ranges; ++i) {
1563 unsigned short start_state, end_state;
1564
1565 if (!(mtrr_state->var_ranges[i].mask_lo & (1 << 11)))
1566 continue;
1567
1568 base = (((u64)mtrr_state->var_ranges[i].base_hi) << 32) +
1569 (mtrr_state->var_ranges[i].base_lo & PAGE_MASK);
1570 mask = (((u64)mtrr_state->var_ranges[i].mask_hi) << 32) +
1571 (mtrr_state->var_ranges[i].mask_lo & PAGE_MASK);
1572
1573 start_state = ((start & mask) == (base & mask));
1574 end_state = ((end & mask) == (base & mask));
1575 if (start_state != end_state)
1576 return 0xFE;
1577
1578 if ((start & mask) != (base & mask))
1579 continue;
1580
1581 curr_match = mtrr_state->var_ranges[i].base_lo & 0xff;
1582 if (prev_match == 0xFF) {
1583 prev_match = curr_match;
1584 continue;
1585 }
1586
1587 if (prev_match == MTRR_TYPE_UNCACHABLE ||
1588 curr_match == MTRR_TYPE_UNCACHABLE)
1589 return MTRR_TYPE_UNCACHABLE;
1590
1591 if ((prev_match == MTRR_TYPE_WRBACK &&
1592 curr_match == MTRR_TYPE_WRTHROUGH) ||
1593 (prev_match == MTRR_TYPE_WRTHROUGH &&
1594 curr_match == MTRR_TYPE_WRBACK)) {
1595 prev_match = MTRR_TYPE_WRTHROUGH;
1596 curr_match = MTRR_TYPE_WRTHROUGH;
1597 }
1598
1599 if (prev_match != curr_match)
1600 return MTRR_TYPE_UNCACHABLE;
1601 }
1602
1603 if (prev_match != 0xFF)
1604 return prev_match;
1605
1606 return mtrr_state->def_type;
1607}
1608
Sheng Yang4b12f0d2009-04-27 20:35:42 +08001609u8 kvm_get_guest_memory_type(struct kvm_vcpu *vcpu, gfn_t gfn)
Sheng Yang74be52e2008-10-09 16:01:56 +08001610{
1611 u8 mtrr;
1612
1613 mtrr = get_mtrr_type(&vcpu->arch.mtrr_state, gfn << PAGE_SHIFT,
1614 (gfn << PAGE_SHIFT) + PAGE_SIZE);
1615 if (mtrr == 0xfe || mtrr == 0xff)
1616 mtrr = MTRR_TYPE_WRBACK;
1617 return mtrr;
1618}
Sheng Yang4b12f0d2009-04-27 20:35:42 +08001619EXPORT_SYMBOL_GPL(kvm_get_guest_memory_type);
Sheng Yang74be52e2008-10-09 16:01:56 +08001620
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001621static int kvm_unsync_page(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp)
1622{
1623 unsigned index;
1624 struct hlist_head *bucket;
1625 struct kvm_mmu_page *s;
1626 struct hlist_node *node, *n;
1627
1628 index = kvm_page_table_hashfn(sp->gfn);
1629 bucket = &vcpu->kvm->arch.mmu_page_hash[index];
1630 /* don't unsync if pagetable is shadowed with multiple roles */
1631 hlist_for_each_entry_safe(s, node, n, bucket, hash_link) {
Avi Kivityf6e2c022009-01-11 13:02:10 +02001632 if (s->gfn != sp->gfn || s->role.direct)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001633 continue;
1634 if (s->role.word != sp->role.word)
1635 return 1;
1636 }
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001637 ++vcpu->kvm->stat.mmu_unsync;
1638 sp->unsync = 1;
Marcelo Tosatti6cffe8c2008-12-01 22:32:04 -02001639
Marcelo Tosattic2d0ee42009-04-05 14:54:47 -03001640 kvm_mmu_mark_parents_unsync(vcpu, sp);
Marcelo Tosatti6cffe8c2008-12-01 22:32:04 -02001641
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001642 mmu_convert_notrap(sp);
1643 return 0;
1644}
1645
1646static int mmu_need_write_protect(struct kvm_vcpu *vcpu, gfn_t gfn,
1647 bool can_unsync)
1648{
1649 struct kvm_mmu_page *shadow;
1650
1651 shadow = kvm_mmu_lookup_page(vcpu->kvm, gfn);
1652 if (shadow) {
1653 if (shadow->role.level != PT_PAGE_TABLE_LEVEL)
1654 return 1;
1655 if (shadow->unsync)
1656 return 0;
Marcelo Tosatti582801a2008-09-23 13:18:41 -03001657 if (can_unsync && oos_shadow)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001658 return kvm_unsync_page(vcpu, shadow);
1659 return 1;
1660 }
1661 return 0;
1662}
1663
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001664static int set_spte(struct kvm_vcpu *vcpu, u64 *shadow_pte,
1665 unsigned pte_access, int user_fault,
1666 int write_fault, int dirty, int largepage,
Marcelo Tosattic2d0ee42009-04-05 14:54:47 -03001667 gfn_t gfn, pfn_t pfn, bool speculative,
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001668 bool can_unsync)
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001669{
1670 u64 spte;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001671 int ret = 0;
Sheng Yang64d4d522008-10-09 16:01:57 +08001672
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001673 /*
1674 * We don't set the accessed bit, since we sometimes want to see
1675 * whether the guest actually used the pte (in order to detect
1676 * demand paging).
1677 */
Sheng Yang7b523452008-04-25 21:13:50 +08001678 spte = shadow_base_present_pte | shadow_dirty_mask;
Avi Kivity947da532008-03-18 11:05:52 +02001679 if (!speculative)
Avi Kivity3201b5d2008-08-27 20:01:04 +03001680 spte |= shadow_accessed_mask;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001681 if (!dirty)
1682 pte_access &= ~ACC_WRITE_MASK;
Sheng Yang7b523452008-04-25 21:13:50 +08001683 if (pte_access & ACC_EXEC_MASK)
1684 spte |= shadow_x_mask;
1685 else
1686 spte |= shadow_nx_mask;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001687 if (pte_access & ACC_USER_MASK)
Sheng Yang7b523452008-04-25 21:13:50 +08001688 spte |= shadow_user_mask;
Marcelo Tosatti05da4552008-02-23 11:44:30 -03001689 if (largepage)
1690 spte |= PT_PAGE_SIZE_MASK;
Sheng Yang4b12f0d2009-04-27 20:35:42 +08001691 if (tdp_enabled)
1692 spte |= kvm_x86_ops->get_mt_mask(vcpu, gfn,
1693 kvm_is_mmio_pfn(pfn));
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001694
Anthony Liguori35149e22008-04-02 14:46:56 -05001695 spte |= (u64)pfn << PAGE_SHIFT;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001696
1697 if ((pte_access & ACC_WRITE_MASK)
1698 || (write_fault && !is_write_protection(vcpu) && !user_fault)) {
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001699
Marcelo Tosatti38187c82008-09-23 13:18:32 -03001700 if (largepage && has_wrprotected_page(vcpu->kvm, gfn)) {
1701 ret = 1;
1702 spte = shadow_trap_nonpresent_pte;
1703 goto set_pte;
1704 }
1705
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001706 spte |= PT_WRITABLE_MASK;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001707
Marcelo Tosattiecc55892008-11-25 15:58:07 +01001708 /*
1709 * Optimization: for pte sync, if spte was writable the hash
1710 * lookup is unnecessary (and expensive). Write protection
1711 * is responsibility of mmu_get_page / kvm_sync_page.
1712 * Same reasoning can be applied to dirty page accounting.
1713 */
1714 if (!can_unsync && is_writeble_pte(*shadow_pte))
1715 goto set_pte;
1716
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001717 if (mmu_need_write_protect(vcpu, gfn, can_unsync)) {
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001718 pgprintk("%s: found shadow page for %lx, marking ro\n",
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001719 __func__, gfn);
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001720 ret = 1;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001721 pte_access &= ~ACC_WRITE_MASK;
Marcelo Tosattia378b4e2008-09-23 13:18:31 -03001722 if (is_writeble_pte(spte))
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001723 spte &= ~PT_WRITABLE_MASK;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001724 }
1725 }
1726
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001727 if (pte_access & ACC_WRITE_MASK)
1728 mark_page_dirty(vcpu->kvm, gfn);
1729
Marcelo Tosatti38187c82008-09-23 13:18:32 -03001730set_pte:
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001731 set_shadow_pte(shadow_pte, spte);
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001732 return ret;
1733}
1734
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001735static void mmu_set_spte(struct kvm_vcpu *vcpu, u64 *shadow_pte,
1736 unsigned pt_access, unsigned pte_access,
1737 int user_fault, int write_fault, int dirty,
Marcelo Tosattic2d0ee42009-04-05 14:54:47 -03001738 int *ptwrite, int largepage, gfn_t gfn,
1739 pfn_t pfn, bool speculative)
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001740{
1741 int was_rmapped = 0;
1742 int was_writeble = is_writeble_pte(*shadow_pte);
1743
1744 pgprintk("%s: spte %llx access %x write_fault %d"
1745 " user_fault %d gfn %lx\n",
1746 __func__, *shadow_pte, pt_access,
1747 write_fault, user_fault, gfn);
1748
1749 if (is_rmap_pte(*shadow_pte)) {
1750 /*
1751 * If we overwrite a PTE page pointer with a 2MB PMD, unlink
1752 * the parent of the now unreachable PTE.
1753 */
1754 if (largepage && !is_large_pte(*shadow_pte)) {
1755 struct kvm_mmu_page *child;
1756 u64 pte = *shadow_pte;
1757
1758 child = page_header(pte & PT64_BASE_ADDR_MASK);
1759 mmu_page_remove_parent_pte(child, shadow_pte);
1760 } else if (pfn != spte_to_pfn(*shadow_pte)) {
1761 pgprintk("hfn old %lx new %lx\n",
1762 spte_to_pfn(*shadow_pte), pfn);
1763 rmap_remove(vcpu->kvm, shadow_pte);
Joerg Roedel6bed6b92009-02-18 14:08:59 +01001764 } else
1765 was_rmapped = 1;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001766 }
1767 if (set_spte(vcpu, shadow_pte, pte_access, user_fault, write_fault,
Marcelo Tosattic2d0ee42009-04-05 14:54:47 -03001768 dirty, largepage, gfn, pfn, speculative, true)) {
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001769 if (write_fault)
1770 *ptwrite = 1;
Marcelo Tosattia378b4e2008-09-23 13:18:31 -03001771 kvm_x86_ops->tlb_flush(vcpu);
1772 }
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001773
1774 pgprintk("%s: setting spte %llx\n", __func__, *shadow_pte);
1775 pgprintk("instantiating %s PTE (%s) at %ld (%llx) addr %p\n",
1776 is_large_pte(*shadow_pte)? "2MB" : "4kB",
1777 is_present_pte(*shadow_pte)?"RW":"R", gfn,
1778 *shadow_pte, shadow_pte);
1779 if (!was_rmapped && is_large_pte(*shadow_pte))
Marcelo Tosatti05da4552008-02-23 11:44:30 -03001780 ++vcpu->kvm->stat.lpages;
1781
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001782 page_header_update_slot(vcpu->kvm, shadow_pte, gfn);
1783 if (!was_rmapped) {
Marcelo Tosatti05da4552008-02-23 11:44:30 -03001784 rmap_add(vcpu, shadow_pte, gfn, largepage);
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001785 if (!is_rmap_pte(*shadow_pte))
Anthony Liguori35149e22008-04-02 14:46:56 -05001786 kvm_release_pfn_clean(pfn);
Izik Eidus75e68e62008-01-12 23:49:09 +02001787 } else {
1788 if (was_writeble)
Anthony Liguori35149e22008-04-02 14:46:56 -05001789 kvm_release_pfn_dirty(pfn);
Izik Eidus75e68e62008-01-12 23:49:09 +02001790 else
Anthony Liguori35149e22008-04-02 14:46:56 -05001791 kvm_release_pfn_clean(pfn);
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001792 }
Avi Kivity1b7fcd32008-05-15 13:51:35 +03001793 if (speculative) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001794 vcpu->arch.last_pte_updated = shadow_pte;
Avi Kivity1b7fcd32008-05-15 13:51:35 +03001795 vcpu->arch.last_pte_gfn = gfn;
1796 }
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001797}
1798
Avi Kivity6aa8b732006-12-10 02:21:36 -08001799static void nonpaging_new_cr3(struct kvm_vcpu *vcpu)
1800{
1801}
1802
Joerg Roedel4d9976b2008-02-07 13:47:42 +01001803static int __direct_map(struct kvm_vcpu *vcpu, gpa_t v, int write,
Avi Kivity6c41f422008-08-26 16:16:08 +03001804 int largepage, gfn_t gfn, pfn_t pfn)
Avi Kivity6aa8b732006-12-10 02:21:36 -08001805{
Avi Kivity9f652d22008-12-25 14:54:25 +02001806 struct kvm_shadow_walk_iterator iterator;
1807 struct kvm_mmu_page *sp;
1808 int pt_write = 0;
1809 gfn_t pseudo_gfn;
Avi Kivity6aa8b732006-12-10 02:21:36 -08001810
Avi Kivity9f652d22008-12-25 14:54:25 +02001811 for_each_shadow_entry(vcpu, (u64)gfn << PAGE_SHIFT, iterator) {
1812 if (iterator.level == PT_PAGE_TABLE_LEVEL
1813 || (largepage && iterator.level == PT_DIRECTORY_LEVEL)) {
1814 mmu_set_spte(vcpu, iterator.sptep, ACC_ALL, ACC_ALL,
1815 0, write, 1, &pt_write,
Marcelo Tosattic2d0ee42009-04-05 14:54:47 -03001816 largepage, gfn, pfn, false);
Avi Kivity9f652d22008-12-25 14:54:25 +02001817 ++vcpu->stat.pf_fixed;
1818 break;
1819 }
1820
1821 if (*iterator.sptep == shadow_trap_nonpresent_pte) {
1822 pseudo_gfn = (iterator.addr & PT64_DIR_BASE_ADDR_MASK) >> PAGE_SHIFT;
1823 sp = kvm_mmu_get_page(vcpu, pseudo_gfn, iterator.addr,
1824 iterator.level - 1,
1825 1, ACC_ALL, iterator.sptep);
1826 if (!sp) {
1827 pgprintk("nonpaging_map: ENOMEM\n");
1828 kvm_release_pfn_clean(pfn);
1829 return -ENOMEM;
1830 }
1831
1832 set_shadow_pte(iterator.sptep,
1833 __pa(sp->spt)
1834 | PT_PRESENT_MASK | PT_WRITABLE_MASK
1835 | shadow_user_mask | shadow_x_mask);
1836 }
1837 }
1838 return pt_write;
Avi Kivity6aa8b732006-12-10 02:21:36 -08001839}
1840
Marcelo Tosatti10589a42007-12-20 19:18:22 -05001841static int nonpaging_map(struct kvm_vcpu *vcpu, gva_t v, int write, gfn_t gfn)
1842{
1843 int r;
Marcelo Tosatti05da4552008-02-23 11:44:30 -03001844 int largepage = 0;
Anthony Liguori35149e22008-04-02 14:46:56 -05001845 pfn_t pfn;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02001846 unsigned long mmu_seq;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05001847
Marcelo Tosatti05da4552008-02-23 11:44:30 -03001848 if (is_largepage_backed(vcpu, gfn & ~(KVM_PAGES_PER_HPAGE-1))) {
1849 gfn &= ~(KVM_PAGES_PER_HPAGE-1);
1850 largepage = 1;
1851 }
1852
Andrea Arcangelie930bff2008-07-25 16:24:52 +02001853 mmu_seq = vcpu->kvm->mmu_notifier_seq;
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -03001854 smp_rmb();
Anthony Liguori35149e22008-04-02 14:46:56 -05001855 pfn = gfn_to_pfn(vcpu->kvm, gfn);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05001856
Avi Kivityd196e342008-01-24 11:44:11 +02001857 /* mmio */
Anthony Liguori35149e22008-04-02 14:46:56 -05001858 if (is_error_pfn(pfn)) {
1859 kvm_release_pfn_clean(pfn);
Avi Kivityd196e342008-01-24 11:44:11 +02001860 return 1;
1861 }
1862
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05001863 spin_lock(&vcpu->kvm->mmu_lock);
Andrea Arcangelie930bff2008-07-25 16:24:52 +02001864 if (mmu_notifier_retry(vcpu, mmu_seq))
1865 goto out_unlock;
Avi Kivityeb787d12007-12-31 15:27:49 +02001866 kvm_mmu_free_some_pages(vcpu);
Avi Kivity6c41f422008-08-26 16:16:08 +03001867 r = __direct_map(vcpu, v, write, largepage, gfn, pfn);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05001868 spin_unlock(&vcpu->kvm->mmu_lock);
1869
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05001870
Marcelo Tosatti10589a42007-12-20 19:18:22 -05001871 return r;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02001872
1873out_unlock:
1874 spin_unlock(&vcpu->kvm->mmu_lock);
1875 kvm_release_pfn_clean(pfn);
1876 return 0;
Marcelo Tosatti10589a42007-12-20 19:18:22 -05001877}
1878
1879
Avi Kivity17ac10a2007-01-05 16:36:40 -08001880static void mmu_free_roots(struct kvm_vcpu *vcpu)
1881{
1882 int i;
Avi Kivity4db35312007-11-21 15:28:32 +02001883 struct kvm_mmu_page *sp;
Avi Kivity17ac10a2007-01-05 16:36:40 -08001884
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001885 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))
Avi Kivity7b53aa52007-06-05 12:17:03 +03001886 return;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05001887 spin_lock(&vcpu->kvm->mmu_lock);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001888 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL) {
1889 hpa_t root = vcpu->arch.mmu.root_hpa;
Avi Kivity17ac10a2007-01-05 16:36:40 -08001890
Avi Kivity4db35312007-11-21 15:28:32 +02001891 sp = page_header(root);
1892 --sp->root_count;
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05001893 if (!sp->root_count && sp->role.invalid)
1894 kvm_mmu_zap_page(vcpu->kvm, sp);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001895 vcpu->arch.mmu.root_hpa = INVALID_PAGE;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05001896 spin_unlock(&vcpu->kvm->mmu_lock);
Avi Kivity17ac10a2007-01-05 16:36:40 -08001897 return;
1898 }
Avi Kivity17ac10a2007-01-05 16:36:40 -08001899 for (i = 0; i < 4; ++i) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001900 hpa_t root = vcpu->arch.mmu.pae_root[i];
Avi Kivity17ac10a2007-01-05 16:36:40 -08001901
Avi Kivity417726a2007-04-12 17:35:58 +03001902 if (root) {
Avi Kivity417726a2007-04-12 17:35:58 +03001903 root &= PT64_BASE_ADDR_MASK;
Avi Kivity4db35312007-11-21 15:28:32 +02001904 sp = page_header(root);
1905 --sp->root_count;
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05001906 if (!sp->root_count && sp->role.invalid)
1907 kvm_mmu_zap_page(vcpu->kvm, sp);
Avi Kivity417726a2007-04-12 17:35:58 +03001908 }
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001909 vcpu->arch.mmu.pae_root[i] = INVALID_PAGE;
Avi Kivity17ac10a2007-01-05 16:36:40 -08001910 }
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05001911 spin_unlock(&vcpu->kvm->mmu_lock);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001912 vcpu->arch.mmu.root_hpa = INVALID_PAGE;
Avi Kivity17ac10a2007-01-05 16:36:40 -08001913}
1914
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03001915static int mmu_check_root(struct kvm_vcpu *vcpu, gfn_t root_gfn)
1916{
1917 int ret = 0;
1918
1919 if (!kvm_is_visible_gfn(vcpu->kvm, root_gfn)) {
1920 set_bit(KVM_REQ_TRIPLE_FAULT, &vcpu->requests);
1921 ret = 1;
1922 }
1923
1924 return ret;
1925}
1926
1927static int mmu_alloc_roots(struct kvm_vcpu *vcpu)
Avi Kivity17ac10a2007-01-05 16:36:40 -08001928{
1929 int i;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001930 gfn_t root_gfn;
Avi Kivity4db35312007-11-21 15:28:32 +02001931 struct kvm_mmu_page *sp;
Avi Kivityf6e2c022009-01-11 13:02:10 +02001932 int direct = 0;
Avi Kivity3bb65a22007-01-05 16:36:51 -08001933
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001934 root_gfn = vcpu->arch.cr3 >> PAGE_SHIFT;
Avi Kivity17ac10a2007-01-05 16:36:40 -08001935
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001936 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL) {
1937 hpa_t root = vcpu->arch.mmu.root_hpa;
Avi Kivity17ac10a2007-01-05 16:36:40 -08001938
1939 ASSERT(!VALID_PAGE(root));
Joerg Roedelfb72d162008-02-07 13:47:44 +01001940 if (tdp_enabled)
Avi Kivityf6e2c022009-01-11 13:02:10 +02001941 direct = 1;
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03001942 if (mmu_check_root(vcpu, root_gfn))
1943 return 1;
Avi Kivity4db35312007-11-21 15:28:32 +02001944 sp = kvm_mmu_get_page(vcpu, root_gfn, 0,
Avi Kivityf6e2c022009-01-11 13:02:10 +02001945 PT64_ROOT_LEVEL, direct,
Joerg Roedelfb72d162008-02-07 13:47:44 +01001946 ACC_ALL, NULL);
Avi Kivity4db35312007-11-21 15:28:32 +02001947 root = __pa(sp->spt);
1948 ++sp->root_count;
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001949 vcpu->arch.mmu.root_hpa = root;
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03001950 return 0;
Avi Kivity17ac10a2007-01-05 16:36:40 -08001951 }
Avi Kivityf6e2c022009-01-11 13:02:10 +02001952 direct = !is_paging(vcpu);
Joerg Roedelfb72d162008-02-07 13:47:44 +01001953 if (tdp_enabled)
Avi Kivityf6e2c022009-01-11 13:02:10 +02001954 direct = 1;
Avi Kivity17ac10a2007-01-05 16:36:40 -08001955 for (i = 0; i < 4; ++i) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001956 hpa_t root = vcpu->arch.mmu.pae_root[i];
Avi Kivity17ac10a2007-01-05 16:36:40 -08001957
1958 ASSERT(!VALID_PAGE(root));
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001959 if (vcpu->arch.mmu.root_level == PT32E_ROOT_LEVEL) {
1960 if (!is_present_pte(vcpu->arch.pdptrs[i])) {
1961 vcpu->arch.mmu.pae_root[i] = 0;
Avi Kivity417726a2007-04-12 17:35:58 +03001962 continue;
1963 }
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001964 root_gfn = vcpu->arch.pdptrs[i] >> PAGE_SHIFT;
1965 } else if (vcpu->arch.mmu.root_level == 0)
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001966 root_gfn = 0;
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03001967 if (mmu_check_root(vcpu, root_gfn))
1968 return 1;
Avi Kivity4db35312007-11-21 15:28:32 +02001969 sp = kvm_mmu_get_page(vcpu, root_gfn, i << 30,
Avi Kivityf6e2c022009-01-11 13:02:10 +02001970 PT32_ROOT_LEVEL, direct,
Avi Kivityf7d9c7b2008-02-26 22:12:10 +02001971 ACC_ALL, NULL);
Avi Kivity4db35312007-11-21 15:28:32 +02001972 root = __pa(sp->spt);
1973 ++sp->root_count;
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001974 vcpu->arch.mmu.pae_root[i] = root | PT_PRESENT_MASK;
Avi Kivity17ac10a2007-01-05 16:36:40 -08001975 }
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001976 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root);
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03001977 return 0;
Avi Kivity17ac10a2007-01-05 16:36:40 -08001978}
1979
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03001980static void mmu_sync_roots(struct kvm_vcpu *vcpu)
1981{
1982 int i;
1983 struct kvm_mmu_page *sp;
1984
1985 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))
1986 return;
1987 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL) {
1988 hpa_t root = vcpu->arch.mmu.root_hpa;
1989 sp = page_header(root);
1990 mmu_sync_children(vcpu, sp);
1991 return;
1992 }
1993 for (i = 0; i < 4; ++i) {
1994 hpa_t root = vcpu->arch.mmu.pae_root[i];
1995
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03001996 if (root && VALID_PAGE(root)) {
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03001997 root &= PT64_BASE_ADDR_MASK;
1998 sp = page_header(root);
1999 mmu_sync_children(vcpu, sp);
2000 }
2001 }
2002}
2003
2004void kvm_mmu_sync_roots(struct kvm_vcpu *vcpu)
2005{
2006 spin_lock(&vcpu->kvm->mmu_lock);
2007 mmu_sync_roots(vcpu);
2008 spin_unlock(&vcpu->kvm->mmu_lock);
2009}
2010
Avi Kivity6aa8b732006-12-10 02:21:36 -08002011static gpa_t nonpaging_gva_to_gpa(struct kvm_vcpu *vcpu, gva_t vaddr)
2012{
2013 return vaddr;
2014}
2015
2016static int nonpaging_page_fault(struct kvm_vcpu *vcpu, gva_t gva,
Avi Kivity3f3e7122007-11-21 14:54:16 +02002017 u32 error_code)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002018{
Avi Kivitye8332402007-12-09 18:43:00 +02002019 gfn_t gfn;
Avi Kivitye2dec932007-01-05 16:36:54 -08002020 int r;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002021
Harvey Harrisonb8688d52008-03-03 12:59:56 -08002022 pgprintk("%s: gva %lx error %x\n", __func__, gva, error_code);
Avi Kivitye2dec932007-01-05 16:36:54 -08002023 r = mmu_topup_memory_caches(vcpu);
2024 if (r)
2025 return r;
Avi Kivity714b93d2007-01-05 16:36:53 -08002026
Avi Kivity6aa8b732006-12-10 02:21:36 -08002027 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002028 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity6aa8b732006-12-10 02:21:36 -08002029
Avi Kivitye8332402007-12-09 18:43:00 +02002030 gfn = gva >> PAGE_SHIFT;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002031
Avi Kivitye8332402007-12-09 18:43:00 +02002032 return nonpaging_map(vcpu, gva & PAGE_MASK,
2033 error_code & PFERR_WRITE_MASK, gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002034}
2035
Joerg Roedelfb72d162008-02-07 13:47:44 +01002036static int tdp_page_fault(struct kvm_vcpu *vcpu, gva_t gpa,
2037 u32 error_code)
2038{
Anthony Liguori35149e22008-04-02 14:46:56 -05002039 pfn_t pfn;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002040 int r;
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002041 int largepage = 0;
2042 gfn_t gfn = gpa >> PAGE_SHIFT;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002043 unsigned long mmu_seq;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002044
2045 ASSERT(vcpu);
2046 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa));
2047
2048 r = mmu_topup_memory_caches(vcpu);
2049 if (r)
2050 return r;
2051
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002052 if (is_largepage_backed(vcpu, gfn & ~(KVM_PAGES_PER_HPAGE-1))) {
2053 gfn &= ~(KVM_PAGES_PER_HPAGE-1);
2054 largepage = 1;
2055 }
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002056 mmu_seq = vcpu->kvm->mmu_notifier_seq;
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -03002057 smp_rmb();
Anthony Liguori35149e22008-04-02 14:46:56 -05002058 pfn = gfn_to_pfn(vcpu->kvm, gfn);
Anthony Liguori35149e22008-04-02 14:46:56 -05002059 if (is_error_pfn(pfn)) {
2060 kvm_release_pfn_clean(pfn);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002061 return 1;
2062 }
2063 spin_lock(&vcpu->kvm->mmu_lock);
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002064 if (mmu_notifier_retry(vcpu, mmu_seq))
2065 goto out_unlock;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002066 kvm_mmu_free_some_pages(vcpu);
2067 r = __direct_map(vcpu, gpa, error_code & PFERR_WRITE_MASK,
Avi Kivity6c41f422008-08-26 16:16:08 +03002068 largepage, gfn, pfn);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002069 spin_unlock(&vcpu->kvm->mmu_lock);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002070
2071 return r;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002072
2073out_unlock:
2074 spin_unlock(&vcpu->kvm->mmu_lock);
2075 kvm_release_pfn_clean(pfn);
2076 return 0;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002077}
2078
Avi Kivity6aa8b732006-12-10 02:21:36 -08002079static void nonpaging_free(struct kvm_vcpu *vcpu)
2080{
Avi Kivity17ac10a2007-01-05 16:36:40 -08002081 mmu_free_roots(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002082}
2083
2084static int nonpaging_init_context(struct kvm_vcpu *vcpu)
2085{
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002086 struct kvm_mmu *context = &vcpu->arch.mmu;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002087
2088 context->new_cr3 = nonpaging_new_cr3;
2089 context->page_fault = nonpaging_page_fault;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002090 context->gva_to_gpa = nonpaging_gva_to_gpa;
2091 context->free = nonpaging_free;
Avi Kivityc7addb92007-09-16 18:58:32 +02002092 context->prefetch_page = nonpaging_prefetch_page;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002093 context->sync_page = nonpaging_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002094 context->invlpg = nonpaging_invlpg;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08002095 context->root_level = 0;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002096 context->shadow_root_level = PT32E_ROOT_LEVEL;
Avi Kivity17c3ba92007-06-04 15:58:30 +03002097 context->root_hpa = INVALID_PAGE;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002098 return 0;
2099}
2100
Avi Kivityd835dfe2007-11-21 02:57:59 +02002101void kvm_mmu_flush_tlb(struct kvm_vcpu *vcpu)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002102{
Avi Kivity1165f5f2007-04-19 17:27:43 +03002103 ++vcpu->stat.tlb_flush;
Christian Ehrhardtcbdd1be2007-09-09 15:41:59 +03002104 kvm_x86_ops->tlb_flush(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002105}
2106
2107static void paging_new_cr3(struct kvm_vcpu *vcpu)
2108{
Harvey Harrisonb8688d52008-03-03 12:59:56 -08002109 pgprintk("%s: cr3 %lx\n", __func__, vcpu->arch.cr3);
Avi Kivitycea0f0e2007-01-05 16:36:43 -08002110 mmu_free_roots(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002111}
2112
Avi Kivity6aa8b732006-12-10 02:21:36 -08002113static void inject_page_fault(struct kvm_vcpu *vcpu,
2114 u64 addr,
2115 u32 err_code)
2116{
Avi Kivityc3c91fe2007-11-25 14:04:58 +02002117 kvm_inject_page_fault(vcpu, addr, err_code);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002118}
2119
Avi Kivity6aa8b732006-12-10 02:21:36 -08002120static void paging_free(struct kvm_vcpu *vcpu)
2121{
2122 nonpaging_free(vcpu);
2123}
2124
Dong, Eddie82725b22009-03-30 16:21:08 +08002125static bool is_rsvd_bits_set(struct kvm_vcpu *vcpu, u64 gpte, int level)
2126{
2127 int bit7;
2128
2129 bit7 = (gpte >> 7) & 1;
2130 return (gpte & vcpu->arch.mmu.rsvd_bits_mask[bit7][level-1]) != 0;
2131}
2132
Avi Kivity6aa8b732006-12-10 02:21:36 -08002133#define PTTYPE 64
2134#include "paging_tmpl.h"
2135#undef PTTYPE
2136
2137#define PTTYPE 32
2138#include "paging_tmpl.h"
2139#undef PTTYPE
2140
Dong, Eddie82725b22009-03-30 16:21:08 +08002141static void reset_rsvds_bits_mask(struct kvm_vcpu *vcpu, int level)
2142{
2143 struct kvm_mmu *context = &vcpu->arch.mmu;
2144 int maxphyaddr = cpuid_maxphyaddr(vcpu);
2145 u64 exb_bit_rsvd = 0;
2146
2147 if (!is_nx(vcpu))
2148 exb_bit_rsvd = rsvd_bits(63, 63);
2149 switch (level) {
2150 case PT32_ROOT_LEVEL:
2151 /* no rsvd bits for 2 level 4K page table entries */
2152 context->rsvd_bits_mask[0][1] = 0;
2153 context->rsvd_bits_mask[0][0] = 0;
2154 if (is_cpuid_PSE36())
2155 /* 36bits PSE 4MB page */
2156 context->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);
2157 else
2158 /* 32 bits PSE 4MB page */
2159 context->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);
2160 context->rsvd_bits_mask[1][0] = ~0ull;
2161 break;
2162 case PT32E_ROOT_LEVEL:
Dong, Eddie20c466b2009-03-31 23:03:45 +08002163 context->rsvd_bits_mask[0][2] =
2164 rsvd_bits(maxphyaddr, 63) |
2165 rsvd_bits(7, 8) | rsvd_bits(1, 2); /* PDPTE */
Dong, Eddie82725b22009-03-30 16:21:08 +08002166 context->rsvd_bits_mask[0][1] = exb_bit_rsvd |
Sheng Yang4c26b4c2009-04-02 10:28:37 +08002167 rsvd_bits(maxphyaddr, 62); /* PDE */
Dong, Eddie82725b22009-03-30 16:21:08 +08002168 context->rsvd_bits_mask[0][0] = exb_bit_rsvd |
2169 rsvd_bits(maxphyaddr, 62); /* PTE */
2170 context->rsvd_bits_mask[1][1] = exb_bit_rsvd |
2171 rsvd_bits(maxphyaddr, 62) |
2172 rsvd_bits(13, 20); /* large page */
2173 context->rsvd_bits_mask[1][0] = ~0ull;
2174 break;
2175 case PT64_ROOT_LEVEL:
2176 context->rsvd_bits_mask[0][3] = exb_bit_rsvd |
2177 rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8);
2178 context->rsvd_bits_mask[0][2] = exb_bit_rsvd |
2179 rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8);
2180 context->rsvd_bits_mask[0][1] = exb_bit_rsvd |
Sheng Yang4c26b4c2009-04-02 10:28:37 +08002181 rsvd_bits(maxphyaddr, 51);
Dong, Eddie82725b22009-03-30 16:21:08 +08002182 context->rsvd_bits_mask[0][0] = exb_bit_rsvd |
2183 rsvd_bits(maxphyaddr, 51);
2184 context->rsvd_bits_mask[1][3] = context->rsvd_bits_mask[0][3];
2185 context->rsvd_bits_mask[1][2] = context->rsvd_bits_mask[0][2];
2186 context->rsvd_bits_mask[1][1] = exb_bit_rsvd |
Sheng Yang4c26b4c2009-04-02 10:28:37 +08002187 rsvd_bits(maxphyaddr, 51) |
2188 rsvd_bits(13, 20); /* large page */
Dong, Eddie82725b22009-03-30 16:21:08 +08002189 context->rsvd_bits_mask[1][0] = ~0ull;
2190 break;
2191 }
2192}
2193
Avi Kivity17ac10a2007-01-05 16:36:40 -08002194static int paging64_init_context_common(struct kvm_vcpu *vcpu, int level)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002195{
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002196 struct kvm_mmu *context = &vcpu->arch.mmu;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002197
2198 ASSERT(is_pae(vcpu));
2199 context->new_cr3 = paging_new_cr3;
2200 context->page_fault = paging64_page_fault;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002201 context->gva_to_gpa = paging64_gva_to_gpa;
Avi Kivityc7addb92007-09-16 18:58:32 +02002202 context->prefetch_page = paging64_prefetch_page;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002203 context->sync_page = paging64_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002204 context->invlpg = paging64_invlpg;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002205 context->free = paging_free;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002206 context->root_level = level;
2207 context->shadow_root_level = level;
Avi Kivity17c3ba92007-06-04 15:58:30 +03002208 context->root_hpa = INVALID_PAGE;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002209 return 0;
2210}
2211
Avi Kivity17ac10a2007-01-05 16:36:40 -08002212static int paging64_init_context(struct kvm_vcpu *vcpu)
2213{
Dong, Eddie82725b22009-03-30 16:21:08 +08002214 reset_rsvds_bits_mask(vcpu, PT64_ROOT_LEVEL);
Avi Kivity17ac10a2007-01-05 16:36:40 -08002215 return paging64_init_context_common(vcpu, PT64_ROOT_LEVEL);
2216}
2217
Avi Kivity6aa8b732006-12-10 02:21:36 -08002218static int paging32_init_context(struct kvm_vcpu *vcpu)
2219{
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002220 struct kvm_mmu *context = &vcpu->arch.mmu;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002221
Dong, Eddie82725b22009-03-30 16:21:08 +08002222 reset_rsvds_bits_mask(vcpu, PT32_ROOT_LEVEL);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002223 context->new_cr3 = paging_new_cr3;
2224 context->page_fault = paging32_page_fault;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002225 context->gva_to_gpa = paging32_gva_to_gpa;
2226 context->free = paging_free;
Avi Kivityc7addb92007-09-16 18:58:32 +02002227 context->prefetch_page = paging32_prefetch_page;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002228 context->sync_page = paging32_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002229 context->invlpg = paging32_invlpg;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002230 context->root_level = PT32_ROOT_LEVEL;
2231 context->shadow_root_level = PT32E_ROOT_LEVEL;
Avi Kivity17c3ba92007-06-04 15:58:30 +03002232 context->root_hpa = INVALID_PAGE;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002233 return 0;
2234}
2235
2236static int paging32E_init_context(struct kvm_vcpu *vcpu)
2237{
Dong, Eddie82725b22009-03-30 16:21:08 +08002238 reset_rsvds_bits_mask(vcpu, PT32E_ROOT_LEVEL);
Avi Kivity17ac10a2007-01-05 16:36:40 -08002239 return paging64_init_context_common(vcpu, PT32E_ROOT_LEVEL);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002240}
2241
Joerg Roedelfb72d162008-02-07 13:47:44 +01002242static int init_kvm_tdp_mmu(struct kvm_vcpu *vcpu)
2243{
2244 struct kvm_mmu *context = &vcpu->arch.mmu;
2245
2246 context->new_cr3 = nonpaging_new_cr3;
2247 context->page_fault = tdp_page_fault;
2248 context->free = nonpaging_free;
2249 context->prefetch_page = nonpaging_prefetch_page;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002250 context->sync_page = nonpaging_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002251 context->invlpg = nonpaging_invlpg;
Sheng Yang67253af2008-04-25 10:20:22 +08002252 context->shadow_root_level = kvm_x86_ops->get_tdp_level();
Joerg Roedelfb72d162008-02-07 13:47:44 +01002253 context->root_hpa = INVALID_PAGE;
2254
2255 if (!is_paging(vcpu)) {
2256 context->gva_to_gpa = nonpaging_gva_to_gpa;
2257 context->root_level = 0;
2258 } else if (is_long_mode(vcpu)) {
Dong, Eddie82725b22009-03-30 16:21:08 +08002259 reset_rsvds_bits_mask(vcpu, PT64_ROOT_LEVEL);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002260 context->gva_to_gpa = paging64_gva_to_gpa;
2261 context->root_level = PT64_ROOT_LEVEL;
2262 } else if (is_pae(vcpu)) {
Dong, Eddie82725b22009-03-30 16:21:08 +08002263 reset_rsvds_bits_mask(vcpu, PT32E_ROOT_LEVEL);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002264 context->gva_to_gpa = paging64_gva_to_gpa;
2265 context->root_level = PT32E_ROOT_LEVEL;
2266 } else {
Dong, Eddie82725b22009-03-30 16:21:08 +08002267 reset_rsvds_bits_mask(vcpu, PT32_ROOT_LEVEL);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002268 context->gva_to_gpa = paging32_gva_to_gpa;
2269 context->root_level = PT32_ROOT_LEVEL;
2270 }
2271
2272 return 0;
2273}
2274
2275static int init_kvm_softmmu(struct kvm_vcpu *vcpu)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002276{
Avi Kivitya770f6f2008-12-21 19:20:09 +02002277 int r;
2278
Avi Kivity6aa8b732006-12-10 02:21:36 -08002279 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002280 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity6aa8b732006-12-10 02:21:36 -08002281
2282 if (!is_paging(vcpu))
Avi Kivitya770f6f2008-12-21 19:20:09 +02002283 r = nonpaging_init_context(vcpu);
Avi Kivitya9058ec2006-12-29 16:49:37 -08002284 else if (is_long_mode(vcpu))
Avi Kivitya770f6f2008-12-21 19:20:09 +02002285 r = paging64_init_context(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002286 else if (is_pae(vcpu))
Avi Kivitya770f6f2008-12-21 19:20:09 +02002287 r = paging32E_init_context(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002288 else
Avi Kivitya770f6f2008-12-21 19:20:09 +02002289 r = paging32_init_context(vcpu);
2290
2291 vcpu->arch.mmu.base_role.glevels = vcpu->arch.mmu.root_level;
2292
2293 return r;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002294}
2295
Joerg Roedelfb72d162008-02-07 13:47:44 +01002296static int init_kvm_mmu(struct kvm_vcpu *vcpu)
2297{
Anthony Liguori35149e22008-04-02 14:46:56 -05002298 vcpu->arch.update_pte.pfn = bad_pfn;
2299
Joerg Roedelfb72d162008-02-07 13:47:44 +01002300 if (tdp_enabled)
2301 return init_kvm_tdp_mmu(vcpu);
2302 else
2303 return init_kvm_softmmu(vcpu);
2304}
2305
Avi Kivity6aa8b732006-12-10 02:21:36 -08002306static void destroy_kvm_mmu(struct kvm_vcpu *vcpu)
2307{
2308 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002309 if (VALID_PAGE(vcpu->arch.mmu.root_hpa)) {
2310 vcpu->arch.mmu.free(vcpu);
2311 vcpu->arch.mmu.root_hpa = INVALID_PAGE;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002312 }
2313}
2314
2315int kvm_mmu_reset_context(struct kvm_vcpu *vcpu)
2316{
Avi Kivity17c3ba92007-06-04 15:58:30 +03002317 destroy_kvm_mmu(vcpu);
2318 return init_kvm_mmu(vcpu);
2319}
Eddie Dong8668a3c2007-10-10 14:26:45 +08002320EXPORT_SYMBOL_GPL(kvm_mmu_reset_context);
Avi Kivity17c3ba92007-06-04 15:58:30 +03002321
2322int kvm_mmu_load(struct kvm_vcpu *vcpu)
2323{
Avi Kivity714b93d2007-01-05 16:36:53 -08002324 int r;
2325
Avi Kivitye2dec932007-01-05 16:36:54 -08002326 r = mmu_topup_memory_caches(vcpu);
Avi Kivity17c3ba92007-06-04 15:58:30 +03002327 if (r)
2328 goto out;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002329 spin_lock(&vcpu->kvm->mmu_lock);
Avi Kivityeb787d12007-12-31 15:27:49 +02002330 kvm_mmu_free_some_pages(vcpu);
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002331 r = mmu_alloc_roots(vcpu);
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002332 mmu_sync_roots(vcpu);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002333 spin_unlock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002334 if (r)
2335 goto out;
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002336 kvm_x86_ops->set_cr3(vcpu, vcpu->arch.mmu.root_hpa);
Avi Kivity17c3ba92007-06-04 15:58:30 +03002337 kvm_mmu_flush_tlb(vcpu);
Avi Kivity714b93d2007-01-05 16:36:53 -08002338out:
2339 return r;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002340}
Avi Kivity17c3ba92007-06-04 15:58:30 +03002341EXPORT_SYMBOL_GPL(kvm_mmu_load);
2342
2343void kvm_mmu_unload(struct kvm_vcpu *vcpu)
2344{
2345 mmu_free_roots(vcpu);
2346}
Avi Kivity6aa8b732006-12-10 02:21:36 -08002347
Avi Kivity09072da2007-05-01 14:16:52 +03002348static void mmu_pte_write_zap_pte(struct kvm_vcpu *vcpu,
Avi Kivity4db35312007-11-21 15:28:32 +02002349 struct kvm_mmu_page *sp,
Avi Kivityac1b7142007-03-08 17:13:32 +02002350 u64 *spte)
2351{
2352 u64 pte;
2353 struct kvm_mmu_page *child;
2354
2355 pte = *spte;
Avi Kivityc7addb92007-09-16 18:58:32 +02002356 if (is_shadow_present_pte(pte)) {
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002357 if (sp->role.level == PT_PAGE_TABLE_LEVEL ||
2358 is_large_pte(pte))
Izik Eidus290fc382007-09-27 14:11:22 +02002359 rmap_remove(vcpu->kvm, spte);
Avi Kivityac1b7142007-03-08 17:13:32 +02002360 else {
2361 child = page_header(pte & PT64_BASE_ADDR_MASK);
Avi Kivity90cb0522007-07-17 13:04:56 +03002362 mmu_page_remove_parent_pte(child, spte);
Avi Kivityac1b7142007-03-08 17:13:32 +02002363 }
2364 }
Avi Kivityc7addb92007-09-16 18:58:32 +02002365 set_shadow_pte(spte, shadow_trap_nonpresent_pte);
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002366 if (is_large_pte(pte))
2367 --vcpu->kvm->stat.lpages;
Avi Kivityac1b7142007-03-08 17:13:32 +02002368}
2369
Avi Kivity00284252007-05-01 16:53:31 +03002370static void mmu_pte_write_new_pte(struct kvm_vcpu *vcpu,
Avi Kivity4db35312007-11-21 15:28:32 +02002371 struct kvm_mmu_page *sp,
Avi Kivity00284252007-05-01 16:53:31 +03002372 u64 *spte,
Dong, Eddie489f1d62008-01-07 11:14:20 +02002373 const void *new)
Avi Kivity00284252007-05-01 16:53:31 +03002374{
Marcelo Tosatti30945382008-06-11 20:32:40 -03002375 if (sp->role.level != PT_PAGE_TABLE_LEVEL) {
2376 if (!vcpu->arch.update_pte.largepage ||
2377 sp->role.glevels == PT32_ROOT_LEVEL) {
2378 ++vcpu->kvm->stat.mmu_pde_zapped;
2379 return;
2380 }
2381 }
Avi Kivity00284252007-05-01 16:53:31 +03002382
Avi Kivity4cee5762007-11-18 16:37:07 +02002383 ++vcpu->kvm->stat.mmu_pte_updated;
Avi Kivity4db35312007-11-21 15:28:32 +02002384 if (sp->role.glevels == PT32_ROOT_LEVEL)
Dong, Eddie489f1d62008-01-07 11:14:20 +02002385 paging32_update_pte(vcpu, sp, spte, new);
Avi Kivity00284252007-05-01 16:53:31 +03002386 else
Dong, Eddie489f1d62008-01-07 11:14:20 +02002387 paging64_update_pte(vcpu, sp, spte, new);
Avi Kivity00284252007-05-01 16:53:31 +03002388}
2389
Avi Kivity79539ce2007-11-21 02:06:21 +02002390static bool need_remote_flush(u64 old, u64 new)
2391{
2392 if (!is_shadow_present_pte(old))
2393 return false;
2394 if (!is_shadow_present_pte(new))
2395 return true;
2396 if ((old ^ new) & PT64_BASE_ADDR_MASK)
2397 return true;
2398 old ^= PT64_NX_MASK;
2399 new ^= PT64_NX_MASK;
2400 return (old & ~new & PT64_PERM_MASK) != 0;
2401}
2402
2403static void mmu_pte_write_flush_tlb(struct kvm_vcpu *vcpu, u64 old, u64 new)
2404{
2405 if (need_remote_flush(old, new))
2406 kvm_flush_remote_tlbs(vcpu->kvm);
2407 else
2408 kvm_mmu_flush_tlb(vcpu);
2409}
2410
Avi Kivity12b7d282007-09-23 14:10:49 +02002411static bool last_updated_pte_accessed(struct kvm_vcpu *vcpu)
2412{
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002413 u64 *spte = vcpu->arch.last_pte_updated;
Avi Kivity12b7d282007-09-23 14:10:49 +02002414
Sheng Yang7b523452008-04-25 21:13:50 +08002415 return !!(spte && (*spte & shadow_accessed_mask));
Avi Kivity12b7d282007-09-23 14:10:49 +02002416}
2417
Avi Kivityd7824ff2007-12-30 12:29:05 +02002418static void mmu_guess_page_from_pte_write(struct kvm_vcpu *vcpu, gpa_t gpa,
2419 const u8 *new, int bytes)
2420{
2421 gfn_t gfn;
2422 int r;
2423 u64 gpte = 0;
Anthony Liguori35149e22008-04-02 14:46:56 -05002424 pfn_t pfn;
Avi Kivityd7824ff2007-12-30 12:29:05 +02002425
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002426 vcpu->arch.update_pte.largepage = 0;
2427
Avi Kivityd7824ff2007-12-30 12:29:05 +02002428 if (bytes != 4 && bytes != 8)
2429 return;
2430
2431 /*
2432 * Assume that the pte write on a page table of the same type
2433 * as the current vcpu paging mode. This is nearly always true
2434 * (might be false while changing modes). Note it is verified later
2435 * by update_pte().
2436 */
2437 if (is_pae(vcpu)) {
2438 /* Handle a 32-bit guest writing two halves of a 64-bit gpte */
2439 if ((bytes == 4) && (gpa % 4 == 0)) {
2440 r = kvm_read_guest(vcpu->kvm, gpa & ~(u64)7, &gpte, 8);
2441 if (r)
2442 return;
2443 memcpy((void *)&gpte + (gpa % 8), new, 4);
2444 } else if ((bytes == 8) && (gpa % 8 == 0)) {
2445 memcpy((void *)&gpte, new, 8);
2446 }
2447 } else {
2448 if ((bytes == 4) && (gpa % 4 == 0))
2449 memcpy((void *)&gpte, new, 4);
2450 }
2451 if (!is_present_pte(gpte))
2452 return;
2453 gfn = (gpte & PT64_BASE_ADDR_MASK) >> PAGE_SHIFT;
Izik Eidus72dc67a2008-02-10 18:04:15 +02002454
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002455 if (is_large_pte(gpte) && is_largepage_backed(vcpu, gfn)) {
2456 gfn &= ~(KVM_PAGES_PER_HPAGE-1);
2457 vcpu->arch.update_pte.largepage = 1;
2458 }
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002459 vcpu->arch.update_pte.mmu_seq = vcpu->kvm->mmu_notifier_seq;
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -03002460 smp_rmb();
Anthony Liguori35149e22008-04-02 14:46:56 -05002461 pfn = gfn_to_pfn(vcpu->kvm, gfn);
Izik Eidus72dc67a2008-02-10 18:04:15 +02002462
Anthony Liguori35149e22008-04-02 14:46:56 -05002463 if (is_error_pfn(pfn)) {
2464 kvm_release_pfn_clean(pfn);
Avi Kivityd196e342008-01-24 11:44:11 +02002465 return;
2466 }
Avi Kivityd7824ff2007-12-30 12:29:05 +02002467 vcpu->arch.update_pte.gfn = gfn;
Anthony Liguori35149e22008-04-02 14:46:56 -05002468 vcpu->arch.update_pte.pfn = pfn;
Avi Kivityd7824ff2007-12-30 12:29:05 +02002469}
2470
Avi Kivity1b7fcd32008-05-15 13:51:35 +03002471static void kvm_mmu_access_page(struct kvm_vcpu *vcpu, gfn_t gfn)
2472{
2473 u64 *spte = vcpu->arch.last_pte_updated;
2474
2475 if (spte
2476 && vcpu->arch.last_pte_gfn == gfn
2477 && shadow_accessed_mask
2478 && !(*spte & shadow_accessed_mask)
2479 && is_shadow_present_pte(*spte))
2480 set_bit(PT_ACCESSED_SHIFT, (unsigned long *)spte);
2481}
2482
Avi Kivity09072da2007-05-01 14:16:52 +03002483void kvm_mmu_pte_write(struct kvm_vcpu *vcpu, gpa_t gpa,
Marcelo Tosattiad218f82008-12-01 22:32:05 -02002484 const u8 *new, int bytes,
2485 bool guest_initiated)
Avi Kivityda4a00f2007-01-05 16:36:44 -08002486{
Avi Kivity9b7a0322007-01-05 16:36:45 -08002487 gfn_t gfn = gpa >> PAGE_SHIFT;
Avi Kivity4db35312007-11-21 15:28:32 +02002488 struct kvm_mmu_page *sp;
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08002489 struct hlist_node *node, *n;
Avi Kivity9b7a0322007-01-05 16:36:45 -08002490 struct hlist_head *bucket;
2491 unsigned index;
Dong, Eddie489f1d62008-01-07 11:14:20 +02002492 u64 entry, gentry;
Avi Kivity9b7a0322007-01-05 16:36:45 -08002493 u64 *spte;
Avi Kivity9b7a0322007-01-05 16:36:45 -08002494 unsigned offset = offset_in_page(gpa);
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08002495 unsigned pte_size;
Avi Kivity9b7a0322007-01-05 16:36:45 -08002496 unsigned page_offset;
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08002497 unsigned misaligned;
Avi Kivityfce06572007-05-01 16:44:05 +03002498 unsigned quadrant;
Avi Kivity9b7a0322007-01-05 16:36:45 -08002499 int level;
Avi Kivity86a5ba02007-01-05 16:36:50 -08002500 int flooded = 0;
Avi Kivityac1b7142007-03-08 17:13:32 +02002501 int npte;
Dong, Eddie489f1d62008-01-07 11:14:20 +02002502 int r;
Avi Kivity9b7a0322007-01-05 16:36:45 -08002503
Harvey Harrisonb8688d52008-03-03 12:59:56 -08002504 pgprintk("%s: gpa %llx bytes %d\n", __func__, gpa, bytes);
Avi Kivityd7824ff2007-12-30 12:29:05 +02002505 mmu_guess_page_from_pte_write(vcpu, gpa, new, bytes);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002506 spin_lock(&vcpu->kvm->mmu_lock);
Avi Kivity1b7fcd32008-05-15 13:51:35 +03002507 kvm_mmu_access_page(vcpu, gfn);
Avi Kivityeb787d12007-12-31 15:27:49 +02002508 kvm_mmu_free_some_pages(vcpu);
Avi Kivity4cee5762007-11-18 16:37:07 +02002509 ++vcpu->kvm->stat.mmu_pte_write;
Avi Kivityc7addb92007-09-16 18:58:32 +02002510 kvm_mmu_audit(vcpu, "pre pte write");
Marcelo Tosattiad218f82008-12-01 22:32:05 -02002511 if (guest_initiated) {
2512 if (gfn == vcpu->arch.last_pt_write_gfn
2513 && !last_updated_pte_accessed(vcpu)) {
2514 ++vcpu->arch.last_pt_write_count;
2515 if (vcpu->arch.last_pt_write_count >= 3)
2516 flooded = 1;
2517 } else {
2518 vcpu->arch.last_pt_write_gfn = gfn;
2519 vcpu->arch.last_pt_write_count = 1;
2520 vcpu->arch.last_pte_updated = NULL;
2521 }
Avi Kivity86a5ba02007-01-05 16:36:50 -08002522 }
Dong, Eddie1ae0a132008-01-07 13:20:25 +02002523 index = kvm_page_table_hashfn(gfn);
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08002524 bucket = &vcpu->kvm->arch.mmu_page_hash[index];
Avi Kivity4db35312007-11-21 15:28:32 +02002525 hlist_for_each_entry_safe(sp, node, n, bucket, hash_link) {
Avi Kivityf6e2c022009-01-11 13:02:10 +02002526 if (sp->gfn != gfn || sp->role.direct || sp->role.invalid)
Avi Kivity9b7a0322007-01-05 16:36:45 -08002527 continue;
Avi Kivity4db35312007-11-21 15:28:32 +02002528 pte_size = sp->role.glevels == PT32_ROOT_LEVEL ? 4 : 8;
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08002529 misaligned = (offset ^ (offset + bytes - 1)) & ~(pte_size - 1);
Avi Kivitye925c5b2007-04-30 14:47:02 +03002530 misaligned |= bytes < 4;
Avi Kivity86a5ba02007-01-05 16:36:50 -08002531 if (misaligned || flooded) {
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08002532 /*
2533 * Misaligned accesses are too much trouble to fix
2534 * up; also, they usually indicate a page is not used
2535 * as a page table.
Avi Kivity86a5ba02007-01-05 16:36:50 -08002536 *
2537 * If we're seeing too many writes to a page,
2538 * it may no longer be a page table, or we may be
2539 * forking, in which case it is better to unmap the
2540 * page.
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08002541 */
2542 pgprintk("misaligned: gpa %llx bytes %d role %x\n",
Avi Kivity4db35312007-11-21 15:28:32 +02002543 gpa, bytes, sp->role.word);
Marcelo Tosatti07385412008-09-23 13:18:37 -03002544 if (kvm_mmu_zap_page(vcpu->kvm, sp))
2545 n = bucket->first;
Avi Kivity4cee5762007-11-18 16:37:07 +02002546 ++vcpu->kvm->stat.mmu_flooded;
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08002547 continue;
2548 }
Avi Kivity9b7a0322007-01-05 16:36:45 -08002549 page_offset = offset;
Avi Kivity4db35312007-11-21 15:28:32 +02002550 level = sp->role.level;
Avi Kivityac1b7142007-03-08 17:13:32 +02002551 npte = 1;
Avi Kivity4db35312007-11-21 15:28:32 +02002552 if (sp->role.glevels == PT32_ROOT_LEVEL) {
Avi Kivityac1b7142007-03-08 17:13:32 +02002553 page_offset <<= 1; /* 32->64 */
2554 /*
2555 * A 32-bit pde maps 4MB while the shadow pdes map
2556 * only 2MB. So we need to double the offset again
2557 * and zap two pdes instead of one.
2558 */
2559 if (level == PT32_ROOT_LEVEL) {
Avi Kivity6b8d0f92007-04-18 11:18:18 +03002560 page_offset &= ~7; /* kill rounding error */
Avi Kivityac1b7142007-03-08 17:13:32 +02002561 page_offset <<= 1;
2562 npte = 2;
2563 }
Avi Kivityfce06572007-05-01 16:44:05 +03002564 quadrant = page_offset >> PAGE_SHIFT;
Avi Kivity9b7a0322007-01-05 16:36:45 -08002565 page_offset &= ~PAGE_MASK;
Avi Kivity4db35312007-11-21 15:28:32 +02002566 if (quadrant != sp->role.quadrant)
Avi Kivityfce06572007-05-01 16:44:05 +03002567 continue;
Avi Kivity9b7a0322007-01-05 16:36:45 -08002568 }
Avi Kivity4db35312007-11-21 15:28:32 +02002569 spte = &sp->spt[page_offset / sizeof(*spte)];
Dong, Eddie489f1d62008-01-07 11:14:20 +02002570 if ((gpa & (pte_size - 1)) || (bytes < pte_size)) {
2571 gentry = 0;
2572 r = kvm_read_guest_atomic(vcpu->kvm,
2573 gpa & ~(u64)(pte_size - 1),
2574 &gentry, pte_size);
2575 new = (const void *)&gentry;
2576 if (r < 0)
2577 new = NULL;
2578 }
Avi Kivityac1b7142007-03-08 17:13:32 +02002579 while (npte--) {
Avi Kivity79539ce2007-11-21 02:06:21 +02002580 entry = *spte;
Avi Kivity4db35312007-11-21 15:28:32 +02002581 mmu_pte_write_zap_pte(vcpu, sp, spte);
Dong, Eddie489f1d62008-01-07 11:14:20 +02002582 if (new)
2583 mmu_pte_write_new_pte(vcpu, sp, spte, new);
Avi Kivity79539ce2007-11-21 02:06:21 +02002584 mmu_pte_write_flush_tlb(vcpu, entry, *spte);
Avi Kivityac1b7142007-03-08 17:13:32 +02002585 ++spte;
Avi Kivity9b7a0322007-01-05 16:36:45 -08002586 }
Avi Kivity9b7a0322007-01-05 16:36:45 -08002587 }
Avi Kivityc7addb92007-09-16 18:58:32 +02002588 kvm_mmu_audit(vcpu, "post pte write");
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002589 spin_unlock(&vcpu->kvm->mmu_lock);
Anthony Liguori35149e22008-04-02 14:46:56 -05002590 if (!is_error_pfn(vcpu->arch.update_pte.pfn)) {
2591 kvm_release_pfn_clean(vcpu->arch.update_pte.pfn);
2592 vcpu->arch.update_pte.pfn = bad_pfn;
Avi Kivityd7824ff2007-12-30 12:29:05 +02002593 }
Avi Kivityda4a00f2007-01-05 16:36:44 -08002594}
2595
Avi Kivitya4360362007-01-05 16:36:45 -08002596int kvm_mmu_unprotect_page_virt(struct kvm_vcpu *vcpu, gva_t gva)
2597{
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002598 gpa_t gpa;
2599 int r;
Avi Kivitya4360362007-01-05 16:36:45 -08002600
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002601 gpa = vcpu->arch.mmu.gva_to_gpa(vcpu, gva);
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002602
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002603 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002604 r = kvm_mmu_unprotect_page(vcpu->kvm, gpa >> PAGE_SHIFT);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002605 spin_unlock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002606 return r;
Avi Kivitya4360362007-01-05 16:36:45 -08002607}
Avi Kivity577bdc42008-07-19 08:57:05 +03002608EXPORT_SYMBOL_GPL(kvm_mmu_unprotect_page_virt);
Avi Kivitya4360362007-01-05 16:36:45 -08002609
Avi Kivity22d95b12007-09-14 20:26:06 +03002610void __kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu)
Avi Kivityebeace82007-01-05 16:36:47 -08002611{
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08002612 while (vcpu->kvm->arch.n_free_mmu_pages < KVM_REFILL_PAGES) {
Avi Kivity4db35312007-11-21 15:28:32 +02002613 struct kvm_mmu_page *sp;
Avi Kivityebeace82007-01-05 16:36:47 -08002614
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08002615 sp = container_of(vcpu->kvm->arch.active_mmu_pages.prev,
Avi Kivity4db35312007-11-21 15:28:32 +02002616 struct kvm_mmu_page, link);
2617 kvm_mmu_zap_page(vcpu->kvm, sp);
Avi Kivity4cee5762007-11-18 16:37:07 +02002618 ++vcpu->kvm->stat.mmu_recycled;
Avi Kivityebeace82007-01-05 16:36:47 -08002619 }
2620}
Avi Kivityebeace82007-01-05 16:36:47 -08002621
Avi Kivity30677142007-10-28 18:48:59 +02002622int kvm_mmu_page_fault(struct kvm_vcpu *vcpu, gva_t cr2, u32 error_code)
2623{
2624 int r;
2625 enum emulation_result er;
2626
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002627 r = vcpu->arch.mmu.page_fault(vcpu, cr2, error_code);
Avi Kivity30677142007-10-28 18:48:59 +02002628 if (r < 0)
2629 goto out;
2630
2631 if (!r) {
2632 r = 1;
2633 goto out;
2634 }
2635
Avi Kivityb733bfb2007-10-28 18:52:05 +02002636 r = mmu_topup_memory_caches(vcpu);
2637 if (r)
2638 goto out;
2639
Avi Kivity30677142007-10-28 18:48:59 +02002640 er = emulate_instruction(vcpu, vcpu->run, cr2, error_code, 0);
Avi Kivity30677142007-10-28 18:48:59 +02002641
2642 switch (er) {
2643 case EMULATE_DONE:
2644 return 1;
2645 case EMULATE_DO_MMIO:
2646 ++vcpu->stat.mmio_exits;
2647 return 0;
2648 case EMULATE_FAIL:
2649 kvm_report_emulation_failure(vcpu, "pagetable");
2650 return 1;
2651 default:
2652 BUG();
2653 }
2654out:
Avi Kivity30677142007-10-28 18:48:59 +02002655 return r;
2656}
2657EXPORT_SYMBOL_GPL(kvm_mmu_page_fault);
2658
Marcelo Tosattia7052892008-09-23 13:18:35 -03002659void kvm_mmu_invlpg(struct kvm_vcpu *vcpu, gva_t gva)
2660{
Marcelo Tosattia7052892008-09-23 13:18:35 -03002661 vcpu->arch.mmu.invlpg(vcpu, gva);
Marcelo Tosattia7052892008-09-23 13:18:35 -03002662 kvm_mmu_flush_tlb(vcpu);
2663 ++vcpu->stat.invlpg;
2664}
2665EXPORT_SYMBOL_GPL(kvm_mmu_invlpg);
2666
Joerg Roedel18552672008-02-07 13:47:41 +01002667void kvm_enable_tdp(void)
2668{
2669 tdp_enabled = true;
2670}
2671EXPORT_SYMBOL_GPL(kvm_enable_tdp);
2672
Joerg Roedel5f4cb662008-07-14 20:36:36 +02002673void kvm_disable_tdp(void)
2674{
2675 tdp_enabled = false;
2676}
2677EXPORT_SYMBOL_GPL(kvm_disable_tdp);
2678
Avi Kivity6aa8b732006-12-10 02:21:36 -08002679static void free_mmu_pages(struct kvm_vcpu *vcpu)
2680{
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002681 free_page((unsigned long)vcpu->arch.mmu.pae_root);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002682}
2683
2684static int alloc_mmu_pages(struct kvm_vcpu *vcpu)
2685{
Avi Kivity17ac10a2007-01-05 16:36:40 -08002686 struct page *page;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002687 int i;
2688
2689 ASSERT(vcpu);
2690
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08002691 if (vcpu->kvm->arch.n_requested_mmu_pages)
2692 vcpu->kvm->arch.n_free_mmu_pages =
2693 vcpu->kvm->arch.n_requested_mmu_pages;
Izik Eidus82ce2c92007-10-02 18:52:55 +02002694 else
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08002695 vcpu->kvm->arch.n_free_mmu_pages =
2696 vcpu->kvm->arch.n_alloc_mmu_pages;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002697 /*
2698 * When emulating 32-bit mode, cr3 is only 32 bits even on x86_64.
2699 * Therefore we need to allocate shadow page tables in the first
2700 * 4GB of memory, which happens to fit the DMA32 zone.
2701 */
2702 page = alloc_page(GFP_KERNEL | __GFP_DMA32);
2703 if (!page)
2704 goto error_1;
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002705 vcpu->arch.mmu.pae_root = page_address(page);
Avi Kivity17ac10a2007-01-05 16:36:40 -08002706 for (i = 0; i < 4; ++i)
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002707 vcpu->arch.mmu.pae_root[i] = INVALID_PAGE;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002708
Avi Kivity6aa8b732006-12-10 02:21:36 -08002709 return 0;
2710
2711error_1:
2712 free_mmu_pages(vcpu);
2713 return -ENOMEM;
2714}
2715
Ingo Molnar8018c272006-12-29 16:50:01 -08002716int kvm_mmu_create(struct kvm_vcpu *vcpu)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002717{
Avi Kivity6aa8b732006-12-10 02:21:36 -08002718 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002719 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity6aa8b732006-12-10 02:21:36 -08002720
Ingo Molnar8018c272006-12-29 16:50:01 -08002721 return alloc_mmu_pages(vcpu);
2722}
Avi Kivity6aa8b732006-12-10 02:21:36 -08002723
Ingo Molnar8018c272006-12-29 16:50:01 -08002724int kvm_mmu_setup(struct kvm_vcpu *vcpu)
2725{
2726 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002727 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity2c264952006-12-22 01:05:28 -08002728
Ingo Molnar8018c272006-12-29 16:50:01 -08002729 return init_kvm_mmu(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002730}
2731
2732void kvm_mmu_destroy(struct kvm_vcpu *vcpu)
2733{
2734 ASSERT(vcpu);
2735
2736 destroy_kvm_mmu(vcpu);
2737 free_mmu_pages(vcpu);
Avi Kivity714b93d2007-01-05 16:36:53 -08002738 mmu_free_memory_caches(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002739}
2740
Avi Kivity90cb0522007-07-17 13:04:56 +03002741void kvm_mmu_slot_remove_write_access(struct kvm *kvm, int slot)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002742{
Avi Kivity4db35312007-11-21 15:28:32 +02002743 struct kvm_mmu_page *sp;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002744
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08002745 list_for_each_entry(sp, &kvm->arch.active_mmu_pages, link) {
Avi Kivity6aa8b732006-12-10 02:21:36 -08002746 int i;
2747 u64 *pt;
2748
Sheng Yang291f26b2008-10-16 17:30:57 +08002749 if (!test_bit(slot, sp->slot_bitmap))
Avi Kivity6aa8b732006-12-10 02:21:36 -08002750 continue;
2751
Avi Kivity4db35312007-11-21 15:28:32 +02002752 pt = sp->spt;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002753 for (i = 0; i < PT64_ENT_PER_PAGE; ++i)
2754 /* avoid RMW */
Izik Eidus9647c142007-10-16 14:43:46 +02002755 if (pt[i] & PT_WRITABLE_MASK)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002756 pt[i] &= ~PT_WRITABLE_MASK;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002757 }
Avi Kivity171d5952008-08-27 16:40:51 +03002758 kvm_flush_remote_tlbs(kvm);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002759}
Avi Kivity37a7d8b2007-01-05 16:36:56 -08002760
Avi Kivity90cb0522007-07-17 13:04:56 +03002761void kvm_mmu_zap_all(struct kvm *kvm)
Dor Laore0fa8262007-03-30 13:06:33 +03002762{
Avi Kivity4db35312007-11-21 15:28:32 +02002763 struct kvm_mmu_page *sp, *node;
Dor Laore0fa8262007-03-30 13:06:33 +03002764
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002765 spin_lock(&kvm->mmu_lock);
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08002766 list_for_each_entry_safe(sp, node, &kvm->arch.active_mmu_pages, link)
Marcelo Tosatti07385412008-09-23 13:18:37 -03002767 if (kvm_mmu_zap_page(kvm, sp))
2768 node = container_of(kvm->arch.active_mmu_pages.next,
2769 struct kvm_mmu_page, link);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002770 spin_unlock(&kvm->mmu_lock);
Dor Laore0fa8262007-03-30 13:06:33 +03002771
Avi Kivity90cb0522007-07-17 13:04:56 +03002772 kvm_flush_remote_tlbs(kvm);
Dor Laore0fa8262007-03-30 13:06:33 +03002773}
2774
Harvey Harrison8b2cf732008-04-27 12:14:13 -07002775static void kvm_mmu_remove_one_alloc_mmu_page(struct kvm *kvm)
Izik Eidus3ee16c82008-03-30 15:17:21 +03002776{
2777 struct kvm_mmu_page *page;
2778
2779 page = container_of(kvm->arch.active_mmu_pages.prev,
2780 struct kvm_mmu_page, link);
2781 kvm_mmu_zap_page(kvm, page);
2782}
2783
2784static int mmu_shrink(int nr_to_scan, gfp_t gfp_mask)
2785{
2786 struct kvm *kvm;
2787 struct kvm *kvm_freed = NULL;
2788 int cache_count = 0;
2789
2790 spin_lock(&kvm_lock);
2791
2792 list_for_each_entry(kvm, &vm_list, vm_list) {
2793 int npages;
2794
Marcelo Tosatti5a4c9282008-07-03 18:33:02 -03002795 if (!down_read_trylock(&kvm->slots_lock))
2796 continue;
Izik Eidus3ee16c82008-03-30 15:17:21 +03002797 spin_lock(&kvm->mmu_lock);
2798 npages = kvm->arch.n_alloc_mmu_pages -
2799 kvm->arch.n_free_mmu_pages;
2800 cache_count += npages;
2801 if (!kvm_freed && nr_to_scan > 0 && npages > 0) {
2802 kvm_mmu_remove_one_alloc_mmu_page(kvm);
2803 cache_count--;
2804 kvm_freed = kvm;
2805 }
2806 nr_to_scan--;
2807
2808 spin_unlock(&kvm->mmu_lock);
Marcelo Tosatti5a4c9282008-07-03 18:33:02 -03002809 up_read(&kvm->slots_lock);
Izik Eidus3ee16c82008-03-30 15:17:21 +03002810 }
2811 if (kvm_freed)
2812 list_move_tail(&kvm_freed->vm_list, &vm_list);
2813
2814 spin_unlock(&kvm_lock);
2815
2816 return cache_count;
2817}
2818
2819static struct shrinker mmu_shrinker = {
2820 .shrink = mmu_shrink,
2821 .seeks = DEFAULT_SEEKS * 10,
2822};
2823
Ingo Molnar2ddfd202008-05-22 10:37:48 +02002824static void mmu_destroy_caches(void)
Avi Kivityb5a33a72007-04-15 16:31:09 +03002825{
2826 if (pte_chain_cache)
2827 kmem_cache_destroy(pte_chain_cache);
2828 if (rmap_desc_cache)
2829 kmem_cache_destroy(rmap_desc_cache);
Avi Kivityd3d25b02007-05-30 12:34:53 +03002830 if (mmu_page_header_cache)
2831 kmem_cache_destroy(mmu_page_header_cache);
Avi Kivityb5a33a72007-04-15 16:31:09 +03002832}
2833
Izik Eidus3ee16c82008-03-30 15:17:21 +03002834void kvm_mmu_module_exit(void)
2835{
2836 mmu_destroy_caches();
2837 unregister_shrinker(&mmu_shrinker);
2838}
2839
Avi Kivityb5a33a72007-04-15 16:31:09 +03002840int kvm_mmu_module_init(void)
2841{
2842 pte_chain_cache = kmem_cache_create("kvm_pte_chain",
2843 sizeof(struct kvm_pte_chain),
Paul Mundt20c2df82007-07-20 10:11:58 +09002844 0, 0, NULL);
Avi Kivityb5a33a72007-04-15 16:31:09 +03002845 if (!pte_chain_cache)
2846 goto nomem;
2847 rmap_desc_cache = kmem_cache_create("kvm_rmap_desc",
2848 sizeof(struct kvm_rmap_desc),
Paul Mundt20c2df82007-07-20 10:11:58 +09002849 0, 0, NULL);
Avi Kivityb5a33a72007-04-15 16:31:09 +03002850 if (!rmap_desc_cache)
2851 goto nomem;
2852
Avi Kivityd3d25b02007-05-30 12:34:53 +03002853 mmu_page_header_cache = kmem_cache_create("kvm_mmu_page_header",
2854 sizeof(struct kvm_mmu_page),
Paul Mundt20c2df82007-07-20 10:11:58 +09002855 0, 0, NULL);
Avi Kivityd3d25b02007-05-30 12:34:53 +03002856 if (!mmu_page_header_cache)
2857 goto nomem;
2858
Izik Eidus3ee16c82008-03-30 15:17:21 +03002859 register_shrinker(&mmu_shrinker);
2860
Avi Kivityb5a33a72007-04-15 16:31:09 +03002861 return 0;
2862
2863nomem:
Izik Eidus3ee16c82008-03-30 15:17:21 +03002864 mmu_destroy_caches();
Avi Kivityb5a33a72007-04-15 16:31:09 +03002865 return -ENOMEM;
2866}
2867
Zhang Xiantao3ad82a72007-11-20 13:11:38 +08002868/*
2869 * Caculate mmu pages needed for kvm.
2870 */
2871unsigned int kvm_mmu_calculate_mmu_pages(struct kvm *kvm)
2872{
2873 int i;
2874 unsigned int nr_mmu_pages;
2875 unsigned int nr_pages = 0;
2876
2877 for (i = 0; i < kvm->nmemslots; i++)
2878 nr_pages += kvm->memslots[i].npages;
2879
2880 nr_mmu_pages = nr_pages * KVM_PERMILLE_MMU_PAGES / 1000;
2881 nr_mmu_pages = max(nr_mmu_pages,
2882 (unsigned int) KVM_MIN_ALLOC_MMU_PAGES);
2883
2884 return nr_mmu_pages;
2885}
2886
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05002887static void *pv_mmu_peek_buffer(struct kvm_pv_mmu_op_buffer *buffer,
2888 unsigned len)
2889{
2890 if (len > buffer->len)
2891 return NULL;
2892 return buffer->ptr;
2893}
2894
2895static void *pv_mmu_read_buffer(struct kvm_pv_mmu_op_buffer *buffer,
2896 unsigned len)
2897{
2898 void *ret;
2899
2900 ret = pv_mmu_peek_buffer(buffer, len);
2901 if (!ret)
2902 return ret;
2903 buffer->ptr += len;
2904 buffer->len -= len;
2905 buffer->processed += len;
2906 return ret;
2907}
2908
2909static int kvm_pv_mmu_write(struct kvm_vcpu *vcpu,
2910 gpa_t addr, gpa_t value)
2911{
2912 int bytes = 8;
2913 int r;
2914
2915 if (!is_long_mode(vcpu) && !is_pae(vcpu))
2916 bytes = 4;
2917
2918 r = mmu_topup_memory_caches(vcpu);
2919 if (r)
2920 return r;
2921
Marcelo Tosatti3200f402008-03-29 20:17:59 -03002922 if (!emulator_write_phys(vcpu, addr, &value, bytes))
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05002923 return -EFAULT;
2924
2925 return 1;
2926}
2927
2928static int kvm_pv_mmu_flush_tlb(struct kvm_vcpu *vcpu)
2929{
Avi Kivitya8cd0242009-05-24 22:15:25 +03002930 kvm_set_cr3(vcpu, vcpu->arch.cr3);
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05002931 return 1;
2932}
2933
2934static int kvm_pv_mmu_release_pt(struct kvm_vcpu *vcpu, gpa_t addr)
2935{
2936 spin_lock(&vcpu->kvm->mmu_lock);
2937 mmu_unshadow(vcpu->kvm, addr >> PAGE_SHIFT);
2938 spin_unlock(&vcpu->kvm->mmu_lock);
2939 return 1;
2940}
2941
2942static int kvm_pv_mmu_op_one(struct kvm_vcpu *vcpu,
2943 struct kvm_pv_mmu_op_buffer *buffer)
2944{
2945 struct kvm_mmu_op_header *header;
2946
2947 header = pv_mmu_peek_buffer(buffer, sizeof *header);
2948 if (!header)
2949 return 0;
2950 switch (header->op) {
2951 case KVM_MMU_OP_WRITE_PTE: {
2952 struct kvm_mmu_op_write_pte *wpte;
2953
2954 wpte = pv_mmu_read_buffer(buffer, sizeof *wpte);
2955 if (!wpte)
2956 return 0;
2957 return kvm_pv_mmu_write(vcpu, wpte->pte_phys,
2958 wpte->pte_val);
2959 }
2960 case KVM_MMU_OP_FLUSH_TLB: {
2961 struct kvm_mmu_op_flush_tlb *ftlb;
2962
2963 ftlb = pv_mmu_read_buffer(buffer, sizeof *ftlb);
2964 if (!ftlb)
2965 return 0;
2966 return kvm_pv_mmu_flush_tlb(vcpu);
2967 }
2968 case KVM_MMU_OP_RELEASE_PT: {
2969 struct kvm_mmu_op_release_pt *rpt;
2970
2971 rpt = pv_mmu_read_buffer(buffer, sizeof *rpt);
2972 if (!rpt)
2973 return 0;
2974 return kvm_pv_mmu_release_pt(vcpu, rpt->pt_phys);
2975 }
2976 default: return 0;
2977 }
2978}
2979
2980int kvm_pv_mmu_op(struct kvm_vcpu *vcpu, unsigned long bytes,
2981 gpa_t addr, unsigned long *ret)
2982{
2983 int r;
Dave Hansen6ad18fb2008-08-11 10:01:49 -07002984 struct kvm_pv_mmu_op_buffer *buffer = &vcpu->arch.mmu_op_buffer;
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05002985
Dave Hansen6ad18fb2008-08-11 10:01:49 -07002986 buffer->ptr = buffer->buf;
2987 buffer->len = min_t(unsigned long, bytes, sizeof buffer->buf);
2988 buffer->processed = 0;
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05002989
Dave Hansen6ad18fb2008-08-11 10:01:49 -07002990 r = kvm_read_guest(vcpu->kvm, addr, buffer->buf, buffer->len);
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05002991 if (r)
2992 goto out;
2993
Dave Hansen6ad18fb2008-08-11 10:01:49 -07002994 while (buffer->len) {
2995 r = kvm_pv_mmu_op_one(vcpu, buffer);
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05002996 if (r < 0)
2997 goto out;
2998 if (r == 0)
2999 break;
3000 }
3001
3002 r = 1;
3003out:
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003004 *ret = buffer->processed;
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003005 return r;
3006}
3007
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003008#ifdef AUDIT
3009
3010static const char *audit_msg;
3011
3012static gva_t canonicalize(gva_t gva)
3013{
3014#ifdef CONFIG_X86_64
3015 gva = (long long)(gva << 16) >> 16;
3016#endif
3017 return gva;
3018}
3019
3020static void audit_mappings_page(struct kvm_vcpu *vcpu, u64 page_pte,
3021 gva_t va, int level)
3022{
3023 u64 *pt = __va(page_pte & PT64_BASE_ADDR_MASK);
3024 int i;
3025 gva_t va_delta = 1ul << (PAGE_SHIFT + 9 * (level - 1));
3026
3027 for (i = 0; i < PT64_ENT_PER_PAGE; ++i, va += va_delta) {
3028 u64 ent = pt[i];
3029
Avi Kivityc7addb92007-09-16 18:58:32 +02003030 if (ent == shadow_trap_nonpresent_pte)
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003031 continue;
3032
3033 va = canonicalize(va);
Avi Kivityc7addb92007-09-16 18:58:32 +02003034 if (level > 1) {
3035 if (ent == shadow_notrap_nonpresent_pte)
3036 printk(KERN_ERR "audit: (%s) nontrapping pte"
3037 " in nonleaf level: levels %d gva %lx"
3038 " level %d pte %llx\n", audit_msg,
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003039 vcpu->arch.mmu.root_level, va, level, ent);
Jan Kiszka34382532009-04-25 12:43:21 +02003040 else
3041 audit_mappings_page(vcpu, ent, va, level - 1);
Avi Kivityc7addb92007-09-16 18:58:32 +02003042 } else {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003043 gpa_t gpa = vcpu->arch.mmu.gva_to_gpa(vcpu, va);
Jan Kiszka34382532009-04-25 12:43:21 +02003044 gfn_t gfn = gpa >> PAGE_SHIFT;
3045 pfn_t pfn = gfn_to_pfn(vcpu->kvm, gfn);
3046 hpa_t hpa = (hpa_t)pfn << PAGE_SHIFT;
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003047
Avi Kivityc7addb92007-09-16 18:58:32 +02003048 if (is_shadow_present_pte(ent)
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003049 && (ent & PT64_BASE_ADDR_MASK) != hpa)
Avi Kivityc7addb92007-09-16 18:58:32 +02003050 printk(KERN_ERR "xx audit error: (%s) levels %d"
3051 " gva %lx gpa %llx hpa %llx ent %llx %d\n",
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003052 audit_msg, vcpu->arch.mmu.root_level,
Mike Dayd77c26f2007-10-08 09:02:08 -04003053 va, gpa, hpa, ent,
3054 is_shadow_present_pte(ent));
Avi Kivityc7addb92007-09-16 18:58:32 +02003055 else if (ent == shadow_notrap_nonpresent_pte
3056 && !is_error_hpa(hpa))
3057 printk(KERN_ERR "audit: (%s) notrap shadow,"
3058 " valid guest gva %lx\n", audit_msg, va);
Anthony Liguori35149e22008-04-02 14:46:56 -05003059 kvm_release_pfn_clean(pfn);
Avi Kivityc7addb92007-09-16 18:58:32 +02003060
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003061 }
3062 }
3063}
3064
3065static void audit_mappings(struct kvm_vcpu *vcpu)
3066{
Avi Kivity1ea252a2007-03-08 11:48:09 +02003067 unsigned i;
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003068
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003069 if (vcpu->arch.mmu.root_level == 4)
3070 audit_mappings_page(vcpu, vcpu->arch.mmu.root_hpa, 0, 4);
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003071 else
3072 for (i = 0; i < 4; ++i)
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003073 if (vcpu->arch.mmu.pae_root[i] & PT_PRESENT_MASK)
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003074 audit_mappings_page(vcpu,
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003075 vcpu->arch.mmu.pae_root[i],
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003076 i << 30,
3077 2);
3078}
3079
3080static int count_rmaps(struct kvm_vcpu *vcpu)
3081{
3082 int nmaps = 0;
3083 int i, j, k;
3084
3085 for (i = 0; i < KVM_MEMORY_SLOTS; ++i) {
3086 struct kvm_memory_slot *m = &vcpu->kvm->memslots[i];
3087 struct kvm_rmap_desc *d;
3088
3089 for (j = 0; j < m->npages; ++j) {
Izik Eidus290fc382007-09-27 14:11:22 +02003090 unsigned long *rmapp = &m->rmap[j];
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003091
Izik Eidus290fc382007-09-27 14:11:22 +02003092 if (!*rmapp)
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003093 continue;
Izik Eidus290fc382007-09-27 14:11:22 +02003094 if (!(*rmapp & 1)) {
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003095 ++nmaps;
3096 continue;
3097 }
Izik Eidus290fc382007-09-27 14:11:22 +02003098 d = (struct kvm_rmap_desc *)(*rmapp & ~1ul);
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003099 while (d) {
3100 for (k = 0; k < RMAP_EXT; ++k)
3101 if (d->shadow_ptes[k])
3102 ++nmaps;
3103 else
3104 break;
3105 d = d->more;
3106 }
3107 }
3108 }
3109 return nmaps;
3110}
3111
3112static int count_writable_mappings(struct kvm_vcpu *vcpu)
3113{
3114 int nmaps = 0;
Avi Kivity4db35312007-11-21 15:28:32 +02003115 struct kvm_mmu_page *sp;
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003116 int i;
3117
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08003118 list_for_each_entry(sp, &vcpu->kvm->arch.active_mmu_pages, link) {
Avi Kivity4db35312007-11-21 15:28:32 +02003119 u64 *pt = sp->spt;
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003120
Avi Kivity4db35312007-11-21 15:28:32 +02003121 if (sp->role.level != PT_PAGE_TABLE_LEVEL)
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003122 continue;
3123
3124 for (i = 0; i < PT64_ENT_PER_PAGE; ++i) {
3125 u64 ent = pt[i];
3126
3127 if (!(ent & PT_PRESENT_MASK))
3128 continue;
3129 if (!(ent & PT_WRITABLE_MASK))
3130 continue;
3131 ++nmaps;
3132 }
3133 }
3134 return nmaps;
3135}
3136
3137static void audit_rmap(struct kvm_vcpu *vcpu)
3138{
3139 int n_rmap = count_rmaps(vcpu);
3140 int n_actual = count_writable_mappings(vcpu);
3141
3142 if (n_rmap != n_actual)
3143 printk(KERN_ERR "%s: (%s) rmap %d actual %d\n",
Harvey Harrisonb8688d52008-03-03 12:59:56 -08003144 __func__, audit_msg, n_rmap, n_actual);
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003145}
3146
3147static void audit_write_protection(struct kvm_vcpu *vcpu)
3148{
Avi Kivity4db35312007-11-21 15:28:32 +02003149 struct kvm_mmu_page *sp;
Izik Eidus290fc382007-09-27 14:11:22 +02003150 struct kvm_memory_slot *slot;
3151 unsigned long *rmapp;
3152 gfn_t gfn;
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003153
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08003154 list_for_each_entry(sp, &vcpu->kvm->arch.active_mmu_pages, link) {
Avi Kivityf6e2c022009-01-11 13:02:10 +02003155 if (sp->role.direct)
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003156 continue;
3157
Avi Kivity4db35312007-11-21 15:28:32 +02003158 gfn = unalias_gfn(vcpu->kvm, sp->gfn);
Izik Eidus28430992008-10-03 17:40:32 +03003159 slot = gfn_to_memslot_unaliased(vcpu->kvm, sp->gfn);
Izik Eidus290fc382007-09-27 14:11:22 +02003160 rmapp = &slot->rmap[gfn - slot->base_gfn];
3161 if (*rmapp)
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003162 printk(KERN_ERR "%s: (%s) shadow page has writable"
3163 " mappings: gfn %lx role %x\n",
Harvey Harrisonb8688d52008-03-03 12:59:56 -08003164 __func__, audit_msg, sp->gfn,
Avi Kivity4db35312007-11-21 15:28:32 +02003165 sp->role.word);
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003166 }
3167}
3168
3169static void kvm_mmu_audit(struct kvm_vcpu *vcpu, const char *msg)
3170{
3171 int olddbg = dbg;
3172
3173 dbg = 0;
3174 audit_msg = msg;
3175 audit_rmap(vcpu);
3176 audit_write_protection(vcpu);
3177 audit_mappings(vcpu);
3178 dbg = olddbg;
3179}
3180
3181#endif