blob: 96a7ed4e6837d3da36e79364e947b0ca4bc3427a [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.
Nicolas Kaiser9611c182010-10-06 14:23:22 +020010 * Copyright 2010 Red Hat, Inc. and/or its affiliates.
Avi Kivity6aa8b732006-12-10 02:21:36 -080011 *
12 * Authors:
13 * Yaniv Kamay <yaniv@qumranet.com>
14 * Avi Kivity <avi@qumranet.com>
15 *
16 * This work is licensed under the terms of the GNU GPL, version 2. See
17 * the COPYING file in the top-level directory.
18 *
19 */
Avi Kivity6aa8b732006-12-10 02:21:36 -080020
Gleb Natapovaf585b92010-10-14 11:22:46 +020021#include "irq.h"
Zhang Xiantao1d737c82007-12-14 09:35:10 +080022#include "mmu.h"
Avi Kivity836a1b32010-01-21 15:31:49 +020023#include "x86.h"
Avi Kivity6de4f3a2009-05-31 22:58:47 +030024#include "kvm_cache_regs.h"
Gleb Natapovaf585b92010-10-14 11:22:46 +020025#include "x86.h"
Avi Kivity6aa8b732006-12-10 02:21:36 -080026
Avi Kivityedf88412007-12-16 11:02:48 +020027#include <linux/kvm_host.h>
Avi Kivitye4956062007-06-28 14:15:57 -040028#include <linux/types.h>
29#include <linux/string.h>
30#include <linux/mm.h>
31#include <linux/highmem.h>
32#include <linux/module.h>
Izik Eidus448353c2007-11-26 14:08:14 +020033#include <linux/swap.h>
Marcelo Tosatti05da4552008-02-23 11:44:30 -030034#include <linux/hugetlb.h>
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -050035#include <linux/compiler.h>
Marcelo Tosattibc6678a2009-12-23 14:35:21 -020036#include <linux/srcu.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090037#include <linux/slab.h>
Huang Yingbf998152010-05-31 14:28:19 +080038#include <linux/uaccess.h>
Avi Kivitye4956062007-06-28 14:15:57 -040039
40#include <asm/page.h>
41#include <asm/cmpxchg.h>
Avi Kivity4e542372007-11-21 14:08:40 +020042#include <asm/io.h>
Eduardo Habkost13673a92008-11-17 19:03:13 -020043#include <asm/vmx.h>
Avi Kivitye4956062007-06-28 14:15:57 -040044
Joerg Roedel18552672008-02-07 13:47:41 +010045/*
46 * When setting this variable to true it enables Two-Dimensional-Paging
47 * where the hardware walks 2 page tables:
48 * 1. the guest-virtual to guest-physical
49 * 2. while doing 1. it walks guest-physical to host-physical
50 * If the hardware supports that we don't need to do shadow paging.
51 */
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -050052bool tdp_enabled = false;
Joerg Roedel18552672008-02-07 13:47:41 +010053
Xiao Guangrong8b1fe172010-08-30 18:22:53 +080054enum {
55 AUDIT_PRE_PAGE_FAULT,
56 AUDIT_POST_PAGE_FAULT,
57 AUDIT_PRE_PTE_WRITE,
Xiao Guangrong69030742010-09-27 18:09:29 +080058 AUDIT_POST_PTE_WRITE,
59 AUDIT_PRE_SYNC,
60 AUDIT_POST_SYNC
Xiao Guangrong8b1fe172010-08-30 18:22:53 +080061};
62
63char *audit_point_name[] = {
64 "pre page fault",
65 "post page fault",
66 "pre pte write",
Xiao Guangrong69030742010-09-27 18:09:29 +080067 "post pte write",
68 "pre sync",
69 "post sync"
Xiao Guangrong8b1fe172010-08-30 18:22:53 +080070};
71
Avi Kivity37a7d8b2007-01-05 16:36:56 -080072#undef MMU_DEBUG
73
Avi Kivity37a7d8b2007-01-05 16:36:56 -080074#ifdef MMU_DEBUG
75
76#define pgprintk(x...) do { if (dbg) printk(x); } while (0)
77#define rmap_printk(x...) do { if (dbg) printk(x); } while (0)
78
79#else
80
81#define pgprintk(x...) do { } while (0)
82#define rmap_printk(x...) do { } while (0)
83
84#endif
85
Xiao Guangrong8b1fe172010-08-30 18:22:53 +080086#ifdef MMU_DEBUG
Avi Kivity6ada8cc2008-06-22 16:45:24 +030087static int dbg = 0;
88module_param(dbg, bool, 0644);
Avi Kivity37a7d8b2007-01-05 16:36:56 -080089#endif
Avi Kivity6aa8b732006-12-10 02:21:36 -080090
Marcelo Tosatti582801a2008-09-23 13:18:41 -030091static int oos_shadow = 1;
92module_param(oos_shadow, bool, 0644);
93
Yaozu Dongd6c69ee2007-04-25 14:17:25 +080094#ifndef MMU_DEBUG
95#define ASSERT(x) do { } while (0)
96#else
Avi Kivity6aa8b732006-12-10 02:21:36 -080097#define ASSERT(x) \
98 if (!(x)) { \
99 printk(KERN_WARNING "assertion failed %s:%d: %s\n", \
100 __FILE__, __LINE__, #x); \
101 }
Yaozu Dongd6c69ee2007-04-25 14:17:25 +0800102#endif
Avi Kivity6aa8b732006-12-10 02:21:36 -0800103
Xiao Guangrong957ed9e2010-08-22 19:12:48 +0800104#define PTE_PREFETCH_NUM 8
105
Avi Kivity6aa8b732006-12-10 02:21:36 -0800106#define PT_FIRST_AVAIL_BITS_SHIFT 9
107#define PT64_SECOND_AVAIL_BITS_SHIFT 52
108
Avi Kivity6aa8b732006-12-10 02:21:36 -0800109#define PT64_LEVEL_BITS 9
110
111#define PT64_LEVEL_SHIFT(level) \
Mike Dayd77c26f2007-10-08 09:02:08 -0400112 (PAGE_SHIFT + (level - 1) * PT64_LEVEL_BITS)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800113
Avi Kivity6aa8b732006-12-10 02:21:36 -0800114#define PT64_INDEX(address, level)\
115 (((address) >> PT64_LEVEL_SHIFT(level)) & ((1 << PT64_LEVEL_BITS) - 1))
116
117
118#define PT32_LEVEL_BITS 10
119
120#define PT32_LEVEL_SHIFT(level) \
Mike Dayd77c26f2007-10-08 09:02:08 -0400121 (PAGE_SHIFT + (level - 1) * PT32_LEVEL_BITS)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800122
Joerg Roedele04da982009-07-27 16:30:45 +0200123#define PT32_LVL_OFFSET_MASK(level) \
124 (PT32_BASE_ADDR_MASK & ((1ULL << (PAGE_SHIFT + (((level) - 1) \
125 * PT32_LEVEL_BITS))) - 1))
Avi Kivity6aa8b732006-12-10 02:21:36 -0800126
127#define PT32_INDEX(address, level)\
128 (((address) >> PT32_LEVEL_SHIFT(level)) & ((1 << PT32_LEVEL_BITS) - 1))
129
130
Avi Kivity27aba762007-03-09 13:04:31 +0200131#define PT64_BASE_ADDR_MASK (((1ULL << 52) - 1) & ~(u64)(PAGE_SIZE-1))
Avi Kivity6aa8b732006-12-10 02:21:36 -0800132#define PT64_DIR_BASE_ADDR_MASK \
133 (PT64_BASE_ADDR_MASK & ~((1ULL << (PAGE_SHIFT + PT64_LEVEL_BITS)) - 1))
Joerg Roedele04da982009-07-27 16:30:45 +0200134#define PT64_LVL_ADDR_MASK(level) \
135 (PT64_BASE_ADDR_MASK & ~((1ULL << (PAGE_SHIFT + (((level) - 1) \
136 * PT64_LEVEL_BITS))) - 1))
137#define PT64_LVL_OFFSET_MASK(level) \
138 (PT64_BASE_ADDR_MASK & ((1ULL << (PAGE_SHIFT + (((level) - 1) \
139 * PT64_LEVEL_BITS))) - 1))
Avi Kivity6aa8b732006-12-10 02:21:36 -0800140
141#define PT32_BASE_ADDR_MASK PAGE_MASK
142#define PT32_DIR_BASE_ADDR_MASK \
143 (PAGE_MASK & ~((1ULL << (PAGE_SHIFT + PT32_LEVEL_BITS)) - 1))
Joerg Roedele04da982009-07-27 16:30:45 +0200144#define PT32_LVL_ADDR_MASK(level) \
145 (PAGE_MASK & ~((1ULL << (PAGE_SHIFT + (((level) - 1) \
146 * PT32_LEVEL_BITS))) - 1))
Avi Kivity6aa8b732006-12-10 02:21:36 -0800147
Avi Kivity79539ce2007-11-21 02:06:21 +0200148#define PT64_PERM_MASK (PT_PRESENT_MASK | PT_WRITABLE_MASK | PT_USER_MASK \
149 | PT64_NX_MASK)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800150
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800151#define PTE_LIST_EXT 4
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800152
Avi Kivityfe135d22007-12-09 16:15:46 +0200153#define ACC_EXEC_MASK 1
154#define ACC_WRITE_MASK PT_WRITABLE_MASK
155#define ACC_USER_MASK PT_USER_MASK
156#define ACC_ALL (ACC_EXEC_MASK | ACC_WRITE_MASK | ACC_USER_MASK)
157
Avi Kivity90bb6fc2009-12-31 12:10:16 +0200158#include <trace/events/kvm.h>
159
Avi Kivity07420172009-07-06 12:21:32 +0300160#define CREATE_TRACE_POINTS
161#include "mmutrace.h"
162
Izik Eidus14032832009-09-23 21:47:17 +0300163#define SPTE_HOST_WRITEABLE (1ULL << PT_FIRST_AVAIL_BITS_SHIFT)
164
Avi Kivity135f8c22008-08-21 17:49:56 +0300165#define SHADOW_PT_INDEX(addr, level) PT64_INDEX(addr, level)
166
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800167struct pte_list_desc {
168 u64 *sptes[PTE_LIST_EXT];
169 struct pte_list_desc *more;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800170};
171
Avi Kivity2d111232008-12-25 14:39:47 +0200172struct kvm_shadow_walk_iterator {
173 u64 addr;
174 hpa_t shadow_addr;
175 int level;
176 u64 *sptep;
177 unsigned index;
178};
179
180#define for_each_shadow_entry(_vcpu, _addr, _walker) \
181 for (shadow_walk_init(&(_walker), _vcpu, _addr); \
182 shadow_walk_okay(&(_walker)); \
183 shadow_walk_next(&(_walker)))
184
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800185static struct kmem_cache *pte_list_desc_cache;
Avi Kivityd3d25b02007-05-30 12:34:53 +0300186static struct kmem_cache *mmu_page_header_cache;
Dave Hansen45221ab2010-08-19 18:11:37 -0700187static struct percpu_counter kvm_total_used_mmu_pages;
Avi Kivityb5a33a72007-04-15 16:31:09 +0300188
Sheng Yang7b523452008-04-25 21:13:50 +0800189static u64 __read_mostly shadow_nx_mask;
190static u64 __read_mostly shadow_x_mask; /* mutual exclusive with nx_mask */
191static u64 __read_mostly shadow_user_mask;
192static u64 __read_mostly shadow_accessed_mask;
193static u64 __read_mostly shadow_dirty_mask;
Avi Kivityc7addb92007-09-16 18:58:32 +0200194
Dong, Eddie82725b22009-03-30 16:21:08 +0800195static inline u64 rsvd_bits(int s, int e)
196{
197 return ((1ULL << (e - s + 1)) - 1) << s;
198}
199
Sheng Yang7b523452008-04-25 21:13:50 +0800200void 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_cpuid_PSE36(void)
212{
213 return 1;
214}
215
Avi Kivity73b10872007-01-26 00:56:41 -0800216static int is_nx(struct kvm_vcpu *vcpu)
217{
Avi Kivityf6801df2010-01-21 15:31:50 +0200218 return vcpu->arch.efer & EFER_NX;
Avi Kivity73b10872007-01-26 00:56:41 -0800219}
220
Avi Kivityc7addb92007-09-16 18:58:32 +0200221static int is_shadow_present_pte(u64 pte)
222{
Xiao Guangrongc3707952011-07-12 03:28:04 +0800223 return pte & PT_PRESENT_MASK;
Avi Kivityc7addb92007-09-16 18:58:32 +0200224}
225
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300226static int is_large_pte(u64 pte)
227{
228 return pte & PT_PAGE_SIZE_MASK;
229}
230
Avi Kivity43a37952009-06-10 14:12:05 +0300231static int is_dirty_gpte(unsigned long pte)
Avi Kivitye3c5e7ec2007-10-11 12:32:30 +0200232{
Avi Kivity439e2182009-06-10 12:56:54 +0300233 return pte & PT_DIRTY_MASK;
Avi Kivitye3c5e7ec2007-10-11 12:32:30 +0200234}
235
Avi Kivity43a37952009-06-10 14:12:05 +0300236static int is_rmap_spte(u64 pte)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800237{
Avi Kivity4b1a80f2008-03-23 12:18:19 +0200238 return is_shadow_present_pte(pte);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800239}
240
Marcelo Tosatti776e6632009-06-10 12:27:03 -0300241static int is_last_spte(u64 pte, int level)
242{
243 if (level == PT_PAGE_TABLE_LEVEL)
244 return 1;
Joerg Roedel852e3c12009-07-27 16:30:44 +0200245 if (is_large_pte(pte))
Marcelo Tosatti776e6632009-06-10 12:27:03 -0300246 return 1;
247 return 0;
248}
249
Anthony Liguori35149e22008-04-02 14:46:56 -0500250static pfn_t spte_to_pfn(u64 pte)
Avi Kivity0b49ea82008-03-23 15:06:23 +0200251{
Anthony Liguori35149e22008-04-02 14:46:56 -0500252 return (pte & PT64_BASE_ADDR_MASK) >> PAGE_SHIFT;
Avi Kivity0b49ea82008-03-23 15:06:23 +0200253}
254
Avi Kivityda928522007-11-21 13:54:47 +0200255static gfn_t pse36_gfn_delta(u32 gpte)
256{
257 int shift = 32 - PT32_DIR_PSE36_SHIFT - PAGE_SHIFT;
258
259 return (gpte & PT32_DIR_PSE36_MASK) << shift;
260}
261
Avi Kivityd555c332009-06-10 14:24:23 +0300262static void __set_spte(u64 *sptep, u64 spte)
Avi Kivitye663ee62007-05-31 15:46:04 +0300263{
H. Peter Anvin7645e432010-08-06 12:18:11 -0700264 set_64bit(sptep, spte);
Avi Kivitye663ee62007-05-31 15:46:04 +0300265}
266
Avi Kivitya9221dd2010-06-06 14:48:06 +0300267static u64 __xchg_spte(u64 *sptep, u64 new_spte)
268{
269#ifdef CONFIG_X86_64
270 return xchg(sptep, new_spte);
271#else
272 u64 old_spte;
273
274 do {
275 old_spte = *sptep;
276 } while (cmpxchg64(sptep, old_spte, new_spte) != old_spte);
277
278 return old_spte;
279#endif
280}
281
Xiao Guangrong8672b7212010-08-02 16:14:04 +0800282static bool spte_has_volatile_bits(u64 spte)
283{
284 if (!shadow_accessed_mask)
285 return false;
286
287 if (!is_shadow_present_pte(spte))
288 return false;
289
Xiao Guangrong41327792010-08-02 16:15:08 +0800290 if ((spte & shadow_accessed_mask) &&
291 (!is_writable_pte(spte) || (spte & shadow_dirty_mask)))
Xiao Guangrong8672b7212010-08-02 16:14:04 +0800292 return false;
293
294 return true;
295}
296
Xiao Guangrong41327792010-08-02 16:15:08 +0800297static bool spte_is_bit_cleared(u64 old_spte, u64 new_spte, u64 bit_mask)
298{
299 return (old_spte & bit_mask) && !(new_spte & bit_mask);
300}
301
Avi Kivityb79b93f2010-06-06 15:46:44 +0300302static void update_spte(u64 *sptep, u64 new_spte)
303{
Xiao Guangrong41327792010-08-02 16:15:08 +0800304 u64 mask, old_spte = *sptep;
Avi Kivityb79b93f2010-06-06 15:46:44 +0300305
Xiao Guangrong41327792010-08-02 16:15:08 +0800306 WARN_ON(!is_rmap_spte(new_spte));
307
308 new_spte |= old_spte & shadow_dirty_mask;
309
310 mask = shadow_accessed_mask;
311 if (is_writable_pte(old_spte))
312 mask |= shadow_dirty_mask;
313
314 if (!spte_has_volatile_bits(old_spte) || (new_spte & mask) == mask)
Avi Kivityb79b93f2010-06-06 15:46:44 +0300315 __set_spte(sptep, new_spte);
Xiao Guangrong41327792010-08-02 16:15:08 +0800316 else
Avi Kivityb79b93f2010-06-06 15:46:44 +0300317 old_spte = __xchg_spte(sptep, new_spte);
Xiao Guangrong41327792010-08-02 16:15:08 +0800318
319 if (!shadow_accessed_mask)
320 return;
321
322 if (spte_is_bit_cleared(old_spte, new_spte, shadow_accessed_mask))
323 kvm_set_pfn_accessed(spte_to_pfn(old_spte));
324 if (spte_is_bit_cleared(old_spte, new_spte, shadow_dirty_mask))
325 kvm_set_pfn_dirty(spte_to_pfn(old_spte));
Avi Kivityb79b93f2010-06-06 15:46:44 +0300326}
327
Avi Kivitye2dec932007-01-05 16:36:54 -0800328static int mmu_topup_memory_cache(struct kvm_mmu_memory_cache *cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300329 struct kmem_cache *base_cache, int min)
Avi Kivity714b93d2007-01-05 16:36:53 -0800330{
331 void *obj;
332
333 if (cache->nobjs >= min)
Avi Kivitye2dec932007-01-05 16:36:54 -0800334 return 0;
Avi Kivity714b93d2007-01-05 16:36:53 -0800335 while (cache->nobjs < ARRAY_SIZE(cache->objects)) {
Avi Kivity2e3e5882007-09-10 11:28:17 +0300336 obj = kmem_cache_zalloc(base_cache, GFP_KERNEL);
Avi Kivity714b93d2007-01-05 16:36:53 -0800337 if (!obj)
Avi Kivitye2dec932007-01-05 16:36:54 -0800338 return -ENOMEM;
Avi Kivity714b93d2007-01-05 16:36:53 -0800339 cache->objects[cache->nobjs++] = obj;
340 }
Avi Kivitye2dec932007-01-05 16:36:54 -0800341 return 0;
Avi Kivity714b93d2007-01-05 16:36:53 -0800342}
343
Xiao Guangronge8ad9a72010-05-13 10:06:02 +0800344static void mmu_free_memory_cache(struct kvm_mmu_memory_cache *mc,
345 struct kmem_cache *cache)
Avi Kivity714b93d2007-01-05 16:36:53 -0800346{
347 while (mc->nobjs)
Xiao Guangronge8ad9a72010-05-13 10:06:02 +0800348 kmem_cache_free(cache, mc->objects[--mc->nobjs]);
Avi Kivity714b93d2007-01-05 16:36:53 -0800349}
350
Avi Kivityc1158e62007-07-20 08:18:27 +0300351static int mmu_topup_memory_cache_page(struct kvm_mmu_memory_cache *cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300352 int min)
Avi Kivityc1158e62007-07-20 08:18:27 +0300353{
Xiao Guangrong842f22e2011-03-04 19:01:10 +0800354 void *page;
Avi Kivityc1158e62007-07-20 08:18:27 +0300355
356 if (cache->nobjs >= min)
357 return 0;
358 while (cache->nobjs < ARRAY_SIZE(cache->objects)) {
Xiao Guangrong842f22e2011-03-04 19:01:10 +0800359 page = (void *)__get_free_page(GFP_KERNEL);
Avi Kivityc1158e62007-07-20 08:18:27 +0300360 if (!page)
361 return -ENOMEM;
Xiao Guangrong842f22e2011-03-04 19:01:10 +0800362 cache->objects[cache->nobjs++] = page;
Avi Kivityc1158e62007-07-20 08:18:27 +0300363 }
364 return 0;
365}
366
367static void mmu_free_memory_cache_page(struct kvm_mmu_memory_cache *mc)
368{
369 while (mc->nobjs)
Avi Kivityc4d198d2007-07-21 09:06:46 +0300370 free_page((unsigned long)mc->objects[--mc->nobjs]);
Avi Kivityc1158e62007-07-20 08:18:27 +0300371}
372
Avi Kivity8c438502007-04-16 11:53:17 +0300373static int mmu_topup_memory_caches(struct kvm_vcpu *vcpu)
374{
375 int r;
376
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800377 r = mmu_topup_memory_cache(&vcpu->arch.mmu_pte_list_desc_cache,
Xiao Guangrong67052b32011-05-15 23:27:08 +0800378 pte_list_desc_cache, 8 + PTE_PREFETCH_NUM);
Avi Kivity2e3e5882007-09-10 11:28:17 +0300379 if (r)
380 goto out;
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800381 r = mmu_topup_memory_cache_page(&vcpu->arch.mmu_page_cache, 8);
Avi Kivity2e3e5882007-09-10 11:28:17 +0300382 if (r)
383 goto out;
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800384 r = mmu_topup_memory_cache(&vcpu->arch.mmu_page_header_cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300385 mmu_page_header_cache, 4);
386out:
Avi Kivity8c438502007-04-16 11:53:17 +0300387 return r;
388}
389
Avi Kivity714b93d2007-01-05 16:36:53 -0800390static void mmu_free_memory_caches(struct kvm_vcpu *vcpu)
391{
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800392 mmu_free_memory_cache(&vcpu->arch.mmu_pte_list_desc_cache,
393 pte_list_desc_cache);
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800394 mmu_free_memory_cache_page(&vcpu->arch.mmu_page_cache);
Xiao Guangronge8ad9a72010-05-13 10:06:02 +0800395 mmu_free_memory_cache(&vcpu->arch.mmu_page_header_cache,
396 mmu_page_header_cache);
Avi Kivity714b93d2007-01-05 16:36:53 -0800397}
398
399static void *mmu_memory_cache_alloc(struct kvm_mmu_memory_cache *mc,
400 size_t size)
401{
402 void *p;
403
404 BUG_ON(!mc->nobjs);
405 p = mc->objects[--mc->nobjs];
Avi Kivity714b93d2007-01-05 16:36:53 -0800406 return p;
407}
408
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800409static struct pte_list_desc *mmu_alloc_pte_list_desc(struct kvm_vcpu *vcpu)
Avi Kivity714b93d2007-01-05 16:36:53 -0800410{
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800411 return mmu_memory_cache_alloc(&vcpu->arch.mmu_pte_list_desc_cache,
412 sizeof(struct pte_list_desc));
Avi Kivity714b93d2007-01-05 16:36:53 -0800413}
414
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800415static void mmu_free_pte_list_desc(struct pte_list_desc *pte_list_desc)
Avi Kivity714b93d2007-01-05 16:36:53 -0800416{
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800417 kmem_cache_free(pte_list_desc_cache, pte_list_desc);
Avi Kivity714b93d2007-01-05 16:36:53 -0800418}
419
Lai Jiangshan2032a932010-05-26 16:49:59 +0800420static gfn_t kvm_mmu_page_get_gfn(struct kvm_mmu_page *sp, int index)
421{
422 if (!sp->role.direct)
423 return sp->gfns[index];
424
425 return sp->gfn + (index << ((sp->role.level - 1) * PT64_LEVEL_BITS));
426}
427
428static void kvm_mmu_page_set_gfn(struct kvm_mmu_page *sp, int index, gfn_t gfn)
429{
430 if (sp->role.direct)
431 BUG_ON(gfn != kvm_mmu_page_get_gfn(sp, index));
432 else
433 sp->gfns[index] = gfn;
434}
435
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800436/*
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900437 * Return the pointer to the large page information for a given gfn,
438 * handling slots that are not large page aligned.
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300439 */
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900440static struct kvm_lpage_info *lpage_info_slot(gfn_t gfn,
441 struct kvm_memory_slot *slot,
442 int level)
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300443{
444 unsigned long idx;
445
Joerg Roedel82855412010-07-01 16:00:11 +0200446 idx = (gfn >> KVM_HPAGE_GFN_SHIFT(level)) -
447 (slot->base_gfn >> KVM_HPAGE_GFN_SHIFT(level));
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900448 return &slot->lpage_info[level - 2][idx];
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300449}
450
451static void account_shadowed(struct kvm *kvm, gfn_t gfn)
452{
Joerg Roedeld25797b2009-07-27 16:30:43 +0200453 struct kvm_memory_slot *slot;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900454 struct kvm_lpage_info *linfo;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200455 int i;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300456
Avi Kivitya1f4d3952010-06-21 11:44:20 +0300457 slot = gfn_to_memslot(kvm, gfn);
Joerg Roedeld25797b2009-07-27 16:30:43 +0200458 for (i = PT_DIRECTORY_LEVEL;
459 i < PT_PAGE_TABLE_LEVEL + KVM_NR_PAGE_SIZES; ++i) {
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900460 linfo = lpage_info_slot(gfn, slot, i);
461 linfo->write_count += 1;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200462 }
Xiao Guangrong332b2072011-05-15 23:20:27 +0800463 kvm->arch.indirect_shadow_pages++;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300464}
465
466static void unaccount_shadowed(struct kvm *kvm, gfn_t gfn)
467{
Joerg Roedeld25797b2009-07-27 16:30:43 +0200468 struct kvm_memory_slot *slot;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900469 struct kvm_lpage_info *linfo;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200470 int i;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300471
Avi Kivitya1f4d3952010-06-21 11:44:20 +0300472 slot = gfn_to_memslot(kvm, gfn);
Joerg Roedeld25797b2009-07-27 16:30:43 +0200473 for (i = PT_DIRECTORY_LEVEL;
474 i < PT_PAGE_TABLE_LEVEL + KVM_NR_PAGE_SIZES; ++i) {
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900475 linfo = lpage_info_slot(gfn, slot, i);
476 linfo->write_count -= 1;
477 WARN_ON(linfo->write_count < 0);
Joerg Roedeld25797b2009-07-27 16:30:43 +0200478 }
Xiao Guangrong332b2072011-05-15 23:20:27 +0800479 kvm->arch.indirect_shadow_pages--;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300480}
481
Joerg Roedeld25797b2009-07-27 16:30:43 +0200482static int has_wrprotected_page(struct kvm *kvm,
483 gfn_t gfn,
484 int level)
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300485{
Izik Eidus28430992008-10-03 17:40:32 +0300486 struct kvm_memory_slot *slot;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900487 struct kvm_lpage_info *linfo;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300488
Avi Kivitya1f4d3952010-06-21 11:44:20 +0300489 slot = gfn_to_memslot(kvm, gfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300490 if (slot) {
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900491 linfo = lpage_info_slot(gfn, slot, level);
492 return linfo->write_count;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300493 }
494
495 return 1;
496}
497
Joerg Roedeld25797b2009-07-27 16:30:43 +0200498static int host_mapping_level(struct kvm *kvm, gfn_t gfn)
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300499{
Joerg Roedel8f0b1ab2010-01-28 12:37:56 +0100500 unsigned long page_size;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200501 int i, ret = 0;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300502
Joerg Roedel8f0b1ab2010-01-28 12:37:56 +0100503 page_size = kvm_host_page_size(kvm, gfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300504
Joerg Roedeld25797b2009-07-27 16:30:43 +0200505 for (i = PT_PAGE_TABLE_LEVEL;
506 i < (PT_PAGE_TABLE_LEVEL + KVM_NR_PAGE_SIZES); ++i) {
507 if (page_size >= KVM_HPAGE_SIZE(i))
508 ret = i;
509 else
510 break;
511 }
512
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -0300513 return ret;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300514}
515
Xiao Guangrong5d163b12011-03-09 15:43:00 +0800516static struct kvm_memory_slot *
517gfn_to_memslot_dirty_bitmap(struct kvm_vcpu *vcpu, gfn_t gfn,
518 bool no_dirty_log)
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300519{
520 struct kvm_memory_slot *slot;
Xiao Guangrong5d163b12011-03-09 15:43:00 +0800521
522 slot = gfn_to_memslot(vcpu->kvm, gfn);
523 if (!slot || slot->flags & KVM_MEMSLOT_INVALID ||
524 (no_dirty_log && slot->dirty_bitmap))
525 slot = NULL;
526
527 return slot;
528}
529
530static bool mapping_level_dirty_bitmap(struct kvm_vcpu *vcpu, gfn_t large_gfn)
531{
Stevea0a8eab2011-06-17 10:25:39 +0800532 return !gfn_to_memslot_dirty_bitmap(vcpu, large_gfn, true);
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -0800533}
534
535static int mapping_level(struct kvm_vcpu *vcpu, gfn_t large_gfn)
536{
537 int host_level, level, max_level;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300538
Joerg Roedeld25797b2009-07-27 16:30:43 +0200539 host_level = host_mapping_level(vcpu->kvm, large_gfn);
540
541 if (host_level == PT_PAGE_TABLE_LEVEL)
542 return host_level;
543
Sheng Yang878403b2010-01-05 19:02:29 +0800544 max_level = kvm_x86_ops->get_lpage_level() < host_level ?
545 kvm_x86_ops->get_lpage_level() : host_level;
546
547 for (level = PT_DIRECTORY_LEVEL; level <= max_level; ++level)
Joerg Roedeld25797b2009-07-27 16:30:43 +0200548 if (has_wrprotected_page(vcpu->kvm, large_gfn, level))
549 break;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200550
551 return level - 1;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300552}
553
554/*
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800555 * Pte mapping structures:
556 *
557 * If pte_list bit zero is zero, then pte_list point to the spte.
558 *
559 * If pte_list bit zero is one, (then pte_list & ~1) points to a struct
560 * pte_list_desc containing more mappings.
561 *
562 * Returns the number of pte entries before the spte was added or zero if
563 * the spte was not added.
564 *
565 */
566static int pte_list_add(struct kvm_vcpu *vcpu, u64 *spte,
567 unsigned long *pte_list)
568{
569 struct pte_list_desc *desc;
570 int i, count = 0;
571
572 if (!*pte_list) {
573 rmap_printk("pte_list_add: %p %llx 0->1\n", spte, *spte);
574 *pte_list = (unsigned long)spte;
575 } else if (!(*pte_list & 1)) {
576 rmap_printk("pte_list_add: %p %llx 1->many\n", spte, *spte);
577 desc = mmu_alloc_pte_list_desc(vcpu);
578 desc->sptes[0] = (u64 *)*pte_list;
579 desc->sptes[1] = spte;
580 *pte_list = (unsigned long)desc | 1;
581 ++count;
582 } else {
583 rmap_printk("pte_list_add: %p %llx many->many\n", spte, *spte);
584 desc = (struct pte_list_desc *)(*pte_list & ~1ul);
585 while (desc->sptes[PTE_LIST_EXT-1] && desc->more) {
586 desc = desc->more;
587 count += PTE_LIST_EXT;
588 }
589 if (desc->sptes[PTE_LIST_EXT-1]) {
590 desc->more = mmu_alloc_pte_list_desc(vcpu);
591 desc = desc->more;
592 }
593 for (i = 0; desc->sptes[i]; ++i)
594 ++count;
595 desc->sptes[i] = spte;
596 }
597 return count;
598}
599
600static u64 *pte_list_next(unsigned long *pte_list, u64 *spte)
601{
602 struct pte_list_desc *desc;
603 u64 *prev_spte;
604 int i;
605
606 if (!*pte_list)
607 return NULL;
608 else if (!(*pte_list & 1)) {
609 if (!spte)
610 return (u64 *)*pte_list;
611 return NULL;
612 }
613 desc = (struct pte_list_desc *)(*pte_list & ~1ul);
614 prev_spte = NULL;
615 while (desc) {
616 for (i = 0; i < PTE_LIST_EXT && desc->sptes[i]; ++i) {
617 if (prev_spte == spte)
618 return desc->sptes[i];
619 prev_spte = desc->sptes[i];
620 }
621 desc = desc->more;
622 }
623 return NULL;
624}
625
626static void
627pte_list_desc_remove_entry(unsigned long *pte_list, struct pte_list_desc *desc,
628 int i, struct pte_list_desc *prev_desc)
629{
630 int j;
631
632 for (j = PTE_LIST_EXT - 1; !desc->sptes[j] && j > i; --j)
633 ;
634 desc->sptes[i] = desc->sptes[j];
635 desc->sptes[j] = NULL;
636 if (j != 0)
637 return;
638 if (!prev_desc && !desc->more)
639 *pte_list = (unsigned long)desc->sptes[0];
640 else
641 if (prev_desc)
642 prev_desc->more = desc->more;
643 else
644 *pte_list = (unsigned long)desc->more | 1;
645 mmu_free_pte_list_desc(desc);
646}
647
648static void pte_list_remove(u64 *spte, unsigned long *pte_list)
649{
650 struct pte_list_desc *desc;
651 struct pte_list_desc *prev_desc;
652 int i;
653
654 if (!*pte_list) {
655 printk(KERN_ERR "pte_list_remove: %p 0->BUG\n", spte);
656 BUG();
657 } else if (!(*pte_list & 1)) {
658 rmap_printk("pte_list_remove: %p 1->0\n", spte);
659 if ((u64 *)*pte_list != spte) {
660 printk(KERN_ERR "pte_list_remove: %p 1->BUG\n", spte);
661 BUG();
662 }
663 *pte_list = 0;
664 } else {
665 rmap_printk("pte_list_remove: %p many->many\n", spte);
666 desc = (struct pte_list_desc *)(*pte_list & ~1ul);
667 prev_desc = NULL;
668 while (desc) {
669 for (i = 0; i < PTE_LIST_EXT && desc->sptes[i]; ++i)
670 if (desc->sptes[i] == spte) {
671 pte_list_desc_remove_entry(pte_list,
672 desc, i,
673 prev_desc);
674 return;
675 }
676 prev_desc = desc;
677 desc = desc->more;
678 }
679 pr_err("pte_list_remove: %p many->many\n", spte);
680 BUG();
681 }
682}
683
Xiao Guangrong67052b32011-05-15 23:27:08 +0800684typedef void (*pte_list_walk_fn) (u64 *spte);
685static void pte_list_walk(unsigned long *pte_list, pte_list_walk_fn fn)
686{
687 struct pte_list_desc *desc;
688 int i;
689
690 if (!*pte_list)
691 return;
692
693 if (!(*pte_list & 1))
694 return fn((u64 *)*pte_list);
695
696 desc = (struct pte_list_desc *)(*pte_list & ~1ul);
697 while (desc) {
698 for (i = 0; i < PTE_LIST_EXT && desc->sptes[i]; ++i)
699 fn(desc->sptes[i]);
700 desc = desc->more;
701 }
702}
703
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800704/*
Izik Eidus290fc382007-09-27 14:11:22 +0200705 * Take gfn and return the reverse mapping to it.
Izik Eidus290fc382007-09-27 14:11:22 +0200706 */
Joerg Roedel44ad9942009-07-27 16:30:42 +0200707static unsigned long *gfn_to_rmap(struct kvm *kvm, gfn_t gfn, int level)
Izik Eidus290fc382007-09-27 14:11:22 +0200708{
709 struct kvm_memory_slot *slot;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900710 struct kvm_lpage_info *linfo;
Izik Eidus290fc382007-09-27 14:11:22 +0200711
712 slot = gfn_to_memslot(kvm, gfn);
Joerg Roedel44ad9942009-07-27 16:30:42 +0200713 if (likely(level == PT_PAGE_TABLE_LEVEL))
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300714 return &slot->rmap[gfn - slot->base_gfn];
715
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900716 linfo = lpage_info_slot(gfn, slot, level);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300717
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900718 return &linfo->rmap_pde;
Izik Eidus290fc382007-09-27 14:11:22 +0200719}
720
Joerg Roedel44ad9942009-07-27 16:30:42 +0200721static int rmap_add(struct kvm_vcpu *vcpu, u64 *spte, gfn_t gfn)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800722{
Avi Kivity4db35312007-11-21 15:28:32 +0200723 struct kvm_mmu_page *sp;
Izik Eidus290fc382007-09-27 14:11:22 +0200724 unsigned long *rmapp;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800725
Avi Kivity4db35312007-11-21 15:28:32 +0200726 sp = page_header(__pa(spte));
Lai Jiangshan2032a932010-05-26 16:49:59 +0800727 kvm_mmu_page_set_gfn(sp, spte - sp->spt, gfn);
Joerg Roedel44ad9942009-07-27 16:30:42 +0200728 rmapp = gfn_to_rmap(vcpu->kvm, gfn, sp->role.level);
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800729 return pte_list_add(vcpu, spte, rmapp);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800730}
731
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800732static u64 *rmap_next(struct kvm *kvm, unsigned long *rmapp, u64 *spte)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800733{
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800734 return pte_list_next(rmapp, spte);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800735}
736
Izik Eidus290fc382007-09-27 14:11:22 +0200737static void rmap_remove(struct kvm *kvm, u64 *spte)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800738{
Avi Kivity4db35312007-11-21 15:28:32 +0200739 struct kvm_mmu_page *sp;
Lai Jiangshan2032a932010-05-26 16:49:59 +0800740 gfn_t gfn;
Izik Eidus290fc382007-09-27 14:11:22 +0200741 unsigned long *rmapp;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800742
Avi Kivity4db35312007-11-21 15:28:32 +0200743 sp = page_header(__pa(spte));
Lai Jiangshan2032a932010-05-26 16:49:59 +0800744 gfn = kvm_mmu_page_get_gfn(sp, spte - sp->spt);
745 rmapp = gfn_to_rmap(kvm, gfn, sp->role.level);
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800746 pte_list_remove(spte, rmapp);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800747}
748
Marcelo Tosattieb45fda2010-10-25 11:58:22 -0200749static int set_spte_track_bits(u64 *sptep, u64 new_spte)
Avi Kivitybe38d272010-06-06 14:31:27 +0300750{
Avi Kivityce061862010-06-06 14:38:12 +0300751 pfn_t pfn;
Xiao Guangrong9a3aad72010-07-16 11:30:18 +0800752 u64 old_spte = *sptep;
Avi Kivityce061862010-06-06 14:38:12 +0300753
Xiao Guangrong8672b7212010-08-02 16:14:04 +0800754 if (!spte_has_volatile_bits(old_spte))
Xiao Guangrong9a3aad72010-07-16 11:30:18 +0800755 __set_spte(sptep, new_spte);
Xiao Guangrong8672b7212010-08-02 16:14:04 +0800756 else
Xiao Guangrong9a3aad72010-07-16 11:30:18 +0800757 old_spte = __xchg_spte(sptep, new_spte);
758
Avi Kivitya9221dd2010-06-06 14:48:06 +0300759 if (!is_rmap_spte(old_spte))
Marcelo Tosattieb45fda2010-10-25 11:58:22 -0200760 return 0;
Xiao Guangrong8672b7212010-08-02 16:14:04 +0800761
Avi Kivitya9221dd2010-06-06 14:48:06 +0300762 pfn = spte_to_pfn(old_spte);
Xiao Guangrongdaa3db62010-07-16 11:23:04 +0800763 if (!shadow_accessed_mask || old_spte & shadow_accessed_mask)
Avi Kivityce061862010-06-06 14:38:12 +0300764 kvm_set_pfn_accessed(pfn);
Xiao Guangrong41327792010-08-02 16:15:08 +0800765 if (!shadow_dirty_mask || (old_spte & shadow_dirty_mask))
Avi Kivityce061862010-06-06 14:38:12 +0300766 kvm_set_pfn_dirty(pfn);
Marcelo Tosattieb45fda2010-10-25 11:58:22 -0200767 return 1;
Xiao Guangronge4b502e2010-07-16 11:28:09 +0800768}
769
Xiao Guangrongc3707952011-07-12 03:28:04 +0800770static void drop_spte(struct kvm *kvm, u64 *sptep)
Xiao Guangronge4b502e2010-07-16 11:28:09 +0800771{
Xiao Guangrongc3707952011-07-12 03:28:04 +0800772 if (set_spte_track_bits(sptep, 0ull))
Marcelo Tosattieb45fda2010-10-25 11:58:22 -0200773 rmap_remove(kvm, sptep);
Avi Kivitybe38d272010-06-06 14:31:27 +0300774}
775
Marcelo Tosattib1a36822008-12-01 22:32:03 -0200776static int rmap_write_protect(struct kvm *kvm, u64 gfn)
Izik Eidus98348e92007-10-16 14:42:30 +0200777{
Izik Eidus290fc382007-09-27 14:11:22 +0200778 unsigned long *rmapp;
Avi Kivity374cbac2007-01-05 16:36:43 -0800779 u64 *spte;
Joerg Roedel44ad9942009-07-27 16:30:42 +0200780 int i, write_protected = 0;
Avi Kivity374cbac2007-01-05 16:36:43 -0800781
Joerg Roedel44ad9942009-07-27 16:30:42 +0200782 rmapp = gfn_to_rmap(kvm, gfn, PT_PAGE_TABLE_LEVEL);
Avi Kivity374cbac2007-01-05 16:36:43 -0800783
Izik Eidus98348e92007-10-16 14:42:30 +0200784 spte = rmap_next(kvm, rmapp, NULL);
785 while (spte) {
Avi Kivity374cbac2007-01-05 16:36:43 -0800786 BUG_ON(!spte);
Avi Kivity374cbac2007-01-05 16:36:43 -0800787 BUG_ON(!(*spte & PT_PRESENT_MASK));
Avi Kivity374cbac2007-01-05 16:36:43 -0800788 rmap_printk("rmap_write_protect: spte %p %llx\n", spte, *spte);
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +0900789 if (is_writable_pte(*spte)) {
Avi Kivityb79b93f2010-06-06 15:46:44 +0300790 update_spte(spte, *spte & ~PT_WRITABLE_MASK);
Eddie Dongcaa5b8a2007-12-18 06:08:27 +0800791 write_protected = 1;
792 }
Izik Eidus9647c142007-10-16 14:43:46 +0200793 spte = rmap_next(kvm, rmapp, spte);
Avi Kivity374cbac2007-01-05 16:36:43 -0800794 }
Izik Eidus855149a2008-03-20 18:17:24 +0200795
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300796 /* check for huge page mappings */
Joerg Roedel44ad9942009-07-27 16:30:42 +0200797 for (i = PT_DIRECTORY_LEVEL;
798 i < PT_PAGE_TABLE_LEVEL + KVM_NR_PAGE_SIZES; ++i) {
799 rmapp = gfn_to_rmap(kvm, gfn, i);
800 spte = rmap_next(kvm, rmapp, NULL);
801 while (spte) {
802 BUG_ON(!spte);
803 BUG_ON(!(*spte & PT_PRESENT_MASK));
804 BUG_ON((*spte & (PT_PAGE_SIZE_MASK|PT_PRESENT_MASK)) != (PT_PAGE_SIZE_MASK|PT_PRESENT_MASK));
805 pgprintk("rmap_write_protect(large): spte %p %llx %lld\n", spte, *spte, gfn);
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +0900806 if (is_writable_pte(*spte)) {
Xiao Guangrongc3707952011-07-12 03:28:04 +0800807 drop_spte(kvm, spte);
Joerg Roedel44ad9942009-07-27 16:30:42 +0200808 --kvm->stat.lpages;
Joerg Roedel44ad9942009-07-27 16:30:42 +0200809 spte = NULL;
810 write_protected = 1;
811 }
812 spte = rmap_next(kvm, rmapp, spte);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300813 }
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300814 }
815
Marcelo Tosattib1a36822008-12-01 22:32:03 -0200816 return write_protected;
Avi Kivity374cbac2007-01-05 16:36:43 -0800817}
818
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000819static int kvm_unmap_rmapp(struct kvm *kvm, unsigned long *rmapp,
820 unsigned long data)
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200821{
822 u64 *spte;
823 int need_tlb_flush = 0;
824
825 while ((spte = rmap_next(kvm, rmapp, NULL))) {
826 BUG_ON(!(*spte & PT_PRESENT_MASK));
827 rmap_printk("kvm_rmap_unmap_hva: spte %p %llx\n", spte, *spte);
Xiao Guangrongc3707952011-07-12 03:28:04 +0800828 drop_spte(kvm, spte);
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200829 need_tlb_flush = 1;
830 }
831 return need_tlb_flush;
832}
833
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000834static int kvm_set_pte_rmapp(struct kvm *kvm, unsigned long *rmapp,
835 unsigned long data)
Izik Eidus3da0dd42009-09-23 21:47:18 +0300836{
837 int need_flush = 0;
Xiao Guangronge4b502e2010-07-16 11:28:09 +0800838 u64 *spte, new_spte;
Izik Eidus3da0dd42009-09-23 21:47:18 +0300839 pte_t *ptep = (pte_t *)data;
840 pfn_t new_pfn;
841
842 WARN_ON(pte_huge(*ptep));
843 new_pfn = pte_pfn(*ptep);
844 spte = rmap_next(kvm, rmapp, NULL);
845 while (spte) {
846 BUG_ON(!is_shadow_present_pte(*spte));
847 rmap_printk("kvm_set_pte_rmapp: spte %p %llx\n", spte, *spte);
848 need_flush = 1;
849 if (pte_write(*ptep)) {
Xiao Guangrongc3707952011-07-12 03:28:04 +0800850 drop_spte(kvm, spte);
Izik Eidus3da0dd42009-09-23 21:47:18 +0300851 spte = rmap_next(kvm, rmapp, NULL);
852 } else {
853 new_spte = *spte &~ (PT64_BASE_ADDR_MASK);
854 new_spte |= (u64)new_pfn << PAGE_SHIFT;
855
856 new_spte &= ~PT_WRITABLE_MASK;
857 new_spte &= ~SPTE_HOST_WRITEABLE;
Avi Kivityb79b93f2010-06-06 15:46:44 +0300858 new_spte &= ~shadow_accessed_mask;
Xiao Guangronge4b502e2010-07-16 11:28:09 +0800859 set_spte_track_bits(spte, new_spte);
Izik Eidus3da0dd42009-09-23 21:47:18 +0300860 spte = rmap_next(kvm, rmapp, spte);
861 }
862 }
863 if (need_flush)
864 kvm_flush_remote_tlbs(kvm);
865
866 return 0;
867}
868
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000869static int kvm_handle_hva(struct kvm *kvm, unsigned long hva,
870 unsigned long data,
Izik Eidus3da0dd42009-09-23 21:47:18 +0300871 int (*handler)(struct kvm *kvm, unsigned long *rmapp,
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000872 unsigned long data))
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200873{
Joerg Roedel852e3c12009-07-27 16:30:44 +0200874 int i, j;
Avi Kivity90bb6fc2009-12-31 12:10:16 +0200875 int ret;
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200876 int retval = 0;
Marcelo Tosattibc6678a2009-12-23 14:35:21 -0200877 struct kvm_memslots *slots;
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200878
Lai Jiangshan90d83dc2010-04-19 17:41:23 +0800879 slots = kvm_memslots(kvm);
Marcelo Tosattibc6678a2009-12-23 14:35:21 -0200880
Marcelo Tosatti46a26bf2009-12-23 14:35:16 -0200881 for (i = 0; i < slots->nmemslots; i++) {
882 struct kvm_memory_slot *memslot = &slots->memslots[i];
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200883 unsigned long start = memslot->userspace_addr;
884 unsigned long end;
885
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200886 end = start + (memslot->npages << PAGE_SHIFT);
887 if (hva >= start && hva < end) {
888 gfn_t gfn_offset = (hva - start) >> PAGE_SHIFT;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900889 gfn_t gfn = memslot->base_gfn + gfn_offset;
Joerg Roedel852e3c12009-07-27 16:30:44 +0200890
Avi Kivity90bb6fc2009-12-31 12:10:16 +0200891 ret = handler(kvm, &memslot->rmap[gfn_offset], data);
Joerg Roedel852e3c12009-07-27 16:30:44 +0200892
893 for (j = 0; j < KVM_NR_PAGE_SIZES - 1; ++j) {
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900894 struct kvm_lpage_info *linfo;
Andrea Arcangeli6e3e2432010-07-16 11:52:55 +0200895
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900896 linfo = lpage_info_slot(gfn, memslot,
897 PT_DIRECTORY_LEVEL + j);
898 ret |= handler(kvm, &linfo->rmap_pde, data);
Joerg Roedel852e3c12009-07-27 16:30:44 +0200899 }
Avi Kivity90bb6fc2009-12-31 12:10:16 +0200900 trace_kvm_age_page(hva, memslot, ret);
901 retval |= ret;
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200902 }
903 }
904
905 return retval;
906}
907
908int kvm_unmap_hva(struct kvm *kvm, unsigned long hva)
909{
Izik Eidus3da0dd42009-09-23 21:47:18 +0300910 return kvm_handle_hva(kvm, hva, 0, kvm_unmap_rmapp);
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200911}
912
Izik Eidus3da0dd42009-09-23 21:47:18 +0300913void kvm_set_spte_hva(struct kvm *kvm, unsigned long hva, pte_t pte)
914{
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000915 kvm_handle_hva(kvm, hva, (unsigned long)&pte, kvm_set_pte_rmapp);
Izik Eidus3da0dd42009-09-23 21:47:18 +0300916}
917
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000918static int kvm_age_rmapp(struct kvm *kvm, unsigned long *rmapp,
919 unsigned long data)
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200920{
921 u64 *spte;
922 int young = 0;
923
Rik van Riel6316e1c2010-02-03 16:11:03 -0500924 /*
925 * Emulate the accessed bit for EPT, by checking if this page has
926 * an EPT mapping, and clearing it if it does. On the next access,
927 * a new EPT mapping will be established.
928 * This has some overhead, but not as much as the cost of swapping
929 * out actively used pages or breaking up actively used hugepages.
930 */
Sheng Yang534e38b2008-09-08 15:12:30 +0800931 if (!shadow_accessed_mask)
Rik van Riel6316e1c2010-02-03 16:11:03 -0500932 return kvm_unmap_rmapp(kvm, rmapp, data);
Sheng Yang534e38b2008-09-08 15:12:30 +0800933
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200934 spte = rmap_next(kvm, rmapp, NULL);
935 while (spte) {
936 int _young;
937 u64 _spte = *spte;
938 BUG_ON(!(_spte & PT_PRESENT_MASK));
939 _young = _spte & PT_ACCESSED_MASK;
940 if (_young) {
941 young = 1;
942 clear_bit(PT_ACCESSED_SHIFT, (unsigned long *)spte);
943 }
944 spte = rmap_next(kvm, rmapp, spte);
945 }
946 return young;
947}
948
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800949static int kvm_test_age_rmapp(struct kvm *kvm, unsigned long *rmapp,
950 unsigned long data)
951{
952 u64 *spte;
953 int young = 0;
954
955 /*
956 * If there's no access bit in the secondary pte set by the
957 * hardware it's up to gup-fast/gup to set the access bit in
958 * the primary pte or in the page structure.
959 */
960 if (!shadow_accessed_mask)
961 goto out;
962
963 spte = rmap_next(kvm, rmapp, NULL);
964 while (spte) {
965 u64 _spte = *spte;
966 BUG_ON(!(_spte & PT_PRESENT_MASK));
967 young = _spte & PT_ACCESSED_MASK;
968 if (young) {
969 young = 1;
970 break;
971 }
972 spte = rmap_next(kvm, rmapp, spte);
973 }
974out:
975 return young;
976}
977
Marcelo Tosatti53a27b32009-08-05 15:43:58 -0300978#define RMAP_RECYCLE_THRESHOLD 1000
979
Joerg Roedel852e3c12009-07-27 16:30:44 +0200980static void rmap_recycle(struct kvm_vcpu *vcpu, u64 *spte, gfn_t gfn)
Marcelo Tosatti53a27b32009-08-05 15:43:58 -0300981{
982 unsigned long *rmapp;
Joerg Roedel852e3c12009-07-27 16:30:44 +0200983 struct kvm_mmu_page *sp;
984
985 sp = page_header(__pa(spte));
Marcelo Tosatti53a27b32009-08-05 15:43:58 -0300986
Joerg Roedel852e3c12009-07-27 16:30:44 +0200987 rmapp = gfn_to_rmap(vcpu->kvm, gfn, sp->role.level);
Marcelo Tosatti53a27b32009-08-05 15:43:58 -0300988
Izik Eidus3da0dd42009-09-23 21:47:18 +0300989 kvm_unmap_rmapp(vcpu->kvm, rmapp, 0);
Marcelo Tosatti53a27b32009-08-05 15:43:58 -0300990 kvm_flush_remote_tlbs(vcpu->kvm);
991}
992
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200993int kvm_age_hva(struct kvm *kvm, unsigned long hva)
994{
Izik Eidus3da0dd42009-09-23 21:47:18 +0300995 return kvm_handle_hva(kvm, hva, 0, kvm_age_rmapp);
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200996}
997
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800998int kvm_test_age_hva(struct kvm *kvm, unsigned long hva)
999{
1000 return kvm_handle_hva(kvm, hva, 0, kvm_test_age_rmapp);
1001}
1002
Yaozu Dongd6c69ee2007-04-25 14:17:25 +08001003#ifdef MMU_DEBUG
Avi Kivity47ad8e62007-05-06 15:50:58 +03001004static int is_empty_shadow_page(u64 *spt)
Avi Kivity6aa8b732006-12-10 02:21:36 -08001005{
Avi Kivity139bdb22007-01-05 16:36:50 -08001006 u64 *pos;
1007 u64 *end;
1008
Avi Kivity47ad8e62007-05-06 15:50:58 +03001009 for (pos = spt, end = pos + PAGE_SIZE / sizeof(u64); pos != end; pos++)
Avi Kivity3c915512008-05-20 16:21:13 +03001010 if (is_shadow_present_pte(*pos)) {
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001011 printk(KERN_ERR "%s: %p %llx\n", __func__,
Avi Kivity139bdb22007-01-05 16:36:50 -08001012 pos, *pos);
Avi Kivity6aa8b732006-12-10 02:21:36 -08001013 return 0;
Avi Kivity139bdb22007-01-05 16:36:50 -08001014 }
Avi Kivity6aa8b732006-12-10 02:21:36 -08001015 return 1;
1016}
Yaozu Dongd6c69ee2007-04-25 14:17:25 +08001017#endif
Avi Kivity6aa8b732006-12-10 02:21:36 -08001018
Dave Hansen45221ab2010-08-19 18:11:37 -07001019/*
1020 * This value is the sum of all of the kvm instances's
1021 * kvm->arch.n_used_mmu_pages values. We need a global,
1022 * aggregate version in order to make the slab shrinker
1023 * faster
1024 */
1025static inline void kvm_mod_used_mmu_pages(struct kvm *kvm, int nr)
1026{
1027 kvm->arch.n_used_mmu_pages += nr;
1028 percpu_counter_add(&kvm_total_used_mmu_pages, nr);
1029}
1030
Xiao Guangrongbd4c86e2011-07-12 03:27:14 +08001031/*
1032 * Remove the sp from shadow page cache, after call it,
1033 * we can not find this sp from the cache, and the shadow
1034 * page table is still valid.
1035 * It should be under the protection of mmu lock.
1036 */
1037static void kvm_mmu_isolate_page(struct kvm_mmu_page *sp)
Avi Kivity260746c2007-01-05 16:36:49 -08001038{
Avi Kivity4db35312007-11-21 15:28:32 +02001039 ASSERT(is_empty_shadow_page(sp->spt));
Xiao Guangrong77758342010-06-04 21:53:54 +08001040 hlist_del(&sp->hash_link);
Lai Jiangshan2032a932010-05-26 16:49:59 +08001041 if (!sp->role.direct)
Xiao Guangrong842f22e2011-03-04 19:01:10 +08001042 free_page((unsigned long)sp->gfns);
Xiao Guangrongbd4c86e2011-07-12 03:27:14 +08001043}
1044
1045/*
1046 * Free the shadow page table and the sp, we can do it
1047 * out of the protection of mmu lock.
1048 */
1049static void kvm_mmu_free_page(struct kvm_mmu_page *sp)
1050{
1051 list_del(&sp->link);
1052 free_page((unsigned long)sp->spt);
Xiao Guangronge8ad9a72010-05-13 10:06:02 +08001053 kmem_cache_free(mmu_page_header_cache, sp);
Avi Kivity260746c2007-01-05 16:36:49 -08001054}
1055
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001056static unsigned kvm_page_table_hashfn(gfn_t gfn)
1057{
Dong, Eddie1ae0a132008-01-07 13:20:25 +02001058 return gfn & ((1 << KVM_MMU_HASH_SHIFT) - 1);
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001059}
1060
Xiao Guangrong67052b32011-05-15 23:27:08 +08001061static void mmu_page_add_parent_pte(struct kvm_vcpu *vcpu,
1062 struct kvm_mmu_page *sp, u64 *parent_pte)
1063{
1064 if (!parent_pte)
1065 return;
1066
1067 pte_list_add(vcpu, parent_pte, &sp->parent_ptes);
1068}
1069
1070static void mmu_page_remove_parent_pte(struct kvm_mmu_page *sp,
1071 u64 *parent_pte)
1072{
1073 pte_list_remove(parent_pte, &sp->parent_ptes);
1074}
1075
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001076static void drop_parent_pte(struct kvm_mmu_page *sp,
1077 u64 *parent_pte)
1078{
1079 mmu_page_remove_parent_pte(sp, parent_pte);
Xiao Guangrongc3707952011-07-12 03:28:04 +08001080 __set_spte(parent_pte, 0ull);
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001081}
1082
Avi Kivity25c0de22007-01-05 16:36:42 -08001083static struct kvm_mmu_page *kvm_mmu_alloc_page(struct kvm_vcpu *vcpu,
Lai Jiangshan2032a932010-05-26 16:49:59 +08001084 u64 *parent_pte, int direct)
Avi Kivity6aa8b732006-12-10 02:21:36 -08001085{
Avi Kivity4db35312007-11-21 15:28:32 +02001086 struct kvm_mmu_page *sp;
Xiao Guangrong67052b32011-05-15 23:27:08 +08001087 sp = mmu_memory_cache_alloc(&vcpu->arch.mmu_page_header_cache,
1088 sizeof *sp);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001089 sp->spt = mmu_memory_cache_alloc(&vcpu->arch.mmu_page_cache, PAGE_SIZE);
Lai Jiangshan2032a932010-05-26 16:49:59 +08001090 if (!direct)
1091 sp->gfns = mmu_memory_cache_alloc(&vcpu->arch.mmu_page_cache,
1092 PAGE_SIZE);
Avi Kivity4db35312007-11-21 15:28:32 +02001093 set_page_private(virt_to_page(sp->spt), (unsigned long)sp);
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001094 list_add(&sp->link, &vcpu->kvm->arch.active_mmu_pages);
Sheng Yang291f26b2008-10-16 17:30:57 +08001095 bitmap_zero(sp->slot_bitmap, KVM_MEMORY_SLOTS + KVM_PRIVATE_MEM_SLOTS);
Xiao Guangrong67052b32011-05-15 23:27:08 +08001096 sp->parent_ptes = 0;
1097 mmu_page_add_parent_pte(vcpu, sp, parent_pte);
Dave Hansen45221ab2010-08-19 18:11:37 -07001098 kvm_mod_used_mmu_pages(vcpu->kvm, +1);
Avi Kivity4db35312007-11-21 15:28:32 +02001099 return sp;
Avi Kivity6aa8b732006-12-10 02:21:36 -08001100}
1101
Xiao Guangrong67052b32011-05-15 23:27:08 +08001102static void mark_unsync(u64 *spte);
Xiao Guangrong6b184932010-04-16 21:29:17 +08001103static void kvm_mmu_mark_parents_unsync(struct kvm_mmu_page *sp)
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001104{
Xiao Guangrong67052b32011-05-15 23:27:08 +08001105 pte_list_walk(&sp->parent_ptes, mark_unsync);
Xiao Guangrong1047df12010-06-11 21:35:15 +08001106}
1107
Xiao Guangrong67052b32011-05-15 23:27:08 +08001108static void mark_unsync(u64 *spte)
Xiao Guangrong1047df12010-06-11 21:35:15 +08001109{
Xiao Guangrong67052b32011-05-15 23:27:08 +08001110 struct kvm_mmu_page *sp;
Xiao Guangrong1047df12010-06-11 21:35:15 +08001111 unsigned int index;
1112
Xiao Guangrong67052b32011-05-15 23:27:08 +08001113 sp = page_header(__pa(spte));
Xiao Guangrong1047df12010-06-11 21:35:15 +08001114 index = spte - sp->spt;
1115 if (__test_and_set_bit(index, sp->unsync_child_bitmap))
1116 return;
1117 if (sp->unsync_children++)
1118 return;
1119 kvm_mmu_mark_parents_unsync(sp);
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001120}
1121
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03001122static int nonpaging_sync_page(struct kvm_vcpu *vcpu,
Xiao Guangronga4a8e6f2010-11-19 17:04:03 +08001123 struct kvm_mmu_page *sp)
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03001124{
1125 return 1;
1126}
1127
Marcelo Tosattia7052892008-09-23 13:18:35 -03001128static void nonpaging_invlpg(struct kvm_vcpu *vcpu, gva_t gva)
1129{
1130}
1131
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08001132static void nonpaging_update_pte(struct kvm_vcpu *vcpu,
1133 struct kvm_mmu_page *sp, u64 *spte,
Xiao Guangrong7c562522011-03-28 10:29:27 +08001134 const void *pte)
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08001135{
1136 WARN_ON(1);
1137}
1138
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001139#define KVM_PAGE_ARRAY_NR 16
1140
1141struct kvm_mmu_pages {
1142 struct mmu_page_and_offset {
1143 struct kvm_mmu_page *sp;
1144 unsigned int idx;
1145 } page[KVM_PAGE_ARRAY_NR];
1146 unsigned int nr;
1147};
1148
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001149#define for_each_unsync_children(bitmap, idx) \
1150 for (idx = find_first_bit(bitmap, 512); \
1151 idx < 512; \
1152 idx = find_next_bit(bitmap, 512, idx+1))
1153
Hannes Edercded19f2009-02-21 02:19:13 +01001154static int mmu_pages_add(struct kvm_mmu_pages *pvec, struct kvm_mmu_page *sp,
1155 int idx)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001156{
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001157 int i;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001158
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001159 if (sp->unsync)
1160 for (i=0; i < pvec->nr; i++)
1161 if (pvec->page[i].sp == sp)
1162 return 0;
1163
1164 pvec->page[pvec->nr].sp = sp;
1165 pvec->page[pvec->nr].idx = idx;
1166 pvec->nr++;
1167 return (pvec->nr == KVM_PAGE_ARRAY_NR);
1168}
1169
1170static int __mmu_unsync_walk(struct kvm_mmu_page *sp,
1171 struct kvm_mmu_pages *pvec)
1172{
1173 int i, ret, nr_unsync_leaf = 0;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001174
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001175 for_each_unsync_children(sp->unsync_child_bitmap, i) {
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001176 struct kvm_mmu_page *child;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001177 u64 ent = sp->spt[i];
1178
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001179 if (!is_shadow_present_pte(ent) || is_large_pte(ent))
1180 goto clear_child_bitmap;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001181
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001182 child = page_header(ent & PT64_BASE_ADDR_MASK);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001183
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001184 if (child->unsync_children) {
1185 if (mmu_pages_add(pvec, child, i))
1186 return -ENOSPC;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001187
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001188 ret = __mmu_unsync_walk(child, pvec);
1189 if (!ret)
1190 goto clear_child_bitmap;
1191 else if (ret > 0)
1192 nr_unsync_leaf += ret;
1193 else
1194 return ret;
1195 } else if (child->unsync) {
1196 nr_unsync_leaf++;
1197 if (mmu_pages_add(pvec, child, i))
1198 return -ENOSPC;
1199 } else
1200 goto clear_child_bitmap;
1201
1202 continue;
1203
1204clear_child_bitmap:
1205 __clear_bit(i, sp->unsync_child_bitmap);
1206 sp->unsync_children--;
1207 WARN_ON((int)sp->unsync_children < 0);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001208 }
1209
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001210
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001211 return nr_unsync_leaf;
1212}
1213
1214static int mmu_unsync_walk(struct kvm_mmu_page *sp,
1215 struct kvm_mmu_pages *pvec)
1216{
1217 if (!sp->unsync_children)
1218 return 0;
1219
1220 mmu_pages_add(pvec, sp, 0);
1221 return __mmu_unsync_walk(sp, pvec);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001222}
1223
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001224static void kvm_unlink_unsync_page(struct kvm *kvm, struct kvm_mmu_page *sp)
1225{
1226 WARN_ON(!sp->unsync);
Xiao Guangrong5e1b3dd2010-04-28 11:55:06 +08001227 trace_kvm_mmu_sync_page(sp);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001228 sp->unsync = 0;
1229 --kvm->stat.mmu_unsync;
1230}
1231
Xiao Guangrong77758342010-06-04 21:53:54 +08001232static int kvm_mmu_prepare_zap_page(struct kvm *kvm, struct kvm_mmu_page *sp,
1233 struct list_head *invalid_list);
1234static void kvm_mmu_commit_zap_page(struct kvm *kvm,
1235 struct list_head *invalid_list);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001236
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001237#define for_each_gfn_sp(kvm, sp, gfn, pos) \
1238 hlist_for_each_entry(sp, pos, \
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001239 &(kvm)->arch.mmu_page_hash[kvm_page_table_hashfn(gfn)], hash_link) \
1240 if ((sp)->gfn != (gfn)) {} else
1241
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001242#define for_each_gfn_indirect_valid_sp(kvm, sp, gfn, pos) \
1243 hlist_for_each_entry(sp, pos, \
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001244 &(kvm)->arch.mmu_page_hash[kvm_page_table_hashfn(gfn)], hash_link) \
1245 if ((sp)->gfn != (gfn) || (sp)->role.direct || \
1246 (sp)->role.invalid) {} else
1247
Xiao Guangrongf918b442010-06-11 21:30:36 +08001248/* @sp->gfn should be write-protected at the call site */
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001249static int __kvm_sync_page(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp,
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001250 struct list_head *invalid_list, bool clear_unsync)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001251{
Avi Kivity5b7e0102010-04-14 19:20:03 +03001252 if (sp->role.cr4_pae != !!is_pae(vcpu)) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001253 kvm_mmu_prepare_zap_page(vcpu->kvm, sp, invalid_list);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001254 return 1;
1255 }
1256
Xiao Guangrongf918b442010-06-11 21:30:36 +08001257 if (clear_unsync)
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001258 kvm_unlink_unsync_page(vcpu->kvm, sp);
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001259
Xiao Guangronga4a8e6f2010-11-19 17:04:03 +08001260 if (vcpu->arch.mmu.sync_page(vcpu, sp)) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001261 kvm_mmu_prepare_zap_page(vcpu->kvm, sp, invalid_list);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001262 return 1;
1263 }
1264
1265 kvm_mmu_flush_tlb(vcpu);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001266 return 0;
1267}
1268
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001269static int kvm_sync_page_transient(struct kvm_vcpu *vcpu,
1270 struct kvm_mmu_page *sp)
1271{
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001272 LIST_HEAD(invalid_list);
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001273 int ret;
1274
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001275 ret = __kvm_sync_page(vcpu, sp, &invalid_list, false);
Xiao Guangrongbe71e062010-06-11 21:31:38 +08001276 if (ret)
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001277 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
1278
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001279 return ret;
1280}
1281
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001282static int kvm_sync_page(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp,
1283 struct list_head *invalid_list)
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001284{
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001285 return __kvm_sync_page(vcpu, sp, invalid_list, true);
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001286}
1287
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001288/* @gfn should be write-protected at the call site */
1289static void kvm_sync_pages(struct kvm_vcpu *vcpu, gfn_t gfn)
1290{
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001291 struct kvm_mmu_page *s;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001292 struct hlist_node *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001293 LIST_HEAD(invalid_list);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001294 bool flush = false;
1295
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001296 for_each_gfn_indirect_valid_sp(vcpu->kvm, s, gfn, node) {
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001297 if (!s->unsync)
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001298 continue;
1299
1300 WARN_ON(s->role.level != PT_PAGE_TABLE_LEVEL);
Xiao Guangronga4a8e6f2010-11-19 17:04:03 +08001301 kvm_unlink_unsync_page(vcpu->kvm, s);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001302 if ((s->role.cr4_pae != !!is_pae(vcpu)) ||
Xiao Guangronga4a8e6f2010-11-19 17:04:03 +08001303 (vcpu->arch.mmu.sync_page(vcpu, s))) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001304 kvm_mmu_prepare_zap_page(vcpu->kvm, s, &invalid_list);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001305 continue;
1306 }
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001307 flush = true;
1308 }
1309
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001310 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001311 if (flush)
1312 kvm_mmu_flush_tlb(vcpu);
1313}
1314
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001315struct mmu_page_path {
1316 struct kvm_mmu_page *parent[PT64_ROOT_LEVEL-1];
1317 unsigned int idx[PT64_ROOT_LEVEL-1];
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001318};
1319
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001320#define for_each_sp(pvec, sp, parents, i) \
1321 for (i = mmu_pages_next(&pvec, &parents, -1), \
1322 sp = pvec.page[i].sp; \
1323 i < pvec.nr && ({ sp = pvec.page[i].sp; 1;}); \
1324 i = mmu_pages_next(&pvec, &parents, i))
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001325
Hannes Edercded19f2009-02-21 02:19:13 +01001326static int mmu_pages_next(struct kvm_mmu_pages *pvec,
1327 struct mmu_page_path *parents,
1328 int i)
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001329{
1330 int n;
1331
1332 for (n = i+1; n < pvec->nr; n++) {
1333 struct kvm_mmu_page *sp = pvec->page[n].sp;
1334
1335 if (sp->role.level == PT_PAGE_TABLE_LEVEL) {
1336 parents->idx[0] = pvec->page[n].idx;
1337 return n;
1338 }
1339
1340 parents->parent[sp->role.level-2] = sp;
1341 parents->idx[sp->role.level-1] = pvec->page[n].idx;
1342 }
1343
1344 return n;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001345}
1346
Hannes Edercded19f2009-02-21 02:19:13 +01001347static void mmu_pages_clear_parents(struct mmu_page_path *parents)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001348{
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001349 struct kvm_mmu_page *sp;
1350 unsigned int level = 0;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001351
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001352 do {
1353 unsigned int idx = parents->idx[level];
1354
1355 sp = parents->parent[level];
1356 if (!sp)
1357 return;
1358
1359 --sp->unsync_children;
1360 WARN_ON((int)sp->unsync_children < 0);
1361 __clear_bit(idx, sp->unsync_child_bitmap);
1362 level++;
1363 } while (level < PT64_ROOT_LEVEL-1 && !sp->unsync_children);
1364}
1365
1366static void kvm_mmu_pages_init(struct kvm_mmu_page *parent,
1367 struct mmu_page_path *parents,
1368 struct kvm_mmu_pages *pvec)
1369{
1370 parents->parent[parent->role.level-1] = NULL;
1371 pvec->nr = 0;
1372}
1373
1374static void mmu_sync_children(struct kvm_vcpu *vcpu,
1375 struct kvm_mmu_page *parent)
1376{
1377 int i;
1378 struct kvm_mmu_page *sp;
1379 struct mmu_page_path parents;
1380 struct kvm_mmu_pages pages;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001381 LIST_HEAD(invalid_list);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001382
1383 kvm_mmu_pages_init(parent, &parents, &pages);
1384 while (mmu_unsync_walk(parent, &pages)) {
Marcelo Tosattib1a36822008-12-01 22:32:03 -02001385 int protected = 0;
1386
1387 for_each_sp(pages, sp, parents, i)
1388 protected |= rmap_write_protect(vcpu->kvm, sp->gfn);
1389
1390 if (protected)
1391 kvm_flush_remote_tlbs(vcpu->kvm);
1392
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001393 for_each_sp(pages, sp, parents, i) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001394 kvm_sync_page(vcpu, sp, &invalid_list);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001395 mmu_pages_clear_parents(&parents);
1396 }
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001397 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001398 cond_resched_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001399 kvm_mmu_pages_init(parent, &parents, &pages);
1400 }
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001401}
1402
Xiao Guangrongc3707952011-07-12 03:28:04 +08001403static void init_shadow_page_table(struct kvm_mmu_page *sp)
1404{
1405 int i;
1406
1407 for (i = 0; i < PT64_ENT_PER_PAGE; ++i)
1408 sp->spt[i] = 0ull;
1409}
1410
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001411static struct kvm_mmu_page *kvm_mmu_get_page(struct kvm_vcpu *vcpu,
1412 gfn_t gfn,
1413 gva_t gaddr,
1414 unsigned level,
Avi Kivityf6e2c02b2009-01-11 13:02:10 +02001415 int direct,
Avi Kivity41074d02007-12-09 17:00:02 +02001416 unsigned access,
Avi Kivityf7d9c7b2008-02-26 22:12:10 +02001417 u64 *parent_pte)
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001418{
1419 union kvm_mmu_page_role role;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001420 unsigned quadrant;
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001421 struct kvm_mmu_page *sp;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001422 struct hlist_node *node;
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001423 bool need_sync = false;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001424
Avi Kivitya770f6f2008-12-21 19:20:09 +02001425 role = vcpu->arch.mmu.base_role;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001426 role.level = level;
Avi Kivityf6e2c02b2009-01-11 13:02:10 +02001427 role.direct = direct;
Avi Kivity84b0c8c2010-03-14 10:16:40 +02001428 if (role.direct)
Avi Kivity5b7e0102010-04-14 19:20:03 +03001429 role.cr4_pae = 0;
Avi Kivity41074d02007-12-09 17:00:02 +02001430 role.access = access;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02001431 if (!vcpu->arch.mmu.direct_map
1432 && vcpu->arch.mmu.root_level <= PT32_ROOT_LEVEL) {
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001433 quadrant = gaddr >> (PAGE_SHIFT + (PT64_PT_BITS * level));
1434 quadrant &= (1 << ((PT32_PT_BITS - PT64_PT_BITS) * level)) - 1;
1435 role.quadrant = quadrant;
1436 }
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001437 for_each_gfn_sp(vcpu->kvm, sp, gfn, node) {
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001438 if (!need_sync && sp->unsync)
1439 need_sync = true;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001440
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001441 if (sp->role.word != role.word)
1442 continue;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001443
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001444 if (sp->unsync && kvm_sync_page_transient(vcpu, sp))
1445 break;
Xiao Guangronge02aa902010-05-15 18:52:34 +08001446
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001447 mmu_page_add_parent_pte(vcpu, sp, parent_pte);
1448 if (sp->unsync_children) {
Avi Kivitya8eeb042010-05-10 12:34:53 +03001449 kvm_make_request(KVM_REQ_MMU_SYNC, vcpu);
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001450 kvm_mmu_mark_parents_unsync(sp);
1451 } else if (sp->unsync)
1452 kvm_mmu_mark_parents_unsync(sp);
Xiao Guangronge02aa902010-05-15 18:52:34 +08001453
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001454 trace_kvm_mmu_get_page(sp, false);
1455 return sp;
1456 }
Avi Kivitydfc5aa02007-12-18 19:47:18 +02001457 ++vcpu->kvm->stat.mmu_cache_miss;
Lai Jiangshan2032a932010-05-26 16:49:59 +08001458 sp = kvm_mmu_alloc_page(vcpu, parent_pte, direct);
Avi Kivity4db35312007-11-21 15:28:32 +02001459 if (!sp)
1460 return sp;
Avi Kivity4db35312007-11-21 15:28:32 +02001461 sp->gfn = gfn;
1462 sp->role = role;
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001463 hlist_add_head(&sp->hash_link,
1464 &vcpu->kvm->arch.mmu_page_hash[kvm_page_table_hashfn(gfn)]);
Avi Kivityf6e2c02b2009-01-11 13:02:10 +02001465 if (!direct) {
Marcelo Tosattib1a36822008-12-01 22:32:03 -02001466 if (rmap_write_protect(vcpu->kvm, gfn))
1467 kvm_flush_remote_tlbs(vcpu->kvm);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001468 if (level > PT_PAGE_TABLE_LEVEL && need_sync)
1469 kvm_sync_pages(vcpu, gfn);
1470
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001471 account_shadowed(vcpu->kvm, gfn);
1472 }
Xiao Guangrongc3707952011-07-12 03:28:04 +08001473 init_shadow_page_table(sp);
Avi Kivityf691fe12009-07-06 15:58:14 +03001474 trace_kvm_mmu_get_page(sp, true);
Avi Kivity4db35312007-11-21 15:28:32 +02001475 return sp;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001476}
1477
Avi Kivity2d111232008-12-25 14:39:47 +02001478static void shadow_walk_init(struct kvm_shadow_walk_iterator *iterator,
1479 struct kvm_vcpu *vcpu, u64 addr)
1480{
1481 iterator->addr = addr;
1482 iterator->shadow_addr = vcpu->arch.mmu.root_hpa;
1483 iterator->level = vcpu->arch.mmu.shadow_root_level;
Joerg Roedel81407ca2010-09-10 17:31:00 +02001484
1485 if (iterator->level == PT64_ROOT_LEVEL &&
1486 vcpu->arch.mmu.root_level < PT64_ROOT_LEVEL &&
1487 !vcpu->arch.mmu.direct_map)
1488 --iterator->level;
1489
Avi Kivity2d111232008-12-25 14:39:47 +02001490 if (iterator->level == PT32E_ROOT_LEVEL) {
1491 iterator->shadow_addr
1492 = vcpu->arch.mmu.pae_root[(addr >> 30) & 3];
1493 iterator->shadow_addr &= PT64_BASE_ADDR_MASK;
1494 --iterator->level;
1495 if (!iterator->shadow_addr)
1496 iterator->level = 0;
1497 }
1498}
1499
1500static bool shadow_walk_okay(struct kvm_shadow_walk_iterator *iterator)
1501{
1502 if (iterator->level < PT_PAGE_TABLE_LEVEL)
1503 return false;
Marcelo Tosatti4d889542009-06-11 12:07:41 -03001504
Avi Kivity2d111232008-12-25 14:39:47 +02001505 iterator->index = SHADOW_PT_INDEX(iterator->addr, iterator->level);
1506 iterator->sptep = ((u64 *)__va(iterator->shadow_addr)) + iterator->index;
1507 return true;
1508}
1509
1510static void shadow_walk_next(struct kvm_shadow_walk_iterator *iterator)
1511{
Xiao Guangrong052331b2011-07-12 03:21:17 +08001512 if (is_last_spte(*iterator->sptep, iterator->level)) {
1513 iterator->level = 0;
1514 return;
1515 }
1516
Avi Kivity2d111232008-12-25 14:39:47 +02001517 iterator->shadow_addr = *iterator->sptep & PT64_BASE_ADDR_MASK;
1518 --iterator->level;
1519}
1520
Avi Kivity32ef26a2010-07-13 14:27:04 +03001521static void link_shadow_page(u64 *sptep, struct kvm_mmu_page *sp)
1522{
1523 u64 spte;
1524
1525 spte = __pa(sp->spt)
1526 | PT_PRESENT_MASK | PT_ACCESSED_MASK
1527 | PT_WRITABLE_MASK | PT_USER_MASK;
Avi Kivity121eee92010-07-13 14:27:05 +03001528 __set_spte(sptep, spte);
Avi Kivity32ef26a2010-07-13 14:27:04 +03001529}
1530
Avi Kivitya3aa51c2010-07-13 14:27:06 +03001531static void drop_large_spte(struct kvm_vcpu *vcpu, u64 *sptep)
1532{
1533 if (is_large_pte(*sptep)) {
Xiao Guangrongc3707952011-07-12 03:28:04 +08001534 drop_spte(vcpu->kvm, sptep);
Avi Kivitya3aa51c2010-07-13 14:27:06 +03001535 kvm_flush_remote_tlbs(vcpu->kvm);
1536 }
1537}
1538
Avi Kivitya357bd22010-07-13 14:27:07 +03001539static void validate_direct_spte(struct kvm_vcpu *vcpu, u64 *sptep,
1540 unsigned direct_access)
1541{
1542 if (is_shadow_present_pte(*sptep) && !is_large_pte(*sptep)) {
1543 struct kvm_mmu_page *child;
1544
1545 /*
1546 * For the direct sp, if the guest pte's dirty bit
1547 * changed form clean to dirty, it will corrupt the
1548 * sp's access: allow writable in the read-only sp,
1549 * so we should update the spte at this point to get
1550 * a new sp with the correct access.
1551 */
1552 child = page_header(*sptep & PT64_BASE_ADDR_MASK);
1553 if (child->role.access == direct_access)
1554 return;
1555
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001556 drop_parent_pte(child, sptep);
Avi Kivitya357bd22010-07-13 14:27:07 +03001557 kvm_flush_remote_tlbs(vcpu->kvm);
1558 }
1559}
1560
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08001561static void mmu_page_zap_pte(struct kvm *kvm, struct kvm_mmu_page *sp,
1562 u64 *spte)
1563{
1564 u64 pte;
1565 struct kvm_mmu_page *child;
1566
1567 pte = *spte;
1568 if (is_shadow_present_pte(pte)) {
1569 if (is_last_spte(pte, sp->role.level))
Xiao Guangrongc3707952011-07-12 03:28:04 +08001570 drop_spte(kvm, spte);
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08001571 else {
1572 child = page_header(pte & PT64_BASE_ADDR_MASK);
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001573 drop_parent_pte(child, spte);
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08001574 }
1575 }
Xiao Guangrongc3707952011-07-12 03:28:04 +08001576
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08001577 if (is_large_pte(pte))
1578 --kvm->stat.lpages;
1579}
1580
Avi Kivity90cb0522007-07-17 13:04:56 +03001581static void kvm_mmu_page_unlink_children(struct kvm *kvm,
Avi Kivity4db35312007-11-21 15:28:32 +02001582 struct kvm_mmu_page *sp)
Avi Kivitya4360362007-01-05 16:36:45 -08001583{
Avi Kivity697fe2e2007-01-05 16:36:46 -08001584 unsigned i;
Avi Kivity697fe2e2007-01-05 16:36:46 -08001585
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08001586 for (i = 0; i < PT64_ENT_PER_PAGE; ++i)
1587 mmu_page_zap_pte(kvm, sp, sp->spt + i);
Avi Kivitya4360362007-01-05 16:36:45 -08001588}
1589
Avi Kivity4db35312007-11-21 15:28:32 +02001590static void kvm_mmu_put_page(struct kvm_mmu_page *sp, u64 *parent_pte)
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001591{
Avi Kivity4db35312007-11-21 15:28:32 +02001592 mmu_page_remove_parent_pte(sp, parent_pte);
Avi Kivitya4360362007-01-05 16:36:45 -08001593}
1594
Avi Kivity12b7d282007-09-23 14:10:49 +02001595static void kvm_mmu_reset_last_pte_updated(struct kvm *kvm)
1596{
1597 int i;
Gleb Natapov988a2ca2009-06-09 15:56:29 +03001598 struct kvm_vcpu *vcpu;
Avi Kivity12b7d282007-09-23 14:10:49 +02001599
Gleb Natapov988a2ca2009-06-09 15:56:29 +03001600 kvm_for_each_vcpu(i, vcpu, kvm)
1601 vcpu->arch.last_pte_updated = NULL;
Avi Kivity12b7d282007-09-23 14:10:49 +02001602}
1603
Avi Kivity31aa2b42008-07-11 17:59:46 +03001604static void kvm_mmu_unlink_parents(struct kvm *kvm, struct kvm_mmu_page *sp)
Avi Kivitya4360362007-01-05 16:36:45 -08001605{
1606 u64 *parent_pte;
1607
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001608 while ((parent_pte = pte_list_next(&sp->parent_ptes, NULL)))
1609 drop_parent_pte(sp, parent_pte);
Avi Kivity31aa2b42008-07-11 17:59:46 +03001610}
1611
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001612static int mmu_zap_unsync_children(struct kvm *kvm,
Xiao Guangrong77758342010-06-04 21:53:54 +08001613 struct kvm_mmu_page *parent,
1614 struct list_head *invalid_list)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001615{
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001616 int i, zapped = 0;
1617 struct mmu_page_path parents;
1618 struct kvm_mmu_pages pages;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001619
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001620 if (parent->role.level == PT_PAGE_TABLE_LEVEL)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001621 return 0;
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001622
1623 kvm_mmu_pages_init(parent, &parents, &pages);
1624 while (mmu_unsync_walk(parent, &pages)) {
1625 struct kvm_mmu_page *sp;
1626
1627 for_each_sp(pages, sp, parents, i) {
Xiao Guangrong77758342010-06-04 21:53:54 +08001628 kvm_mmu_prepare_zap_page(kvm, sp, invalid_list);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001629 mmu_pages_clear_parents(&parents);
Xiao Guangrong77662e02010-04-16 16:34:42 +08001630 zapped++;
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001631 }
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001632 kvm_mmu_pages_init(parent, &parents, &pages);
1633 }
1634
1635 return zapped;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001636}
1637
Xiao Guangrong77758342010-06-04 21:53:54 +08001638static int kvm_mmu_prepare_zap_page(struct kvm *kvm, struct kvm_mmu_page *sp,
1639 struct list_head *invalid_list)
Avi Kivity31aa2b42008-07-11 17:59:46 +03001640{
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001641 int ret;
Avi Kivityf691fe12009-07-06 15:58:14 +03001642
Xiao Guangrong77758342010-06-04 21:53:54 +08001643 trace_kvm_mmu_prepare_zap_page(sp);
Avi Kivity31aa2b42008-07-11 17:59:46 +03001644 ++kvm->stat.mmu_shadow_zapped;
Xiao Guangrong77758342010-06-04 21:53:54 +08001645 ret = mmu_zap_unsync_children(kvm, sp, invalid_list);
Avi Kivity4db35312007-11-21 15:28:32 +02001646 kvm_mmu_page_unlink_children(kvm, sp);
Avi Kivity31aa2b42008-07-11 17:59:46 +03001647 kvm_mmu_unlink_parents(kvm, sp);
Avi Kivityf6e2c02b2009-01-11 13:02:10 +02001648 if (!sp->role.invalid && !sp->role.direct)
Avi Kivity5b5c6a52008-07-11 18:07:26 +03001649 unaccount_shadowed(kvm, sp->gfn);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001650 if (sp->unsync)
1651 kvm_unlink_unsync_page(kvm, sp);
Avi Kivity4db35312007-11-21 15:28:32 +02001652 if (!sp->root_count) {
Gui Jianfeng54a4f022010-05-05 09:03:49 +08001653 /* Count self */
1654 ret++;
Xiao Guangrong77758342010-06-04 21:53:54 +08001655 list_move(&sp->link, invalid_list);
Xiao Guangrongaa6bd182011-07-12 03:26:40 +08001656 kvm_mod_used_mmu_pages(kvm, -1);
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05001657 } else {
Avi Kivity5b5c6a52008-07-11 18:07:26 +03001658 list_move(&sp->link, &kvm->arch.active_mmu_pages);
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05001659 kvm_reload_remote_mmus(kvm);
1660 }
Xiao Guangrong77758342010-06-04 21:53:54 +08001661
1662 sp->role.invalid = 1;
Avi Kivity12b7d282007-09-23 14:10:49 +02001663 kvm_mmu_reset_last_pte_updated(kvm);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001664 return ret;
Avi Kivitya4360362007-01-05 16:36:45 -08001665}
1666
Xiao Guangrong77758342010-06-04 21:53:54 +08001667static void kvm_mmu_commit_zap_page(struct kvm *kvm,
1668 struct list_head *invalid_list)
1669{
1670 struct kvm_mmu_page *sp;
1671
1672 if (list_empty(invalid_list))
1673 return;
1674
1675 kvm_flush_remote_tlbs(kvm);
1676
1677 do {
1678 sp = list_first_entry(invalid_list, struct kvm_mmu_page, link);
1679 WARN_ON(!sp->role.invalid || sp->root_count);
Xiao Guangrongbd4c86e2011-07-12 03:27:14 +08001680 kvm_mmu_isolate_page(sp);
Xiao Guangrongaa6bd182011-07-12 03:26:40 +08001681 kvm_mmu_free_page(sp);
Xiao Guangrong77758342010-06-04 21:53:54 +08001682 } while (!list_empty(invalid_list));
1683
1684}
1685
Izik Eidus82ce2c92007-10-02 18:52:55 +02001686/*
1687 * Changing the number of mmu pages allocated to the vm
Dave Hansen49d5ca22010-08-19 18:11:28 -07001688 * Note: if goal_nr_mmu_pages is too small, you will get dead lock
Izik Eidus82ce2c92007-10-02 18:52:55 +02001689 */
Dave Hansen49d5ca22010-08-19 18:11:28 -07001690void kvm_mmu_change_mmu_pages(struct kvm *kvm, unsigned int goal_nr_mmu_pages)
Izik Eidus82ce2c92007-10-02 18:52:55 +02001691{
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001692 LIST_HEAD(invalid_list);
Izik Eidus82ce2c92007-10-02 18:52:55 +02001693 /*
1694 * If we set the number of mmu pages to be smaller be than the
1695 * number of actived pages , we must to free some mmu pages before we
1696 * change the value
1697 */
1698
Dave Hansen49d5ca22010-08-19 18:11:28 -07001699 if (kvm->arch.n_used_mmu_pages > goal_nr_mmu_pages) {
1700 while (kvm->arch.n_used_mmu_pages > goal_nr_mmu_pages &&
Xiao Guangrong77662e02010-04-16 16:34:42 +08001701 !list_empty(&kvm->arch.active_mmu_pages)) {
Izik Eidus82ce2c92007-10-02 18:52:55 +02001702 struct kvm_mmu_page *page;
1703
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001704 page = container_of(kvm->arch.active_mmu_pages.prev,
Izik Eidus82ce2c92007-10-02 18:52:55 +02001705 struct kvm_mmu_page, link);
Xiaotian Feng80b63fa2010-08-24 10:31:07 +08001706 kvm_mmu_prepare_zap_page(kvm, page, &invalid_list);
Izik Eidus82ce2c92007-10-02 18:52:55 +02001707 }
Xiao Guangrongaa6bd182011-07-12 03:26:40 +08001708 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Dave Hansen49d5ca22010-08-19 18:11:28 -07001709 goal_nr_mmu_pages = kvm->arch.n_used_mmu_pages;
Izik Eidus82ce2c92007-10-02 18:52:55 +02001710 }
Izik Eidus82ce2c92007-10-02 18:52:55 +02001711
Dave Hansen49d5ca22010-08-19 18:11:28 -07001712 kvm->arch.n_max_mmu_pages = goal_nr_mmu_pages;
Izik Eidus82ce2c92007-10-02 18:52:55 +02001713}
1714
Anthony Liguorif67a46f2007-10-10 19:25:50 -05001715static int kvm_mmu_unprotect_page(struct kvm *kvm, gfn_t gfn)
Avi Kivitya4360362007-01-05 16:36:45 -08001716{
Avi Kivity4db35312007-11-21 15:28:32 +02001717 struct kvm_mmu_page *sp;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001718 struct hlist_node *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001719 LIST_HEAD(invalid_list);
Avi Kivitya4360362007-01-05 16:36:45 -08001720 int r;
1721
Xiao Guangrong9ad17b102010-08-28 19:19:42 +08001722 pgprintk("%s: looking for gfn %llx\n", __func__, gfn);
Avi Kivitya4360362007-01-05 16:36:45 -08001723 r = 0;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001724
1725 for_each_gfn_indirect_valid_sp(kvm, sp, gfn, node) {
Xiao Guangrong9ad17b102010-08-28 19:19:42 +08001726 pgprintk("%s: gfn %llx role %x\n", __func__, gfn,
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001727 sp->role.word);
1728 r = 1;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001729 kvm_mmu_prepare_zap_page(kvm, sp, &invalid_list);
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001730 }
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001731 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Avi Kivitya4360362007-01-05 16:36:45 -08001732 return r;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001733}
1734
Anthony Liguorif67a46f2007-10-10 19:25:50 -05001735static void mmu_unshadow(struct kvm *kvm, gfn_t gfn)
Avi Kivity97a0a012007-05-31 15:08:29 +03001736{
Avi Kivity4db35312007-11-21 15:28:32 +02001737 struct kvm_mmu_page *sp;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001738 struct hlist_node *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001739 LIST_HEAD(invalid_list);
Avi Kivity97a0a012007-05-31 15:08:29 +03001740
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001741 for_each_gfn_indirect_valid_sp(kvm, sp, gfn, node) {
Xiao Guangrong9ad17b102010-08-28 19:19:42 +08001742 pgprintk("%s: zap %llx %x\n",
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001743 __func__, gfn, sp->role.word);
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001744 kvm_mmu_prepare_zap_page(kvm, sp, &invalid_list);
Avi Kivity97a0a012007-05-31 15:08:29 +03001745 }
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001746 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Avi Kivity97a0a012007-05-31 15:08:29 +03001747}
1748
Avi Kivity38c335f2007-11-21 14:20:22 +02001749static void page_header_update_slot(struct kvm *kvm, void *pte, gfn_t gfn)
Avi Kivity6aa8b732006-12-10 02:21:36 -08001750{
Marcelo Tosattibc6678a2009-12-23 14:35:21 -02001751 int slot = memslot_id(kvm, gfn);
Avi Kivity4db35312007-11-21 15:28:32 +02001752 struct kvm_mmu_page *sp = page_header(__pa(pte));
Avi Kivity6aa8b732006-12-10 02:21:36 -08001753
Sheng Yang291f26b2008-10-16 17:30:57 +08001754 __set_bit(slot, sp->slot_bitmap);
Avi Kivity6aa8b732006-12-10 02:21:36 -08001755}
1756
Sheng Yang74be52e2008-10-09 16:01:56 +08001757/*
1758 * The function is based on mtrr_type_lookup() in
1759 * arch/x86/kernel/cpu/mtrr/generic.c
1760 */
1761static int get_mtrr_type(struct mtrr_state_type *mtrr_state,
1762 u64 start, u64 end)
1763{
1764 int i;
1765 u64 base, mask;
1766 u8 prev_match, curr_match;
1767 int num_var_ranges = KVM_NR_VAR_MTRR;
1768
1769 if (!mtrr_state->enabled)
1770 return 0xFF;
1771
1772 /* Make end inclusive end, instead of exclusive */
1773 end--;
1774
1775 /* Look in fixed ranges. Just return the type as per start */
1776 if (mtrr_state->have_fixed && (start < 0x100000)) {
1777 int idx;
1778
1779 if (start < 0x80000) {
1780 idx = 0;
1781 idx += (start >> 16);
1782 return mtrr_state->fixed_ranges[idx];
1783 } else if (start < 0xC0000) {
1784 idx = 1 * 8;
1785 idx += ((start - 0x80000) >> 14);
1786 return mtrr_state->fixed_ranges[idx];
1787 } else if (start < 0x1000000) {
1788 idx = 3 * 8;
1789 idx += ((start - 0xC0000) >> 12);
1790 return mtrr_state->fixed_ranges[idx];
1791 }
1792 }
1793
1794 /*
1795 * Look in variable ranges
1796 * Look of multiple ranges matching this address and pick type
1797 * as per MTRR precedence
1798 */
1799 if (!(mtrr_state->enabled & 2))
1800 return mtrr_state->def_type;
1801
1802 prev_match = 0xFF;
1803 for (i = 0; i < num_var_ranges; ++i) {
1804 unsigned short start_state, end_state;
1805
1806 if (!(mtrr_state->var_ranges[i].mask_lo & (1 << 11)))
1807 continue;
1808
1809 base = (((u64)mtrr_state->var_ranges[i].base_hi) << 32) +
1810 (mtrr_state->var_ranges[i].base_lo & PAGE_MASK);
1811 mask = (((u64)mtrr_state->var_ranges[i].mask_hi) << 32) +
1812 (mtrr_state->var_ranges[i].mask_lo & PAGE_MASK);
1813
1814 start_state = ((start & mask) == (base & mask));
1815 end_state = ((end & mask) == (base & mask));
1816 if (start_state != end_state)
1817 return 0xFE;
1818
1819 if ((start & mask) != (base & mask))
1820 continue;
1821
1822 curr_match = mtrr_state->var_ranges[i].base_lo & 0xff;
1823 if (prev_match == 0xFF) {
1824 prev_match = curr_match;
1825 continue;
1826 }
1827
1828 if (prev_match == MTRR_TYPE_UNCACHABLE ||
1829 curr_match == MTRR_TYPE_UNCACHABLE)
1830 return MTRR_TYPE_UNCACHABLE;
1831
1832 if ((prev_match == MTRR_TYPE_WRBACK &&
1833 curr_match == MTRR_TYPE_WRTHROUGH) ||
1834 (prev_match == MTRR_TYPE_WRTHROUGH &&
1835 curr_match == MTRR_TYPE_WRBACK)) {
1836 prev_match = MTRR_TYPE_WRTHROUGH;
1837 curr_match = MTRR_TYPE_WRTHROUGH;
1838 }
1839
1840 if (prev_match != curr_match)
1841 return MTRR_TYPE_UNCACHABLE;
1842 }
1843
1844 if (prev_match != 0xFF)
1845 return prev_match;
1846
1847 return mtrr_state->def_type;
1848}
1849
Sheng Yang4b12f0d2009-04-27 20:35:42 +08001850u8 kvm_get_guest_memory_type(struct kvm_vcpu *vcpu, gfn_t gfn)
Sheng Yang74be52e2008-10-09 16:01:56 +08001851{
1852 u8 mtrr;
1853
1854 mtrr = get_mtrr_type(&vcpu->arch.mtrr_state, gfn << PAGE_SHIFT,
1855 (gfn << PAGE_SHIFT) + PAGE_SIZE);
1856 if (mtrr == 0xfe || mtrr == 0xff)
1857 mtrr = MTRR_TYPE_WRBACK;
1858 return mtrr;
1859}
Sheng Yang4b12f0d2009-04-27 20:35:42 +08001860EXPORT_SYMBOL_GPL(kvm_get_guest_memory_type);
Sheng Yang74be52e2008-10-09 16:01:56 +08001861
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001862static void __kvm_unsync_page(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001863{
Xiao Guangrong5e1b3dd2010-04-28 11:55:06 +08001864 trace_kvm_mmu_unsync_page(sp);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001865 ++vcpu->kvm->stat.mmu_unsync;
1866 sp->unsync = 1;
Marcelo Tosatti6cffe8c2008-12-01 22:32:04 -02001867
Xiao Guangrong6b184932010-04-16 21:29:17 +08001868 kvm_mmu_mark_parents_unsync(sp);
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001869}
1870
1871static void kvm_unsync_pages(struct kvm_vcpu *vcpu, gfn_t gfn)
1872{
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001873 struct kvm_mmu_page *s;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001874 struct hlist_node *node;
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001875
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001876 for_each_gfn_indirect_valid_sp(vcpu->kvm, s, gfn, node) {
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001877 if (s->unsync)
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001878 continue;
1879 WARN_ON(s->role.level != PT_PAGE_TABLE_LEVEL);
1880 __kvm_unsync_page(vcpu, s);
1881 }
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001882}
1883
1884static int mmu_need_write_protect(struct kvm_vcpu *vcpu, gfn_t gfn,
1885 bool can_unsync)
1886{
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001887 struct kvm_mmu_page *s;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001888 struct hlist_node *node;
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001889 bool need_unsync = false;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001890
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001891 for_each_gfn_indirect_valid_sp(vcpu->kvm, s, gfn, node) {
Xiao Guangrong36a2e672010-06-30 16:02:02 +08001892 if (!can_unsync)
1893 return 1;
1894
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001895 if (s->role.level != PT_PAGE_TABLE_LEVEL)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001896 return 1;
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001897
1898 if (!need_unsync && !s->unsync) {
Xiao Guangrong36a2e672010-06-30 16:02:02 +08001899 if (!oos_shadow)
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001900 return 1;
1901 need_unsync = true;
1902 }
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001903 }
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001904 if (need_unsync)
1905 kvm_unsync_pages(vcpu, gfn);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001906 return 0;
1907}
1908
Avi Kivityd555c332009-06-10 14:24:23 +03001909static int set_spte(struct kvm_vcpu *vcpu, u64 *sptep,
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001910 unsigned pte_access, int user_fault,
Xiao Guangrong640d9b02011-07-12 03:24:39 +08001911 int write_fault, int level,
Marcelo Tosattic2d0ee42009-04-05 14:54:47 -03001912 gfn_t gfn, pfn_t pfn, bool speculative,
Lai Jiangshan9bdbba12010-11-19 17:03:22 +08001913 bool can_unsync, bool host_writable)
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001914{
Xiao Guangrongb330aa02010-11-19 17:02:35 +08001915 u64 spte, entry = *sptep;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001916 int ret = 0;
Sheng Yang64d4d522008-10-09 16:01:57 +08001917
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001918 /*
1919 * We don't set the accessed bit, since we sometimes want to see
1920 * whether the guest actually used the pte (in order to detect
1921 * demand paging).
1922 */
Marcelo Tosatti982c2562010-10-22 14:18:16 -02001923 spte = PT_PRESENT_MASK;
Avi Kivity947da532008-03-18 11:05:52 +02001924 if (!speculative)
Avi Kivity3201b5d2008-08-27 20:01:04 +03001925 spte |= shadow_accessed_mask;
Xiao Guangrong640d9b02011-07-12 03:24:39 +08001926
Sheng Yang7b523452008-04-25 21:13:50 +08001927 if (pte_access & ACC_EXEC_MASK)
1928 spte |= shadow_x_mask;
1929 else
1930 spte |= shadow_nx_mask;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001931 if (pte_access & ACC_USER_MASK)
Sheng Yang7b523452008-04-25 21:13:50 +08001932 spte |= shadow_user_mask;
Joerg Roedel852e3c12009-07-27 16:30:44 +02001933 if (level > PT_PAGE_TABLE_LEVEL)
Marcelo Tosatti05da4552008-02-23 11:44:30 -03001934 spte |= PT_PAGE_SIZE_MASK;
Avi Kivityb0bc3ee2010-09-13 16:45:28 +02001935 if (tdp_enabled)
Sheng Yang4b12f0d2009-04-27 20:35:42 +08001936 spte |= kvm_x86_ops->get_mt_mask(vcpu, gfn,
1937 kvm_is_mmio_pfn(pfn));
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001938
Lai Jiangshan9bdbba12010-11-19 17:03:22 +08001939 if (host_writable)
Izik Eidus14032832009-09-23 21:47:17 +03001940 spte |= SPTE_HOST_WRITEABLE;
Xiao Guangrongf8e453b2010-12-23 16:09:29 +08001941 else
1942 pte_access &= ~ACC_WRITE_MASK;
Izik Eidus14032832009-09-23 21:47:17 +03001943
Anthony Liguori35149e22008-04-02 14:46:56 -05001944 spte |= (u64)pfn << PAGE_SHIFT;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001945
1946 if ((pte_access & ACC_WRITE_MASK)
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02001947 || (!vcpu->arch.mmu.direct_map && write_fault
1948 && !is_write_protection(vcpu) && !user_fault)) {
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001949
Joerg Roedel852e3c12009-07-27 16:30:44 +02001950 if (level > PT_PAGE_TABLE_LEVEL &&
1951 has_wrprotected_page(vcpu->kvm, gfn, level)) {
Marcelo Tosatti38187c82008-09-23 13:18:32 -03001952 ret = 1;
Xiao Guangrongc3707952011-07-12 03:28:04 +08001953 drop_spte(vcpu->kvm, sptep);
Avi Kivitybe38d272010-06-06 14:31:27 +03001954 goto done;
Marcelo Tosatti38187c82008-09-23 13:18:32 -03001955 }
1956
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001957 spte |= PT_WRITABLE_MASK;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001958
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02001959 if (!vcpu->arch.mmu.direct_map
Avi Kivity411c5882011-06-06 16:11:54 +03001960 && !(pte_access & ACC_WRITE_MASK)) {
Avi Kivity69325a12010-05-27 14:35:58 +03001961 spte &= ~PT_USER_MASK;
Avi Kivity411c5882011-06-06 16:11:54 +03001962 /*
1963 * If we converted a user page to a kernel page,
1964 * so that the kernel can write to it when cr0.wp=0,
1965 * then we should prevent the kernel from executing it
1966 * if SMEP is enabled.
1967 */
1968 if (kvm_read_cr4_bits(vcpu, X86_CR4_SMEP))
1969 spte |= PT64_NX_MASK;
1970 }
Avi Kivity69325a12010-05-27 14:35:58 +03001971
Marcelo Tosattiecc55892008-11-25 15:58:07 +01001972 /*
1973 * Optimization: for pte sync, if spte was writable the hash
1974 * lookup is unnecessary (and expensive). Write protection
1975 * is responsibility of mmu_get_page / kvm_sync_page.
1976 * Same reasoning can be applied to dirty page accounting.
1977 */
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +09001978 if (!can_unsync && is_writable_pte(*sptep))
Marcelo Tosattiecc55892008-11-25 15:58:07 +01001979 goto set_pte;
1980
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001981 if (mmu_need_write_protect(vcpu, gfn, can_unsync)) {
Xiao Guangrong9ad17b102010-08-28 19:19:42 +08001982 pgprintk("%s: found shadow page for %llx, marking ro\n",
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001983 __func__, gfn);
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001984 ret = 1;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001985 pte_access &= ~ACC_WRITE_MASK;
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +09001986 if (is_writable_pte(spte))
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001987 spte &= ~PT_WRITABLE_MASK;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001988 }
1989 }
1990
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001991 if (pte_access & ACC_WRITE_MASK)
1992 mark_page_dirty(vcpu->kvm, gfn);
1993
Marcelo Tosatti38187c82008-09-23 13:18:32 -03001994set_pte:
Avi Kivityb79b93f2010-06-06 15:46:44 +03001995 update_spte(sptep, spte);
Xiao Guangrongb330aa02010-11-19 17:02:35 +08001996 /*
1997 * If we overwrite a writable spte with a read-only one we
1998 * should flush remote TLBs. Otherwise rmap_write_protect
1999 * will find a read-only spte, even though the writable spte
2000 * might be cached on a CPU's TLB.
2001 */
2002 if (is_writable_pte(entry) && !is_writable_pte(*sptep))
2003 kvm_flush_remote_tlbs(vcpu->kvm);
Avi Kivitybe38d272010-06-06 14:31:27 +03002004done:
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002005 return ret;
2006}
2007
Avi Kivityd555c332009-06-10 14:24:23 +03002008static void mmu_set_spte(struct kvm_vcpu *vcpu, u64 *sptep,
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002009 unsigned pt_access, unsigned pte_access,
Xiao Guangrong640d9b02011-07-12 03:24:39 +08002010 int user_fault, int write_fault,
Xiao Guangrongb90a0e62011-07-12 03:25:56 +08002011 int *emulate, int level, gfn_t gfn,
Izik Eidus14032832009-09-23 21:47:17 +03002012 pfn_t pfn, bool speculative,
Lai Jiangshan9bdbba12010-11-19 17:03:22 +08002013 bool host_writable)
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002014{
2015 int was_rmapped = 0;
Marcelo Tosatti53a27b32009-08-05 15:43:58 -03002016 int rmap_count;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002017
2018 pgprintk("%s: spte %llx access %x write_fault %d"
Xiao Guangrong9ad17b102010-08-28 19:19:42 +08002019 " user_fault %d gfn %llx\n",
Avi Kivityd555c332009-06-10 14:24:23 +03002020 __func__, *sptep, pt_access,
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002021 write_fault, user_fault, gfn);
2022
Avi Kivityd555c332009-06-10 14:24:23 +03002023 if (is_rmap_spte(*sptep)) {
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002024 /*
2025 * If we overwrite a PTE page pointer with a 2MB PMD, unlink
2026 * the parent of the now unreachable PTE.
2027 */
Joerg Roedel852e3c12009-07-27 16:30:44 +02002028 if (level > PT_PAGE_TABLE_LEVEL &&
2029 !is_large_pte(*sptep)) {
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002030 struct kvm_mmu_page *child;
Avi Kivityd555c332009-06-10 14:24:23 +03002031 u64 pte = *sptep;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002032
2033 child = page_header(pte & PT64_BASE_ADDR_MASK);
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08002034 drop_parent_pte(child, sptep);
Marcelo Tosatti3be22642010-05-28 09:44:59 -03002035 kvm_flush_remote_tlbs(vcpu->kvm);
Avi Kivityd555c332009-06-10 14:24:23 +03002036 } else if (pfn != spte_to_pfn(*sptep)) {
Xiao Guangrong9ad17b102010-08-28 19:19:42 +08002037 pgprintk("hfn old %llx new %llx\n",
Avi Kivityd555c332009-06-10 14:24:23 +03002038 spte_to_pfn(*sptep), pfn);
Xiao Guangrongc3707952011-07-12 03:28:04 +08002039 drop_spte(vcpu->kvm, sptep);
Xiao Guangrong91546352010-06-30 16:04:06 +08002040 kvm_flush_remote_tlbs(vcpu->kvm);
Joerg Roedel6bed6b92009-02-18 14:08:59 +01002041 } else
2042 was_rmapped = 1;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002043 }
Joerg Roedel852e3c12009-07-27 16:30:44 +02002044
Avi Kivityd555c332009-06-10 14:24:23 +03002045 if (set_spte(vcpu, sptep, pte_access, user_fault, write_fault,
Xiao Guangrong640d9b02011-07-12 03:24:39 +08002046 level, gfn, pfn, speculative, true,
Lai Jiangshan9bdbba12010-11-19 17:03:22 +08002047 host_writable)) {
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002048 if (write_fault)
Xiao Guangrongb90a0e62011-07-12 03:25:56 +08002049 *emulate = 1;
Xiao Guangrong5304efd2010-06-08 20:05:57 +08002050 kvm_mmu_flush_tlb(vcpu);
Marcelo Tosattia378b4e2008-09-23 13:18:31 -03002051 }
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002052
Avi Kivityd555c332009-06-10 14:24:23 +03002053 pgprintk("%s: setting spte %llx\n", __func__, *sptep);
Xiao Guangrong9ad17b102010-08-28 19:19:42 +08002054 pgprintk("instantiating %s PTE (%s) at %llx (%llx) addr %p\n",
Avi Kivityd555c332009-06-10 14:24:23 +03002055 is_large_pte(*sptep)? "2MB" : "4kB",
Joerg Roedela205bc12009-07-09 16:36:01 +02002056 *sptep & PT_PRESENT_MASK ?"RW":"R", gfn,
2057 *sptep, sptep);
Avi Kivityd555c332009-06-10 14:24:23 +03002058 if (!was_rmapped && is_large_pte(*sptep))
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002059 ++vcpu->kvm->stat.lpages;
2060
Xiao Guangrongffb61bb2011-07-12 03:22:01 +08002061 if (is_shadow_present_pte(*sptep)) {
2062 page_header_update_slot(vcpu->kvm, sptep, gfn);
2063 if (!was_rmapped) {
2064 rmap_count = rmap_add(vcpu, sptep, gfn);
2065 if (rmap_count > RMAP_RECYCLE_THRESHOLD)
2066 rmap_recycle(vcpu, sptep, gfn);
2067 }
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002068 }
Xiao Guangrong9ed55202010-07-16 11:25:17 +08002069 kvm_release_pfn_clean(pfn);
Avi Kivity1b7fcd32008-05-15 13:51:35 +03002070 if (speculative) {
Avi Kivityd555c332009-06-10 14:24:23 +03002071 vcpu->arch.last_pte_updated = sptep;
Avi Kivity1b7fcd32008-05-15 13:51:35 +03002072 vcpu->arch.last_pte_gfn = gfn;
2073 }
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002074}
2075
Avi Kivity6aa8b732006-12-10 02:21:36 -08002076static void nonpaging_new_cr3(struct kvm_vcpu *vcpu)
2077{
2078}
2079
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002080static pfn_t pte_prefetch_gfn_to_pfn(struct kvm_vcpu *vcpu, gfn_t gfn,
2081 bool no_dirty_log)
2082{
2083 struct kvm_memory_slot *slot;
2084 unsigned long hva;
2085
Xiao Guangrong5d163b12011-03-09 15:43:00 +08002086 slot = gfn_to_memslot_dirty_bitmap(vcpu, gfn, no_dirty_log);
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002087 if (!slot) {
Xiao Guangrongfce92dc2011-07-12 03:28:54 +08002088 get_page(fault_page);
2089 return page_to_pfn(fault_page);
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002090 }
2091
2092 hva = gfn_to_hva_memslot(slot, gfn);
2093
2094 return hva_to_pfn_atomic(vcpu->kvm, hva);
2095}
2096
2097static int direct_pte_prefetch_many(struct kvm_vcpu *vcpu,
2098 struct kvm_mmu_page *sp,
2099 u64 *start, u64 *end)
2100{
2101 struct page *pages[PTE_PREFETCH_NUM];
2102 unsigned access = sp->role.access;
2103 int i, ret;
2104 gfn_t gfn;
2105
2106 gfn = kvm_mmu_page_get_gfn(sp, start - sp->spt);
Xiao Guangrong5d163b12011-03-09 15:43:00 +08002107 if (!gfn_to_memslot_dirty_bitmap(vcpu, gfn, access & ACC_WRITE_MASK))
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002108 return -1;
2109
2110 ret = gfn_to_page_many_atomic(vcpu->kvm, gfn, pages, end - start);
2111 if (ret <= 0)
2112 return -1;
2113
2114 for (i = 0; i < ret; i++, gfn++, start++)
2115 mmu_set_spte(vcpu, start, ACC_ALL,
Xiao Guangrong640d9b02011-07-12 03:24:39 +08002116 access, 0, 0, NULL,
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002117 sp->role.level, gfn,
2118 page_to_pfn(pages[i]), true, true);
2119
2120 return 0;
2121}
2122
2123static void __direct_pte_prefetch(struct kvm_vcpu *vcpu,
2124 struct kvm_mmu_page *sp, u64 *sptep)
2125{
2126 u64 *spte, *start = NULL;
2127 int i;
2128
2129 WARN_ON(!sp->role.direct);
2130
2131 i = (sptep - sp->spt) & ~(PTE_PREFETCH_NUM - 1);
2132 spte = sp->spt + i;
2133
2134 for (i = 0; i < PTE_PREFETCH_NUM; i++, spte++) {
Xiao Guangrongc3707952011-07-12 03:28:04 +08002135 if (is_shadow_present_pte(*spte) || spte == sptep) {
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002136 if (!start)
2137 continue;
2138 if (direct_pte_prefetch_many(vcpu, sp, start, spte) < 0)
2139 break;
2140 start = NULL;
2141 } else if (!start)
2142 start = spte;
2143 }
2144}
2145
2146static void direct_pte_prefetch(struct kvm_vcpu *vcpu, u64 *sptep)
2147{
2148 struct kvm_mmu_page *sp;
2149
2150 /*
2151 * Since it's no accessed bit on EPT, it's no way to
2152 * distinguish between actually accessed translations
2153 * and prefetched, so disable pte prefetch if EPT is
2154 * enabled.
2155 */
2156 if (!shadow_accessed_mask)
2157 return;
2158
2159 sp = page_header(__pa(sptep));
2160 if (sp->role.level > PT_PAGE_TABLE_LEVEL)
2161 return;
2162
2163 __direct_pte_prefetch(vcpu, sp, sptep);
2164}
2165
Joerg Roedel4d9976b2008-02-07 13:47:42 +01002166static int __direct_map(struct kvm_vcpu *vcpu, gpa_t v, int write,
Xiao Guangrong2ec47392010-12-07 10:34:42 +08002167 int map_writable, int level, gfn_t gfn, pfn_t pfn,
2168 bool prefault)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002169{
Avi Kivity9f652d22008-12-25 14:54:25 +02002170 struct kvm_shadow_walk_iterator iterator;
2171 struct kvm_mmu_page *sp;
Xiao Guangrongb90a0e62011-07-12 03:25:56 +08002172 int emulate = 0;
Avi Kivity9f652d22008-12-25 14:54:25 +02002173 gfn_t pseudo_gfn;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002174
Avi Kivity9f652d22008-12-25 14:54:25 +02002175 for_each_shadow_entry(vcpu, (u64)gfn << PAGE_SHIFT, iterator) {
Joerg Roedel852e3c12009-07-27 16:30:44 +02002176 if (iterator.level == level) {
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002177 unsigned pte_access = ACC_ALL;
2178
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002179 mmu_set_spte(vcpu, iterator.sptep, ACC_ALL, pte_access,
Xiao Guangrongb90a0e62011-07-12 03:25:56 +08002180 0, write, &emulate,
Xiao Guangrong2ec47392010-12-07 10:34:42 +08002181 level, gfn, pfn, prefault, map_writable);
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002182 direct_pte_prefetch(vcpu, iterator.sptep);
Avi Kivity9f652d22008-12-25 14:54:25 +02002183 ++vcpu->stat.pf_fixed;
2184 break;
2185 }
2186
Xiao Guangrongc3707952011-07-12 03:28:04 +08002187 if (!is_shadow_present_pte(*iterator.sptep)) {
Lai Jiangshanc9fa0b32010-05-26 16:48:25 +08002188 u64 base_addr = iterator.addr;
2189
2190 base_addr &= PT64_LVL_ADDR_MASK(iterator.level);
2191 pseudo_gfn = base_addr >> PAGE_SHIFT;
Avi Kivity9f652d22008-12-25 14:54:25 +02002192 sp = kvm_mmu_get_page(vcpu, pseudo_gfn, iterator.addr,
2193 iterator.level - 1,
2194 1, ACC_ALL, iterator.sptep);
2195 if (!sp) {
2196 pgprintk("nonpaging_map: ENOMEM\n");
2197 kvm_release_pfn_clean(pfn);
2198 return -ENOMEM;
2199 }
2200
Avi Kivityd555c332009-06-10 14:24:23 +03002201 __set_spte(iterator.sptep,
2202 __pa(sp->spt)
2203 | PT_PRESENT_MASK | PT_WRITABLE_MASK
Xiao Guangrong33f91ed2010-09-27 18:05:00 +08002204 | shadow_user_mask | shadow_x_mask
2205 | shadow_accessed_mask);
Avi Kivity9f652d22008-12-25 14:54:25 +02002206 }
2207 }
Xiao Guangrongb90a0e62011-07-12 03:25:56 +08002208 return emulate;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002209}
2210
Huang Ying77db5cb2010-10-08 16:24:15 +08002211static void kvm_send_hwpoison_signal(unsigned long address, struct task_struct *tsk)
Huang Yingbf998152010-05-31 14:28:19 +08002212{
Huang Ying77db5cb2010-10-08 16:24:15 +08002213 siginfo_t info;
Huang Yingbf998152010-05-31 14:28:19 +08002214
Huang Ying77db5cb2010-10-08 16:24:15 +08002215 info.si_signo = SIGBUS;
2216 info.si_errno = 0;
2217 info.si_code = BUS_MCEERR_AR;
2218 info.si_addr = (void __user *)address;
2219 info.si_addr_lsb = PAGE_SHIFT;
2220
2221 send_sig_info(SIGBUS, &info, tsk);
Huang Yingbf998152010-05-31 14:28:19 +08002222}
2223
Xiao Guangrongbebb1062011-07-12 03:23:20 +08002224static int kvm_handle_bad_page(struct kvm_vcpu *vcpu, gva_t gva,
2225 unsigned access, gfn_t gfn, pfn_t pfn)
Huang Yingbf998152010-05-31 14:28:19 +08002226{
2227 kvm_release_pfn_clean(pfn);
2228 if (is_hwpoison_pfn(pfn)) {
Xiao Guangrongbebb1062011-07-12 03:23:20 +08002229 kvm_send_hwpoison_signal(gfn_to_hva(vcpu->kvm, gfn), current);
Huang Yingbf998152010-05-31 14:28:19 +08002230 return 0;
Gleb Natapovedba23e2010-07-07 20:16:45 +03002231 } else if (is_fault_pfn(pfn))
2232 return -EFAULT;
2233
Xiao Guangrongbebb1062011-07-12 03:23:20 +08002234 vcpu_cache_mmio_info(vcpu, gva, gfn, access);
Huang Yingbf998152010-05-31 14:28:19 +08002235 return 1;
2236}
2237
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002238static void transparent_hugepage_adjust(struct kvm_vcpu *vcpu,
2239 gfn_t *gfnp, pfn_t *pfnp, int *levelp)
2240{
2241 pfn_t pfn = *pfnp;
2242 gfn_t gfn = *gfnp;
2243 int level = *levelp;
2244
2245 /*
2246 * Check if it's a transparent hugepage. If this would be an
2247 * hugetlbfs page, level wouldn't be set to
2248 * PT_PAGE_TABLE_LEVEL and there would be no adjustment done
2249 * here.
2250 */
2251 if (!is_error_pfn(pfn) && !kvm_is_mmio_pfn(pfn) &&
2252 level == PT_PAGE_TABLE_LEVEL &&
2253 PageTransCompound(pfn_to_page(pfn)) &&
2254 !has_wrprotected_page(vcpu->kvm, gfn, PT_DIRECTORY_LEVEL)) {
2255 unsigned long mask;
2256 /*
2257 * mmu_notifier_retry was successful and we hold the
2258 * mmu_lock here, so the pmd can't become splitting
2259 * from under us, and in turn
2260 * __split_huge_page_refcount() can't run from under
2261 * us and we can safely transfer the refcount from
2262 * PG_tail to PG_head as we switch the pfn to tail to
2263 * head.
2264 */
2265 *levelp = level = PT_DIRECTORY_LEVEL;
2266 mask = KVM_PAGES_PER_HPAGE(level) - 1;
2267 VM_BUG_ON((gfn & mask) != (pfn & mask));
2268 if (pfn & mask) {
2269 gfn &= ~mask;
2270 *gfnp = gfn;
2271 kvm_release_pfn_clean(pfn);
2272 pfn &= ~mask;
2273 if (!get_page_unless_zero(pfn_to_page(pfn)))
2274 BUG();
2275 *pfnp = pfn;
2276 }
2277 }
2278}
2279
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002280static bool try_async_pf(struct kvm_vcpu *vcpu, bool prefault, gfn_t gfn,
Xiao Guangrong060c2ab2010-11-12 14:49:11 +08002281 gva_t gva, pfn_t *pfn, bool write, bool *writable);
2282
2283static int nonpaging_map(struct kvm_vcpu *vcpu, gva_t v, int write, gfn_t gfn,
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002284 bool prefault)
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002285{
2286 int r;
Joerg Roedel852e3c12009-07-27 16:30:44 +02002287 int level;
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002288 int force_pt_level;
Anthony Liguori35149e22008-04-02 14:46:56 -05002289 pfn_t pfn;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002290 unsigned long mmu_seq;
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002291 bool map_writable;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002292
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002293 force_pt_level = mapping_level_dirty_bitmap(vcpu, gfn);
2294 if (likely(!force_pt_level)) {
2295 level = mapping_level(vcpu, gfn);
2296 /*
2297 * This path builds a PAE pagetable - so we can map
2298 * 2mb pages at maximum. Therefore check if the level
2299 * is larger than that.
2300 */
2301 if (level > PT_DIRECTORY_LEVEL)
2302 level = PT_DIRECTORY_LEVEL;
Joerg Roedel852e3c12009-07-27 16:30:44 +02002303
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002304 gfn &= ~(KVM_PAGES_PER_HPAGE(level) - 1);
2305 } else
2306 level = PT_PAGE_TABLE_LEVEL;
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002307
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002308 mmu_seq = vcpu->kvm->mmu_notifier_seq;
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -03002309 smp_rmb();
Xiao Guangrong060c2ab2010-11-12 14:49:11 +08002310
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002311 if (try_async_pf(vcpu, prefault, gfn, v, &pfn, write, &map_writable))
Xiao Guangrong060c2ab2010-11-12 14:49:11 +08002312 return 0;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002313
Avi Kivityd196e342008-01-24 11:44:11 +02002314 /* mmio */
Huang Yingbf998152010-05-31 14:28:19 +08002315 if (is_error_pfn(pfn))
Xiao Guangrongbebb1062011-07-12 03:23:20 +08002316 return kvm_handle_bad_page(vcpu, v, ACC_ALL, gfn, pfn);
Avi Kivityd196e342008-01-24 11:44:11 +02002317
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002318 spin_lock(&vcpu->kvm->mmu_lock);
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002319 if (mmu_notifier_retry(vcpu, mmu_seq))
2320 goto out_unlock;
Avi Kivityeb787d12007-12-31 15:27:49 +02002321 kvm_mmu_free_some_pages(vcpu);
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002322 if (likely(!force_pt_level))
2323 transparent_hugepage_adjust(vcpu, &gfn, &pfn, &level);
Xiao Guangrong2ec47392010-12-07 10:34:42 +08002324 r = __direct_map(vcpu, v, write, map_writable, level, gfn, pfn,
2325 prefault);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002326 spin_unlock(&vcpu->kvm->mmu_lock);
2327
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002328
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002329 return r;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002330
2331out_unlock:
2332 spin_unlock(&vcpu->kvm->mmu_lock);
2333 kvm_release_pfn_clean(pfn);
2334 return 0;
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002335}
2336
2337
Avi Kivity17ac10a2007-01-05 16:36:40 -08002338static void mmu_free_roots(struct kvm_vcpu *vcpu)
2339{
2340 int i;
Avi Kivity4db35312007-11-21 15:28:32 +02002341 struct kvm_mmu_page *sp;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08002342 LIST_HEAD(invalid_list);
Avi Kivity17ac10a2007-01-05 16:36:40 -08002343
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002344 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))
Avi Kivity7b53aa52007-06-05 12:17:03 +03002345 return;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002346 spin_lock(&vcpu->kvm->mmu_lock);
Joerg Roedel81407ca2010-09-10 17:31:00 +02002347 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL &&
2348 (vcpu->arch.mmu.root_level == PT64_ROOT_LEVEL ||
2349 vcpu->arch.mmu.direct_map)) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002350 hpa_t root = vcpu->arch.mmu.root_hpa;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002351
Avi Kivity4db35312007-11-21 15:28:32 +02002352 sp = page_header(root);
2353 --sp->root_count;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08002354 if (!sp->root_count && sp->role.invalid) {
2355 kvm_mmu_prepare_zap_page(vcpu->kvm, sp, &invalid_list);
2356 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
2357 }
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002358 vcpu->arch.mmu.root_hpa = INVALID_PAGE;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002359 spin_unlock(&vcpu->kvm->mmu_lock);
Avi Kivity17ac10a2007-01-05 16:36:40 -08002360 return;
2361 }
Avi Kivity17ac10a2007-01-05 16:36:40 -08002362 for (i = 0; i < 4; ++i) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002363 hpa_t root = vcpu->arch.mmu.pae_root[i];
Avi Kivity17ac10a2007-01-05 16:36:40 -08002364
Avi Kivity417726a2007-04-12 17:35:58 +03002365 if (root) {
Avi Kivity417726a2007-04-12 17:35:58 +03002366 root &= PT64_BASE_ADDR_MASK;
Avi Kivity4db35312007-11-21 15:28:32 +02002367 sp = page_header(root);
2368 --sp->root_count;
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05002369 if (!sp->root_count && sp->role.invalid)
Xiao Guangrongd98ba052010-06-04 21:55:29 +08002370 kvm_mmu_prepare_zap_page(vcpu->kvm, sp,
2371 &invalid_list);
Avi Kivity417726a2007-04-12 17:35:58 +03002372 }
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002373 vcpu->arch.mmu.pae_root[i] = INVALID_PAGE;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002374 }
Xiao Guangrongd98ba052010-06-04 21:55:29 +08002375 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002376 spin_unlock(&vcpu->kvm->mmu_lock);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002377 vcpu->arch.mmu.root_hpa = INVALID_PAGE;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002378}
2379
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002380static int mmu_check_root(struct kvm_vcpu *vcpu, gfn_t root_gfn)
2381{
2382 int ret = 0;
2383
2384 if (!kvm_is_visible_gfn(vcpu->kvm, root_gfn)) {
Avi Kivitya8eeb042010-05-10 12:34:53 +03002385 kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002386 ret = 1;
2387 }
2388
2389 return ret;
2390}
2391
Joerg Roedel651dd372010-09-10 17:30:59 +02002392static int mmu_alloc_direct_roots(struct kvm_vcpu *vcpu)
2393{
2394 struct kvm_mmu_page *sp;
Avi Kivity7ebaf152010-10-03 18:51:39 +02002395 unsigned i;
Joerg Roedel651dd372010-09-10 17:30:59 +02002396
2397 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL) {
2398 spin_lock(&vcpu->kvm->mmu_lock);
2399 kvm_mmu_free_some_pages(vcpu);
2400 sp = kvm_mmu_get_page(vcpu, 0, 0, PT64_ROOT_LEVEL,
2401 1, ACC_ALL, NULL);
2402 ++sp->root_count;
2403 spin_unlock(&vcpu->kvm->mmu_lock);
2404 vcpu->arch.mmu.root_hpa = __pa(sp->spt);
2405 } else if (vcpu->arch.mmu.shadow_root_level == PT32E_ROOT_LEVEL) {
2406 for (i = 0; i < 4; ++i) {
2407 hpa_t root = vcpu->arch.mmu.pae_root[i];
2408
2409 ASSERT(!VALID_PAGE(root));
2410 spin_lock(&vcpu->kvm->mmu_lock);
2411 kvm_mmu_free_some_pages(vcpu);
Avi Kivity649497d2010-12-28 12:09:07 +02002412 sp = kvm_mmu_get_page(vcpu, i << (30 - PAGE_SHIFT),
2413 i << 30,
Joerg Roedel651dd372010-09-10 17:30:59 +02002414 PT32_ROOT_LEVEL, 1, ACC_ALL,
2415 NULL);
2416 root = __pa(sp->spt);
2417 ++sp->root_count;
2418 spin_unlock(&vcpu->kvm->mmu_lock);
2419 vcpu->arch.mmu.pae_root[i] = root | PT_PRESENT_MASK;
Joerg Roedel651dd372010-09-10 17:30:59 +02002420 }
Xiao Guangrong62927572010-09-27 18:02:12 +08002421 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root);
Joerg Roedel651dd372010-09-10 17:30:59 +02002422 } else
2423 BUG();
2424
2425 return 0;
2426}
2427
2428static int mmu_alloc_shadow_roots(struct kvm_vcpu *vcpu)
Avi Kivity17ac10a2007-01-05 16:36:40 -08002429{
Avi Kivity4db35312007-11-21 15:28:32 +02002430 struct kvm_mmu_page *sp;
Joerg Roedel81407ca2010-09-10 17:31:00 +02002431 u64 pdptr, pm_mask;
2432 gfn_t root_gfn;
2433 int i;
Avi Kivity3bb65a22007-01-05 16:36:51 -08002434
Joerg Roedel5777ed32010-09-10 17:30:42 +02002435 root_gfn = vcpu->arch.mmu.get_cr3(vcpu) >> PAGE_SHIFT;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002436
Joerg Roedel651dd372010-09-10 17:30:59 +02002437 if (mmu_check_root(vcpu, root_gfn))
2438 return 1;
2439
2440 /*
2441 * Do we shadow a long mode page table? If so we need to
2442 * write-protect the guests page table root.
2443 */
2444 if (vcpu->arch.mmu.root_level == PT64_ROOT_LEVEL) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002445 hpa_t root = vcpu->arch.mmu.root_hpa;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002446
2447 ASSERT(!VALID_PAGE(root));
Joerg Roedel651dd372010-09-10 17:30:59 +02002448
Avi Kivity8facbbf2010-05-04 12:58:32 +03002449 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti24955b62010-05-12 21:00:35 -03002450 kvm_mmu_free_some_pages(vcpu);
Joerg Roedel651dd372010-09-10 17:30:59 +02002451 sp = kvm_mmu_get_page(vcpu, root_gfn, 0, PT64_ROOT_LEVEL,
2452 0, ACC_ALL, NULL);
Avi Kivity4db35312007-11-21 15:28:32 +02002453 root = __pa(sp->spt);
2454 ++sp->root_count;
Avi Kivity8facbbf2010-05-04 12:58:32 +03002455 spin_unlock(&vcpu->kvm->mmu_lock);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002456 vcpu->arch.mmu.root_hpa = root;
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002457 return 0;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002458 }
Joerg Roedelf87f9282010-09-02 17:29:45 +02002459
Joerg Roedel651dd372010-09-10 17:30:59 +02002460 /*
2461 * We shadow a 32 bit page table. This may be a legacy 2-level
Joerg Roedel81407ca2010-09-10 17:31:00 +02002462 * or a PAE 3-level page table. In either case we need to be aware that
2463 * the shadow page table may be a PAE or a long mode page table.
Joerg Roedel651dd372010-09-10 17:30:59 +02002464 */
Joerg Roedel81407ca2010-09-10 17:31:00 +02002465 pm_mask = PT_PRESENT_MASK;
2466 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL)
2467 pm_mask |= PT_ACCESSED_MASK | PT_WRITABLE_MASK | PT_USER_MASK;
2468
Avi Kivity17ac10a2007-01-05 16:36:40 -08002469 for (i = 0; i < 4; ++i) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002470 hpa_t root = vcpu->arch.mmu.pae_root[i];
Avi Kivity17ac10a2007-01-05 16:36:40 -08002471
2472 ASSERT(!VALID_PAGE(root));
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002473 if (vcpu->arch.mmu.root_level == PT32E_ROOT_LEVEL) {
Joerg Roedeld41d1892010-09-10 17:30:58 +02002474 pdptr = kvm_pdptr_read_mmu(vcpu, &vcpu->arch.mmu, i);
Avi Kivity43a37952009-06-10 14:12:05 +03002475 if (!is_present_gpte(pdptr)) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002476 vcpu->arch.mmu.pae_root[i] = 0;
Avi Kivity417726a2007-04-12 17:35:58 +03002477 continue;
2478 }
Avi Kivity6de4f3a2009-05-31 22:58:47 +03002479 root_gfn = pdptr >> PAGE_SHIFT;
Joerg Roedelf87f9282010-09-02 17:29:45 +02002480 if (mmu_check_root(vcpu, root_gfn))
2481 return 1;
Eric Northup5a7388c2010-04-26 17:00:05 -07002482 }
Avi Kivity8facbbf2010-05-04 12:58:32 +03002483 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti24955b62010-05-12 21:00:35 -03002484 kvm_mmu_free_some_pages(vcpu);
Avi Kivity4db35312007-11-21 15:28:32 +02002485 sp = kvm_mmu_get_page(vcpu, root_gfn, i << 30,
Joerg Roedel651dd372010-09-10 17:30:59 +02002486 PT32_ROOT_LEVEL, 0,
Avi Kivityf7d9c7b2008-02-26 22:12:10 +02002487 ACC_ALL, NULL);
Avi Kivity4db35312007-11-21 15:28:32 +02002488 root = __pa(sp->spt);
2489 ++sp->root_count;
Avi Kivity8facbbf2010-05-04 12:58:32 +03002490 spin_unlock(&vcpu->kvm->mmu_lock);
2491
Joerg Roedel81407ca2010-09-10 17:31:00 +02002492 vcpu->arch.mmu.pae_root[i] = root | pm_mask;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002493 }
Xiao Guangrong62927572010-09-27 18:02:12 +08002494 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root);
Joerg Roedel81407ca2010-09-10 17:31:00 +02002495
2496 /*
2497 * If we shadow a 32 bit page table with a long mode page
2498 * table we enter this path.
2499 */
2500 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL) {
2501 if (vcpu->arch.mmu.lm_root == NULL) {
2502 /*
2503 * The additional page necessary for this is only
2504 * allocated on demand.
2505 */
2506
2507 u64 *lm_root;
2508
2509 lm_root = (void*)get_zeroed_page(GFP_KERNEL);
2510 if (lm_root == NULL)
2511 return 1;
2512
2513 lm_root[0] = __pa(vcpu->arch.mmu.pae_root) | pm_mask;
2514
2515 vcpu->arch.mmu.lm_root = lm_root;
2516 }
2517
2518 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.lm_root);
2519 }
2520
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002521 return 0;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002522}
2523
Joerg Roedel651dd372010-09-10 17:30:59 +02002524static int mmu_alloc_roots(struct kvm_vcpu *vcpu)
2525{
2526 if (vcpu->arch.mmu.direct_map)
2527 return mmu_alloc_direct_roots(vcpu);
2528 else
2529 return mmu_alloc_shadow_roots(vcpu);
2530}
2531
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002532static void mmu_sync_roots(struct kvm_vcpu *vcpu)
2533{
2534 int i;
2535 struct kvm_mmu_page *sp;
2536
Joerg Roedel81407ca2010-09-10 17:31:00 +02002537 if (vcpu->arch.mmu.direct_map)
2538 return;
2539
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002540 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))
2541 return;
Xiao Guangrong69030742010-09-27 18:09:29 +08002542
Xiao Guangrongbebb1062011-07-12 03:23:20 +08002543 vcpu_clear_mmio_info(vcpu, ~0ul);
Xiao Guangrong69030742010-09-27 18:09:29 +08002544 trace_kvm_mmu_audit(vcpu, AUDIT_PRE_SYNC);
Joerg Roedel81407ca2010-09-10 17:31:00 +02002545 if (vcpu->arch.mmu.root_level == PT64_ROOT_LEVEL) {
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002546 hpa_t root = vcpu->arch.mmu.root_hpa;
2547 sp = page_header(root);
2548 mmu_sync_children(vcpu, sp);
Xiao Guangrong5054c0d2010-11-12 14:46:08 +08002549 trace_kvm_mmu_audit(vcpu, AUDIT_POST_SYNC);
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002550 return;
2551 }
2552 for (i = 0; i < 4; ++i) {
2553 hpa_t root = vcpu->arch.mmu.pae_root[i];
2554
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002555 if (root && VALID_PAGE(root)) {
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002556 root &= PT64_BASE_ADDR_MASK;
2557 sp = page_header(root);
2558 mmu_sync_children(vcpu, sp);
2559 }
2560 }
Xiao Guangrong69030742010-09-27 18:09:29 +08002561 trace_kvm_mmu_audit(vcpu, AUDIT_POST_SYNC);
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002562}
2563
2564void kvm_mmu_sync_roots(struct kvm_vcpu *vcpu)
2565{
2566 spin_lock(&vcpu->kvm->mmu_lock);
2567 mmu_sync_roots(vcpu);
2568 spin_unlock(&vcpu->kvm->mmu_lock);
2569}
2570
Gleb Natapov1871c602010-02-10 14:21:32 +02002571static gpa_t nonpaging_gva_to_gpa(struct kvm_vcpu *vcpu, gva_t vaddr,
Avi Kivityab9ae312010-11-22 17:53:26 +02002572 u32 access, struct x86_exception *exception)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002573{
Avi Kivityab9ae312010-11-22 17:53:26 +02002574 if (exception)
2575 exception->error_code = 0;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002576 return vaddr;
2577}
2578
Joerg Roedel6539e732010-09-10 17:30:50 +02002579static gpa_t nonpaging_gva_to_gpa_nested(struct kvm_vcpu *vcpu, gva_t vaddr,
Avi Kivityab9ae312010-11-22 17:53:26 +02002580 u32 access,
2581 struct x86_exception *exception)
Joerg Roedel6539e732010-09-10 17:30:50 +02002582{
Avi Kivityab9ae312010-11-22 17:53:26 +02002583 if (exception)
2584 exception->error_code = 0;
Joerg Roedel6539e732010-09-10 17:30:50 +02002585 return vcpu->arch.nested_mmu.translate_gpa(vcpu, vaddr, access);
2586}
2587
Avi Kivity6aa8b732006-12-10 02:21:36 -08002588static int nonpaging_page_fault(struct kvm_vcpu *vcpu, gva_t gva,
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002589 u32 error_code, bool prefault)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002590{
Avi Kivitye8332402007-12-09 18:43:00 +02002591 gfn_t gfn;
Avi Kivitye2dec932007-01-05 16:36:54 -08002592 int r;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002593
Harvey Harrisonb8688d52008-03-03 12:59:56 -08002594 pgprintk("%s: gva %lx error %x\n", __func__, gva, error_code);
Avi Kivitye2dec932007-01-05 16:36:54 -08002595 r = mmu_topup_memory_caches(vcpu);
2596 if (r)
2597 return r;
Avi Kivity714b93d2007-01-05 16:36:53 -08002598
Avi Kivity6aa8b732006-12-10 02:21:36 -08002599 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002600 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity6aa8b732006-12-10 02:21:36 -08002601
Avi Kivitye8332402007-12-09 18:43:00 +02002602 gfn = gva >> PAGE_SHIFT;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002603
Avi Kivitye8332402007-12-09 18:43:00 +02002604 return nonpaging_map(vcpu, gva & PAGE_MASK,
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002605 error_code & PFERR_WRITE_MASK, gfn, prefault);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002606}
2607
Jan Kiszka7e1fbea2010-10-20 15:18:02 +02002608static int kvm_arch_setup_async_pf(struct kvm_vcpu *vcpu, gva_t gva, gfn_t gfn)
Gleb Natapovaf585b92010-10-14 11:22:46 +02002609{
2610 struct kvm_arch_async_pf arch;
Xiao Guangrongfb67e142010-12-07 10:35:25 +08002611
Gleb Natapov7c907052010-10-14 11:22:53 +02002612 arch.token = (vcpu->arch.apf.id++ << 12) | vcpu->vcpu_id;
Gleb Natapovaf585b92010-10-14 11:22:46 +02002613 arch.gfn = gfn;
Xiao Guangrongc4806ac2010-11-12 14:49:55 +08002614 arch.direct_map = vcpu->arch.mmu.direct_map;
Xiao Guangrongfb67e142010-12-07 10:35:25 +08002615 arch.cr3 = vcpu->arch.mmu.get_cr3(vcpu);
Gleb Natapovaf585b92010-10-14 11:22:46 +02002616
2617 return kvm_setup_async_pf(vcpu, gva, gfn, &arch);
2618}
2619
2620static bool can_do_async_pf(struct kvm_vcpu *vcpu)
2621{
2622 if (unlikely(!irqchip_in_kernel(vcpu->kvm) ||
2623 kvm_event_needs_reinjection(vcpu)))
2624 return false;
2625
2626 return kvm_x86_ops->interrupt_allowed(vcpu);
2627}
2628
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002629static bool try_async_pf(struct kvm_vcpu *vcpu, bool prefault, gfn_t gfn,
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002630 gva_t gva, pfn_t *pfn, bool write, bool *writable)
Gleb Natapovaf585b92010-10-14 11:22:46 +02002631{
2632 bool async;
2633
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002634 *pfn = gfn_to_pfn_async(vcpu->kvm, gfn, &async, write, writable);
Gleb Natapovaf585b92010-10-14 11:22:46 +02002635
2636 if (!async)
2637 return false; /* *pfn has correct page already */
2638
2639 put_page(pfn_to_page(*pfn));
2640
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002641 if (!prefault && can_do_async_pf(vcpu)) {
Xiao Guangrongc9b263d2010-11-01 16:58:43 +08002642 trace_kvm_try_async_get_page(gva, gfn);
Gleb Natapovaf585b92010-10-14 11:22:46 +02002643 if (kvm_find_async_pf_gfn(vcpu, gfn)) {
2644 trace_kvm_async_pf_doublefault(gva, gfn);
2645 kvm_make_request(KVM_REQ_APF_HALT, vcpu);
2646 return true;
2647 } else if (kvm_arch_setup_async_pf(vcpu, gva, gfn))
2648 return true;
2649 }
2650
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002651 *pfn = gfn_to_pfn_prot(vcpu->kvm, gfn, write, writable);
Gleb Natapovaf585b92010-10-14 11:22:46 +02002652
2653 return false;
2654}
2655
Gleb Natapov56028d02010-10-17 18:13:42 +02002656static int tdp_page_fault(struct kvm_vcpu *vcpu, gva_t gpa, u32 error_code,
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002657 bool prefault)
Joerg Roedelfb72d162008-02-07 13:47:44 +01002658{
Anthony Liguori35149e22008-04-02 14:46:56 -05002659 pfn_t pfn;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002660 int r;
Joerg Roedel852e3c12009-07-27 16:30:44 +02002661 int level;
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002662 int force_pt_level;
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002663 gfn_t gfn = gpa >> PAGE_SHIFT;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002664 unsigned long mmu_seq;
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002665 int write = error_code & PFERR_WRITE_MASK;
2666 bool map_writable;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002667
2668 ASSERT(vcpu);
2669 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa));
2670
2671 r = mmu_topup_memory_caches(vcpu);
2672 if (r)
2673 return r;
2674
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002675 force_pt_level = mapping_level_dirty_bitmap(vcpu, gfn);
2676 if (likely(!force_pt_level)) {
2677 level = mapping_level(vcpu, gfn);
2678 gfn &= ~(KVM_PAGES_PER_HPAGE(level) - 1);
2679 } else
2680 level = PT_PAGE_TABLE_LEVEL;
Joerg Roedel852e3c12009-07-27 16:30:44 +02002681
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002682 mmu_seq = vcpu->kvm->mmu_notifier_seq;
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -03002683 smp_rmb();
Gleb Natapovaf585b92010-10-14 11:22:46 +02002684
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002685 if (try_async_pf(vcpu, prefault, gfn, gpa, &pfn, write, &map_writable))
Gleb Natapovaf585b92010-10-14 11:22:46 +02002686 return 0;
2687
2688 /* mmio */
Huang Yingbf998152010-05-31 14:28:19 +08002689 if (is_error_pfn(pfn))
Xiao Guangrongbebb1062011-07-12 03:23:20 +08002690 return kvm_handle_bad_page(vcpu, 0, 0, gfn, pfn);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002691 spin_lock(&vcpu->kvm->mmu_lock);
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002692 if (mmu_notifier_retry(vcpu, mmu_seq))
2693 goto out_unlock;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002694 kvm_mmu_free_some_pages(vcpu);
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002695 if (likely(!force_pt_level))
2696 transparent_hugepage_adjust(vcpu, &gfn, &pfn, &level);
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002697 r = __direct_map(vcpu, gpa, write, map_writable,
Xiao Guangrong2ec47392010-12-07 10:34:42 +08002698 level, gfn, pfn, prefault);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002699 spin_unlock(&vcpu->kvm->mmu_lock);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002700
2701 return r;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002702
2703out_unlock:
2704 spin_unlock(&vcpu->kvm->mmu_lock);
2705 kvm_release_pfn_clean(pfn);
2706 return 0;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002707}
2708
Avi Kivity6aa8b732006-12-10 02:21:36 -08002709static void nonpaging_free(struct kvm_vcpu *vcpu)
2710{
Avi Kivity17ac10a2007-01-05 16:36:40 -08002711 mmu_free_roots(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002712}
2713
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002714static int nonpaging_init_context(struct kvm_vcpu *vcpu,
2715 struct kvm_mmu *context)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002716{
Avi Kivity6aa8b732006-12-10 02:21:36 -08002717 context->new_cr3 = nonpaging_new_cr3;
2718 context->page_fault = nonpaging_page_fault;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002719 context->gva_to_gpa = nonpaging_gva_to_gpa;
2720 context->free = nonpaging_free;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002721 context->sync_page = nonpaging_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002722 context->invlpg = nonpaging_invlpg;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08002723 context->update_pte = nonpaging_update_pte;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08002724 context->root_level = 0;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002725 context->shadow_root_level = PT32E_ROOT_LEVEL;
Avi Kivity17c3ba92007-06-04 15:58:30 +03002726 context->root_hpa = INVALID_PAGE;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02002727 context->direct_map = true;
Joerg Roedel2d48a982010-09-10 17:31:01 +02002728 context->nx = false;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002729 return 0;
2730}
2731
Avi Kivityd835dfe2007-11-21 02:57:59 +02002732void kvm_mmu_flush_tlb(struct kvm_vcpu *vcpu)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002733{
Avi Kivity1165f5f2007-04-19 17:27:43 +03002734 ++vcpu->stat.tlb_flush;
Avi Kivitya8eeb042010-05-10 12:34:53 +03002735 kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002736}
2737
2738static void paging_new_cr3(struct kvm_vcpu *vcpu)
2739{
Avi Kivity9f8fe502010-12-05 17:30:00 +02002740 pgprintk("%s: cr3 %lx\n", __func__, kvm_read_cr3(vcpu));
Avi Kivitycea0f0e2007-01-05 16:36:43 -08002741 mmu_free_roots(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002742}
2743
Joerg Roedel5777ed32010-09-10 17:30:42 +02002744static unsigned long get_cr3(struct kvm_vcpu *vcpu)
2745{
Avi Kivity9f8fe502010-12-05 17:30:00 +02002746 return kvm_read_cr3(vcpu);
Joerg Roedel5777ed32010-09-10 17:30:42 +02002747}
2748
Avi Kivity6389ee92010-11-29 16:12:30 +02002749static void inject_page_fault(struct kvm_vcpu *vcpu,
2750 struct x86_exception *fault)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002751{
Avi Kivity6389ee92010-11-29 16:12:30 +02002752 vcpu->arch.mmu.inject_page_fault(vcpu, fault);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002753}
2754
Avi Kivity6aa8b732006-12-10 02:21:36 -08002755static void paging_free(struct kvm_vcpu *vcpu)
2756{
2757 nonpaging_free(vcpu);
2758}
2759
Joerg Roedel3241f222010-09-10 17:30:45 +02002760static bool is_rsvd_bits_set(struct kvm_mmu *mmu, u64 gpte, int level)
Dong, Eddie82725b22009-03-30 16:21:08 +08002761{
2762 int bit7;
2763
2764 bit7 = (gpte >> 7) & 1;
Joerg Roedel3241f222010-09-10 17:30:45 +02002765 return (gpte & mmu->rsvd_bits_mask[bit7][level-1]) != 0;
Dong, Eddie82725b22009-03-30 16:21:08 +08002766}
2767
Avi Kivity6aa8b732006-12-10 02:21:36 -08002768#define PTTYPE 64
2769#include "paging_tmpl.h"
2770#undef PTTYPE
2771
2772#define PTTYPE 32
2773#include "paging_tmpl.h"
2774#undef PTTYPE
2775
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002776static void reset_rsvds_bits_mask(struct kvm_vcpu *vcpu,
2777 struct kvm_mmu *context,
2778 int level)
Dong, Eddie82725b22009-03-30 16:21:08 +08002779{
Dong, Eddie82725b22009-03-30 16:21:08 +08002780 int maxphyaddr = cpuid_maxphyaddr(vcpu);
2781 u64 exb_bit_rsvd = 0;
2782
Joerg Roedel2d48a982010-09-10 17:31:01 +02002783 if (!context->nx)
Dong, Eddie82725b22009-03-30 16:21:08 +08002784 exb_bit_rsvd = rsvd_bits(63, 63);
2785 switch (level) {
2786 case PT32_ROOT_LEVEL:
2787 /* no rsvd bits for 2 level 4K page table entries */
2788 context->rsvd_bits_mask[0][1] = 0;
2789 context->rsvd_bits_mask[0][0] = 0;
Xiao Guangrongf815bce2010-03-19 17:58:53 +08002790 context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
2791
2792 if (!is_pse(vcpu)) {
2793 context->rsvd_bits_mask[1][1] = 0;
2794 break;
2795 }
2796
Dong, Eddie82725b22009-03-30 16:21:08 +08002797 if (is_cpuid_PSE36())
2798 /* 36bits PSE 4MB page */
2799 context->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);
2800 else
2801 /* 32 bits PSE 4MB page */
2802 context->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);
Dong, Eddie82725b22009-03-30 16:21:08 +08002803 break;
2804 case PT32E_ROOT_LEVEL:
Dong, Eddie20c466b2009-03-31 23:03:45 +08002805 context->rsvd_bits_mask[0][2] =
2806 rsvd_bits(maxphyaddr, 63) |
2807 rsvd_bits(7, 8) | rsvd_bits(1, 2); /* PDPTE */
Dong, Eddie82725b22009-03-30 16:21:08 +08002808 context->rsvd_bits_mask[0][1] = exb_bit_rsvd |
Sheng Yang4c26b4c2009-04-02 10:28:37 +08002809 rsvd_bits(maxphyaddr, 62); /* PDE */
Dong, Eddie82725b22009-03-30 16:21:08 +08002810 context->rsvd_bits_mask[0][0] = exb_bit_rsvd |
2811 rsvd_bits(maxphyaddr, 62); /* PTE */
2812 context->rsvd_bits_mask[1][1] = exb_bit_rsvd |
2813 rsvd_bits(maxphyaddr, 62) |
2814 rsvd_bits(13, 20); /* large page */
Xiao Guangrongf815bce2010-03-19 17:58:53 +08002815 context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
Dong, Eddie82725b22009-03-30 16:21:08 +08002816 break;
2817 case PT64_ROOT_LEVEL:
2818 context->rsvd_bits_mask[0][3] = exb_bit_rsvd |
2819 rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8);
2820 context->rsvd_bits_mask[0][2] = exb_bit_rsvd |
2821 rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8);
2822 context->rsvd_bits_mask[0][1] = exb_bit_rsvd |
Sheng Yang4c26b4c2009-04-02 10:28:37 +08002823 rsvd_bits(maxphyaddr, 51);
Dong, Eddie82725b22009-03-30 16:21:08 +08002824 context->rsvd_bits_mask[0][0] = exb_bit_rsvd |
2825 rsvd_bits(maxphyaddr, 51);
2826 context->rsvd_bits_mask[1][3] = context->rsvd_bits_mask[0][3];
Joerg Roedele04da982009-07-27 16:30:45 +02002827 context->rsvd_bits_mask[1][2] = exb_bit_rsvd |
2828 rsvd_bits(maxphyaddr, 51) |
2829 rsvd_bits(13, 29);
Dong, Eddie82725b22009-03-30 16:21:08 +08002830 context->rsvd_bits_mask[1][1] = exb_bit_rsvd |
Sheng Yang4c26b4c2009-04-02 10:28:37 +08002831 rsvd_bits(maxphyaddr, 51) |
2832 rsvd_bits(13, 20); /* large page */
Xiao Guangrongf815bce2010-03-19 17:58:53 +08002833 context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
Dong, Eddie82725b22009-03-30 16:21:08 +08002834 break;
2835 }
2836}
2837
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002838static int paging64_init_context_common(struct kvm_vcpu *vcpu,
2839 struct kvm_mmu *context,
2840 int level)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002841{
Joerg Roedel2d48a982010-09-10 17:31:01 +02002842 context->nx = is_nx(vcpu);
2843
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002844 reset_rsvds_bits_mask(vcpu, context, level);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002845
2846 ASSERT(is_pae(vcpu));
2847 context->new_cr3 = paging_new_cr3;
2848 context->page_fault = paging64_page_fault;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002849 context->gva_to_gpa = paging64_gva_to_gpa;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002850 context->sync_page = paging64_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002851 context->invlpg = paging64_invlpg;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08002852 context->update_pte = paging64_update_pte;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002853 context->free = paging_free;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002854 context->root_level = level;
2855 context->shadow_root_level = level;
Avi Kivity17c3ba92007-06-04 15:58:30 +03002856 context->root_hpa = INVALID_PAGE;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02002857 context->direct_map = false;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002858 return 0;
2859}
2860
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002861static int paging64_init_context(struct kvm_vcpu *vcpu,
2862 struct kvm_mmu *context)
Avi Kivity17ac10a2007-01-05 16:36:40 -08002863{
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002864 return paging64_init_context_common(vcpu, context, PT64_ROOT_LEVEL);
Avi Kivity17ac10a2007-01-05 16:36:40 -08002865}
2866
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002867static int paging32_init_context(struct kvm_vcpu *vcpu,
2868 struct kvm_mmu *context)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002869{
Joerg Roedel2d48a982010-09-10 17:31:01 +02002870 context->nx = false;
2871
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002872 reset_rsvds_bits_mask(vcpu, context, PT32_ROOT_LEVEL);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002873
2874 context->new_cr3 = paging_new_cr3;
2875 context->page_fault = paging32_page_fault;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002876 context->gva_to_gpa = paging32_gva_to_gpa;
2877 context->free = paging_free;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002878 context->sync_page = paging32_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002879 context->invlpg = paging32_invlpg;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08002880 context->update_pte = paging32_update_pte;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002881 context->root_level = PT32_ROOT_LEVEL;
2882 context->shadow_root_level = PT32E_ROOT_LEVEL;
Avi Kivity17c3ba92007-06-04 15:58:30 +03002883 context->root_hpa = INVALID_PAGE;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02002884 context->direct_map = false;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002885 return 0;
2886}
2887
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002888static int paging32E_init_context(struct kvm_vcpu *vcpu,
2889 struct kvm_mmu *context)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002890{
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002891 return paging64_init_context_common(vcpu, context, PT32E_ROOT_LEVEL);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002892}
2893
Joerg Roedelfb72d162008-02-07 13:47:44 +01002894static int init_kvm_tdp_mmu(struct kvm_vcpu *vcpu)
2895{
Joerg Roedel14dfe852010-09-10 17:30:49 +02002896 struct kvm_mmu *context = vcpu->arch.walk_mmu;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002897
Avi Kivityc445f8e2010-12-21 16:26:01 +02002898 context->base_role.word = 0;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002899 context->new_cr3 = nonpaging_new_cr3;
2900 context->page_fault = tdp_page_fault;
2901 context->free = nonpaging_free;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002902 context->sync_page = nonpaging_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002903 context->invlpg = nonpaging_invlpg;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08002904 context->update_pte = nonpaging_update_pte;
Sheng Yang67253af2008-04-25 10:20:22 +08002905 context->shadow_root_level = kvm_x86_ops->get_tdp_level();
Joerg Roedelfb72d162008-02-07 13:47:44 +01002906 context->root_hpa = INVALID_PAGE;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02002907 context->direct_map = true;
Joerg Roedel1c97f0a2010-09-10 17:30:41 +02002908 context->set_cr3 = kvm_x86_ops->set_tdp_cr3;
Joerg Roedel5777ed32010-09-10 17:30:42 +02002909 context->get_cr3 = get_cr3;
Joerg Roedelcb659db2010-09-10 17:30:43 +02002910 context->inject_page_fault = kvm_inject_page_fault;
Joerg Roedel2d48a982010-09-10 17:31:01 +02002911 context->nx = is_nx(vcpu);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002912
2913 if (!is_paging(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002914 context->nx = false;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002915 context->gva_to_gpa = nonpaging_gva_to_gpa;
2916 context->root_level = 0;
2917 } else if (is_long_mode(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002918 context->nx = is_nx(vcpu);
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002919 reset_rsvds_bits_mask(vcpu, context, PT64_ROOT_LEVEL);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002920 context->gva_to_gpa = paging64_gva_to_gpa;
2921 context->root_level = PT64_ROOT_LEVEL;
2922 } else if (is_pae(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002923 context->nx = is_nx(vcpu);
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002924 reset_rsvds_bits_mask(vcpu, context, PT32E_ROOT_LEVEL);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002925 context->gva_to_gpa = paging64_gva_to_gpa;
2926 context->root_level = PT32E_ROOT_LEVEL;
2927 } else {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002928 context->nx = false;
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002929 reset_rsvds_bits_mask(vcpu, context, PT32_ROOT_LEVEL);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002930 context->gva_to_gpa = paging32_gva_to_gpa;
2931 context->root_level = PT32_ROOT_LEVEL;
2932 }
2933
2934 return 0;
2935}
2936
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002937int kvm_init_shadow_mmu(struct kvm_vcpu *vcpu, struct kvm_mmu *context)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002938{
Avi Kivitya770f6f2008-12-21 19:20:09 +02002939 int r;
Avi Kivity411c5882011-06-06 16:11:54 +03002940 bool smep = kvm_read_cr4_bits(vcpu, X86_CR4_SMEP);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002941 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002942 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity6aa8b732006-12-10 02:21:36 -08002943
2944 if (!is_paging(vcpu))
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002945 r = nonpaging_init_context(vcpu, context);
Avi Kivitya9058ec2006-12-29 16:49:37 -08002946 else if (is_long_mode(vcpu))
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002947 r = paging64_init_context(vcpu, context);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002948 else if (is_pae(vcpu))
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002949 r = paging32E_init_context(vcpu, context);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002950 else
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002951 r = paging32_init_context(vcpu, context);
Avi Kivitya770f6f2008-12-21 19:20:09 +02002952
Avi Kivity5b7e0102010-04-14 19:20:03 +03002953 vcpu->arch.mmu.base_role.cr4_pae = !!is_pae(vcpu);
Joerg Roedelf43addd2010-09-10 17:30:40 +02002954 vcpu->arch.mmu.base_role.cr0_wp = is_write_protection(vcpu);
Avi Kivity411c5882011-06-06 16:11:54 +03002955 vcpu->arch.mmu.base_role.smep_andnot_wp
2956 = smep && !is_write_protection(vcpu);
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002957
2958 return r;
2959}
2960EXPORT_SYMBOL_GPL(kvm_init_shadow_mmu);
2961
2962static int init_kvm_softmmu(struct kvm_vcpu *vcpu)
2963{
Joerg Roedel14dfe852010-09-10 17:30:49 +02002964 int r = kvm_init_shadow_mmu(vcpu, vcpu->arch.walk_mmu);
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002965
Joerg Roedel14dfe852010-09-10 17:30:49 +02002966 vcpu->arch.walk_mmu->set_cr3 = kvm_x86_ops->set_cr3;
2967 vcpu->arch.walk_mmu->get_cr3 = get_cr3;
2968 vcpu->arch.walk_mmu->inject_page_fault = kvm_inject_page_fault;
Avi Kivitya770f6f2008-12-21 19:20:09 +02002969
2970 return r;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002971}
2972
Joerg Roedel02f59dc2010-09-10 17:30:54 +02002973static int init_kvm_nested_mmu(struct kvm_vcpu *vcpu)
2974{
2975 struct kvm_mmu *g_context = &vcpu->arch.nested_mmu;
2976
2977 g_context->get_cr3 = get_cr3;
2978 g_context->inject_page_fault = kvm_inject_page_fault;
2979
2980 /*
2981 * Note that arch.mmu.gva_to_gpa translates l2_gva to l1_gpa. The
2982 * translation of l2_gpa to l1_gpa addresses is done using the
2983 * arch.nested_mmu.gva_to_gpa function. Basically the gva_to_gpa
2984 * functions between mmu and nested_mmu are swapped.
2985 */
2986 if (!is_paging(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002987 g_context->nx = false;
Joerg Roedel02f59dc2010-09-10 17:30:54 +02002988 g_context->root_level = 0;
2989 g_context->gva_to_gpa = nonpaging_gva_to_gpa_nested;
2990 } else if (is_long_mode(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002991 g_context->nx = is_nx(vcpu);
Joerg Roedel02f59dc2010-09-10 17:30:54 +02002992 reset_rsvds_bits_mask(vcpu, g_context, PT64_ROOT_LEVEL);
2993 g_context->root_level = PT64_ROOT_LEVEL;
2994 g_context->gva_to_gpa = paging64_gva_to_gpa_nested;
2995 } else if (is_pae(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002996 g_context->nx = is_nx(vcpu);
Joerg Roedel02f59dc2010-09-10 17:30:54 +02002997 reset_rsvds_bits_mask(vcpu, g_context, PT32E_ROOT_LEVEL);
2998 g_context->root_level = PT32E_ROOT_LEVEL;
2999 g_context->gva_to_gpa = paging64_gva_to_gpa_nested;
3000 } else {
Joerg Roedel2d48a982010-09-10 17:31:01 +02003001 g_context->nx = false;
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003002 reset_rsvds_bits_mask(vcpu, g_context, PT32_ROOT_LEVEL);
3003 g_context->root_level = PT32_ROOT_LEVEL;
3004 g_context->gva_to_gpa = paging32_gva_to_gpa_nested;
3005 }
3006
3007 return 0;
3008}
3009
Joerg Roedelfb72d162008-02-07 13:47:44 +01003010static int init_kvm_mmu(struct kvm_vcpu *vcpu)
3011{
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003012 if (mmu_is_nested(vcpu))
3013 return init_kvm_nested_mmu(vcpu);
3014 else if (tdp_enabled)
Joerg Roedelfb72d162008-02-07 13:47:44 +01003015 return init_kvm_tdp_mmu(vcpu);
3016 else
3017 return init_kvm_softmmu(vcpu);
3018}
3019
Avi Kivity6aa8b732006-12-10 02:21:36 -08003020static void destroy_kvm_mmu(struct kvm_vcpu *vcpu)
3021{
3022 ASSERT(vcpu);
Sheng Yang62ad0752010-05-12 16:40:41 +08003023 if (VALID_PAGE(vcpu->arch.mmu.root_hpa))
3024 /* mmu.free() should set root_hpa = INVALID_PAGE */
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003025 vcpu->arch.mmu.free(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003026}
3027
3028int kvm_mmu_reset_context(struct kvm_vcpu *vcpu)
3029{
Avi Kivity17c3ba92007-06-04 15:58:30 +03003030 destroy_kvm_mmu(vcpu);
Marcelo Tosattif8f7e5e2011-06-21 14:00:10 -03003031 return init_kvm_mmu(vcpu);
Avi Kivity17c3ba92007-06-04 15:58:30 +03003032}
Eddie Dong8668a3c2007-10-10 14:26:45 +08003033EXPORT_SYMBOL_GPL(kvm_mmu_reset_context);
Avi Kivity17c3ba92007-06-04 15:58:30 +03003034
3035int kvm_mmu_load(struct kvm_vcpu *vcpu)
3036{
Avi Kivity714b93d2007-01-05 16:36:53 -08003037 int r;
3038
Avi Kivitye2dec932007-01-05 16:36:54 -08003039 r = mmu_topup_memory_caches(vcpu);
Avi Kivity17c3ba92007-06-04 15:58:30 +03003040 if (r)
3041 goto out;
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03003042 r = mmu_alloc_roots(vcpu);
Avi Kivity8facbbf2010-05-04 12:58:32 +03003043 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03003044 mmu_sync_roots(vcpu);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003045 spin_unlock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03003046 if (r)
3047 goto out;
Sheng Yang3662cb12009-07-09 17:00:42 +08003048 /* set_cr3() should ensure TLB has been flushed */
Joerg Roedelf43addd2010-09-10 17:30:40 +02003049 vcpu->arch.mmu.set_cr3(vcpu, vcpu->arch.mmu.root_hpa);
Avi Kivity714b93d2007-01-05 16:36:53 -08003050out:
3051 return r;
Avi Kivity6aa8b732006-12-10 02:21:36 -08003052}
Avi Kivity17c3ba92007-06-04 15:58:30 +03003053EXPORT_SYMBOL_GPL(kvm_mmu_load);
3054
3055void kvm_mmu_unload(struct kvm_vcpu *vcpu)
3056{
3057 mmu_free_roots(vcpu);
3058}
Joerg Roedel4b161842010-09-10 17:31:03 +02003059EXPORT_SYMBOL_GPL(kvm_mmu_unload);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003060
Avi Kivity00284252007-05-01 16:53:31 +03003061static void mmu_pte_write_new_pte(struct kvm_vcpu *vcpu,
Xiao Guangrong7c562522011-03-28 10:29:27 +08003062 struct kvm_mmu_page *sp, u64 *spte,
3063 const void *new)
Avi Kivity00284252007-05-01 16:53:31 +03003064{
Marcelo Tosatti30945382008-06-11 20:32:40 -03003065 if (sp->role.level != PT_PAGE_TABLE_LEVEL) {
Joerg Roedel7e4e4052009-07-27 16:30:46 +02003066 ++vcpu->kvm->stat.mmu_pde_zapped;
3067 return;
Marcelo Tosatti30945382008-06-11 20:32:40 -03003068 }
Avi Kivity00284252007-05-01 16:53:31 +03003069
Avi Kivity4cee5762007-11-18 16:37:07 +02003070 ++vcpu->kvm->stat.mmu_pte_updated;
Xiao Guangrong7c562522011-03-28 10:29:27 +08003071 vcpu->arch.mmu.update_pte(vcpu, sp, spte, new);
Avi Kivity00284252007-05-01 16:53:31 +03003072}
3073
Avi Kivity79539ce2007-11-21 02:06:21 +02003074static bool need_remote_flush(u64 old, u64 new)
3075{
3076 if (!is_shadow_present_pte(old))
3077 return false;
3078 if (!is_shadow_present_pte(new))
3079 return true;
3080 if ((old ^ new) & PT64_BASE_ADDR_MASK)
3081 return true;
3082 old ^= PT64_NX_MASK;
3083 new ^= PT64_NX_MASK;
3084 return (old & ~new & PT64_PERM_MASK) != 0;
3085}
3086
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003087static void mmu_pte_write_flush_tlb(struct kvm_vcpu *vcpu, bool zap_page,
3088 bool remote_flush, bool local_flush)
Avi Kivity79539ce2007-11-21 02:06:21 +02003089{
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003090 if (zap_page)
3091 return;
3092
3093 if (remote_flush)
Avi Kivity79539ce2007-11-21 02:06:21 +02003094 kvm_flush_remote_tlbs(vcpu->kvm);
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003095 else if (local_flush)
Avi Kivity79539ce2007-11-21 02:06:21 +02003096 kvm_mmu_flush_tlb(vcpu);
3097}
3098
Avi Kivity12b7d282007-09-23 14:10:49 +02003099static bool last_updated_pte_accessed(struct kvm_vcpu *vcpu)
3100{
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003101 u64 *spte = vcpu->arch.last_pte_updated;
Avi Kivity12b7d282007-09-23 14:10:49 +02003102
Sheng Yang7b523452008-04-25 21:13:50 +08003103 return !!(spte && (*spte & shadow_accessed_mask));
Avi Kivity12b7d282007-09-23 14:10:49 +02003104}
3105
Avi Kivity1b7fcd32008-05-15 13:51:35 +03003106static void kvm_mmu_access_page(struct kvm_vcpu *vcpu, gfn_t gfn)
3107{
3108 u64 *spte = vcpu->arch.last_pte_updated;
3109
3110 if (spte
3111 && vcpu->arch.last_pte_gfn == gfn
3112 && shadow_accessed_mask
3113 && !(*spte & shadow_accessed_mask)
3114 && is_shadow_present_pte(*spte))
3115 set_bit(PT_ACCESSED_SHIFT, (unsigned long *)spte);
3116}
3117
Avi Kivity09072da2007-05-01 14:16:52 +03003118void kvm_mmu_pte_write(struct kvm_vcpu *vcpu, gpa_t gpa,
Marcelo Tosattiad218f82008-12-01 22:32:05 -02003119 const u8 *new, int bytes,
3120 bool guest_initiated)
Avi Kivityda4a00f2007-01-05 16:36:44 -08003121{
Avi Kivity9b7a0322007-01-05 16:36:45 -08003122 gfn_t gfn = gpa >> PAGE_SHIFT;
Xiao Guangrongfa1de2b2010-07-16 11:19:51 +08003123 union kvm_mmu_page_role mask = { .word = 0 };
Avi Kivity4db35312007-11-21 15:28:32 +02003124 struct kvm_mmu_page *sp;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08003125 struct hlist_node *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003126 LIST_HEAD(invalid_list);
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08003127 u64 entry, gentry, *spte;
3128 unsigned pte_size, page_offset, misaligned, quadrant, offset;
3129 int level, npte, invlpg_counter, r, flooded = 0;
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003130 bool remote_flush, local_flush, zap_page;
3131
Xiao Guangrong332b2072011-05-15 23:20:27 +08003132 /*
3133 * If we don't have indirect shadow pages, it means no page is
3134 * write-protected, so we can exit simply.
3135 */
3136 if (!ACCESS_ONCE(vcpu->kvm->arch.indirect_shadow_pages))
3137 return;
3138
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003139 zap_page = remote_flush = local_flush = false;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08003140 offset = offset_in_page(gpa);
Avi Kivity9b7a0322007-01-05 16:36:45 -08003141
Harvey Harrisonb8688d52008-03-03 12:59:56 -08003142 pgprintk("%s: gpa %llx bytes %d\n", __func__, gpa, bytes);
Avi Kivity72016f32010-03-15 13:59:53 +02003143
Avi Kivity08e850c2010-03-15 13:59:57 +02003144 invlpg_counter = atomic_read(&vcpu->kvm->arch.invlpg_counter);
3145
3146 /*
3147 * Assume that the pte write on a page table of the same type
Xiao Guangrong49b26e22011-03-04 19:00:00 +08003148 * as the current vcpu paging mode since we update the sptes only
3149 * when they have the same mode.
Avi Kivity08e850c2010-03-15 13:59:57 +02003150 */
3151 if ((is_pae(vcpu) && bytes == 4) || !new) {
3152 /* Handle a 32-bit guest writing two halves of a 64-bit gpte */
3153 if (is_pae(vcpu)) {
3154 gpa &= ~(gpa_t)7;
3155 bytes = 8;
3156 }
3157 r = kvm_read_guest(vcpu->kvm, gpa, &gentry, min(bytes, 8));
3158 if (r)
3159 gentry = 0;
3160 new = (const u8 *)&gentry;
3161 }
3162
Avi Kivity72016f32010-03-15 13:59:53 +02003163 switch (bytes) {
3164 case 4:
3165 gentry = *(const u32 *)new;
3166 break;
3167 case 8:
3168 gentry = *(const u64 *)new;
3169 break;
3170 default:
3171 gentry = 0;
3172 break;
3173 }
3174
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003175 spin_lock(&vcpu->kvm->mmu_lock);
Avi Kivity08e850c2010-03-15 13:59:57 +02003176 if (atomic_read(&vcpu->kvm->arch.invlpg_counter) != invlpg_counter)
3177 gentry = 0;
Avi Kivityeb787d12007-12-31 15:27:49 +02003178 kvm_mmu_free_some_pages(vcpu);
Avi Kivity4cee5762007-11-18 16:37:07 +02003179 ++vcpu->kvm->stat.mmu_pte_write;
Xiao Guangrong8b1fe172010-08-30 18:22:53 +08003180 trace_kvm_mmu_audit(vcpu, AUDIT_PRE_PTE_WRITE);
Marcelo Tosattiad218f82008-12-01 22:32:05 -02003181 if (guest_initiated) {
Xiao Guangrong1b7fd452011-03-04 18:58:02 +08003182 kvm_mmu_access_page(vcpu, gfn);
Marcelo Tosattiad218f82008-12-01 22:32:05 -02003183 if (gfn == vcpu->arch.last_pt_write_gfn
3184 && !last_updated_pte_accessed(vcpu)) {
3185 ++vcpu->arch.last_pt_write_count;
3186 if (vcpu->arch.last_pt_write_count >= 3)
3187 flooded = 1;
3188 } else {
3189 vcpu->arch.last_pt_write_gfn = gfn;
3190 vcpu->arch.last_pt_write_count = 1;
3191 vcpu->arch.last_pte_updated = NULL;
3192 }
Avi Kivity86a5ba02007-01-05 16:36:50 -08003193 }
Xiao Guangrong3246af02010-04-16 16:35:54 +08003194
Xiao Guangrongfa1de2b2010-07-16 11:19:51 +08003195 mask.cr0_wp = mask.cr4_pae = mask.nxe = 1;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08003196 for_each_gfn_indirect_valid_sp(vcpu->kvm, sp, gfn, node) {
Avi Kivity5b7e0102010-04-14 19:20:03 +03003197 pte_size = sp->role.cr4_pae ? 8 : 4;
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08003198 misaligned = (offset ^ (offset + bytes - 1)) & ~(pte_size - 1);
Avi Kivitye925c5b2007-04-30 14:47:02 +03003199 misaligned |= bytes < 4;
Avi Kivity86a5ba02007-01-05 16:36:50 -08003200 if (misaligned || flooded) {
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08003201 /*
3202 * Misaligned accesses are too much trouble to fix
3203 * up; also, they usually indicate a page is not used
3204 * as a page table.
Avi Kivity86a5ba02007-01-05 16:36:50 -08003205 *
3206 * If we're seeing too many writes to a page,
3207 * it may no longer be a page table, or we may be
3208 * forking, in which case it is better to unmap the
3209 * page.
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08003210 */
3211 pgprintk("misaligned: gpa %llx bytes %d role %x\n",
Avi Kivity4db35312007-11-21 15:28:32 +02003212 gpa, bytes, sp->role.word);
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003213 zap_page |= !!kvm_mmu_prepare_zap_page(vcpu->kvm, sp,
Xiao Guangrongf41d3352010-06-04 21:56:11 +08003214 &invalid_list);
Avi Kivity4cee5762007-11-18 16:37:07 +02003215 ++vcpu->kvm->stat.mmu_flooded;
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08003216 continue;
3217 }
Avi Kivity9b7a0322007-01-05 16:36:45 -08003218 page_offset = offset;
Avi Kivity4db35312007-11-21 15:28:32 +02003219 level = sp->role.level;
Avi Kivityac1b7142007-03-08 17:13:32 +02003220 npte = 1;
Avi Kivity5b7e0102010-04-14 19:20:03 +03003221 if (!sp->role.cr4_pae) {
Avi Kivityac1b7142007-03-08 17:13:32 +02003222 page_offset <<= 1; /* 32->64 */
3223 /*
3224 * A 32-bit pde maps 4MB while the shadow pdes map
3225 * only 2MB. So we need to double the offset again
3226 * and zap two pdes instead of one.
3227 */
3228 if (level == PT32_ROOT_LEVEL) {
Avi Kivity6b8d0f92007-04-18 11:18:18 +03003229 page_offset &= ~7; /* kill rounding error */
Avi Kivityac1b7142007-03-08 17:13:32 +02003230 page_offset <<= 1;
3231 npte = 2;
3232 }
Avi Kivityfce06572007-05-01 16:44:05 +03003233 quadrant = page_offset >> PAGE_SHIFT;
Avi Kivity9b7a0322007-01-05 16:36:45 -08003234 page_offset &= ~PAGE_MASK;
Avi Kivity4db35312007-11-21 15:28:32 +02003235 if (quadrant != sp->role.quadrant)
Avi Kivityfce06572007-05-01 16:44:05 +03003236 continue;
Avi Kivity9b7a0322007-01-05 16:36:45 -08003237 }
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003238 local_flush = true;
Avi Kivity4db35312007-11-21 15:28:32 +02003239 spte = &sp->spt[page_offset / sizeof(*spte)];
Avi Kivityac1b7142007-03-08 17:13:32 +02003240 while (npte--) {
Avi Kivity79539ce2007-11-21 02:06:21 +02003241 entry = *spte;
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08003242 mmu_page_zap_pte(vcpu->kvm, sp, spte);
Xiao Guangrongfa1de2b2010-07-16 11:19:51 +08003243 if (gentry &&
3244 !((sp->role.word ^ vcpu->arch.mmu.base_role.word)
3245 & mask.word))
Xiao Guangrong7c562522011-03-28 10:29:27 +08003246 mmu_pte_write_new_pte(vcpu, sp, spte, &gentry);
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003247 if (!remote_flush && need_remote_flush(entry, *spte))
3248 remote_flush = true;
Avi Kivityac1b7142007-03-08 17:13:32 +02003249 ++spte;
Avi Kivity9b7a0322007-01-05 16:36:45 -08003250 }
Avi Kivity9b7a0322007-01-05 16:36:45 -08003251 }
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003252 mmu_pte_write_flush_tlb(vcpu, zap_page, remote_flush, local_flush);
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003253 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Xiao Guangrong8b1fe172010-08-30 18:22:53 +08003254 trace_kvm_mmu_audit(vcpu, AUDIT_POST_PTE_WRITE);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003255 spin_unlock(&vcpu->kvm->mmu_lock);
Avi Kivityda4a00f2007-01-05 16:36:44 -08003256}
3257
Avi Kivitya4360362007-01-05 16:36:45 -08003258int kvm_mmu_unprotect_page_virt(struct kvm_vcpu *vcpu, gva_t gva)
3259{
Marcelo Tosatti10589a42007-12-20 19:18:22 -05003260 gpa_t gpa;
3261 int r;
Avi Kivitya4360362007-01-05 16:36:45 -08003262
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02003263 if (vcpu->arch.mmu.direct_map)
Avi Kivity60f24782009-08-27 13:37:06 +03003264 return 0;
3265
Gleb Natapov1871c602010-02-10 14:21:32 +02003266 gpa = kvm_mmu_gva_to_gpa_read(vcpu, gva, NULL);
Marcelo Tosatti10589a42007-12-20 19:18:22 -05003267
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003268 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti10589a42007-12-20 19:18:22 -05003269 r = kvm_mmu_unprotect_page(vcpu->kvm, gpa >> PAGE_SHIFT);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003270 spin_unlock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti10589a42007-12-20 19:18:22 -05003271 return r;
Avi Kivitya4360362007-01-05 16:36:45 -08003272}
Avi Kivity577bdc42008-07-19 08:57:05 +03003273EXPORT_SYMBOL_GPL(kvm_mmu_unprotect_page_virt);
Avi Kivitya4360362007-01-05 16:36:45 -08003274
Avi Kivity22d95b12007-09-14 20:26:06 +03003275void __kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu)
Avi Kivityebeace82007-01-05 16:36:47 -08003276{
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003277 LIST_HEAD(invalid_list);
Xiao Guangrong103ad252010-06-04 21:54:38 +08003278
Dave Hansene0df7b92010-08-19 18:11:05 -07003279 while (kvm_mmu_available_pages(vcpu->kvm) < KVM_REFILL_PAGES &&
Izik Eidus3b80fff2009-07-28 15:26:58 -03003280 !list_empty(&vcpu->kvm->arch.active_mmu_pages)) {
Avi Kivity4db35312007-11-21 15:28:32 +02003281 struct kvm_mmu_page *sp;
Avi Kivityebeace82007-01-05 16:36:47 -08003282
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08003283 sp = container_of(vcpu->kvm->arch.active_mmu_pages.prev,
Avi Kivity4db35312007-11-21 15:28:32 +02003284 struct kvm_mmu_page, link);
Dave Hansene0df7b92010-08-19 18:11:05 -07003285 kvm_mmu_prepare_zap_page(vcpu->kvm, sp, &invalid_list);
Avi Kivity4cee5762007-11-18 16:37:07 +02003286 ++vcpu->kvm->stat.mmu_recycled;
Avi Kivityebeace82007-01-05 16:36:47 -08003287 }
Xiao Guangrongaa6bd182011-07-12 03:26:40 +08003288 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Avi Kivityebeace82007-01-05 16:36:47 -08003289}
Avi Kivityebeace82007-01-05 16:36:47 -08003290
Andre Przywaradc25e892010-12-21 11:12:07 +01003291int kvm_mmu_page_fault(struct kvm_vcpu *vcpu, gva_t cr2, u32 error_code,
3292 void *insn, int insn_len)
Avi Kivity30677142007-10-28 18:48:59 +02003293{
3294 int r;
3295 enum emulation_result er;
3296
Gleb Natapov56028d02010-10-17 18:13:42 +02003297 r = vcpu->arch.mmu.page_fault(vcpu, cr2, error_code, false);
Avi Kivity30677142007-10-28 18:48:59 +02003298 if (r < 0)
3299 goto out;
3300
3301 if (!r) {
3302 r = 1;
3303 goto out;
3304 }
3305
Avi Kivityb733bfb2007-10-28 18:52:05 +02003306 r = mmu_topup_memory_caches(vcpu);
3307 if (r)
3308 goto out;
3309
Andre Przywaradc25e892010-12-21 11:12:07 +01003310 er = x86_emulate_instruction(vcpu, cr2, 0, insn, insn_len);
Avi Kivity30677142007-10-28 18:48:59 +02003311
3312 switch (er) {
3313 case EMULATE_DONE:
3314 return 1;
3315 case EMULATE_DO_MMIO:
3316 ++vcpu->stat.mmio_exits;
Gleb Natapov6d77dbf2010-05-10 11:16:56 +03003317 /* fall through */
Avi Kivity30677142007-10-28 18:48:59 +02003318 case EMULATE_FAIL:
Avi Kivity3f5d18a2009-06-11 15:43:28 +03003319 return 0;
Avi Kivity30677142007-10-28 18:48:59 +02003320 default:
3321 BUG();
3322 }
3323out:
Avi Kivity30677142007-10-28 18:48:59 +02003324 return r;
3325}
3326EXPORT_SYMBOL_GPL(kvm_mmu_page_fault);
3327
Marcelo Tosattia7052892008-09-23 13:18:35 -03003328void kvm_mmu_invlpg(struct kvm_vcpu *vcpu, gva_t gva)
3329{
Marcelo Tosattia7052892008-09-23 13:18:35 -03003330 vcpu->arch.mmu.invlpg(vcpu, gva);
Marcelo Tosattia7052892008-09-23 13:18:35 -03003331 kvm_mmu_flush_tlb(vcpu);
3332 ++vcpu->stat.invlpg;
3333}
3334EXPORT_SYMBOL_GPL(kvm_mmu_invlpg);
3335
Joerg Roedel18552672008-02-07 13:47:41 +01003336void kvm_enable_tdp(void)
3337{
3338 tdp_enabled = true;
3339}
3340EXPORT_SYMBOL_GPL(kvm_enable_tdp);
3341
Joerg Roedel5f4cb662008-07-14 20:36:36 +02003342void kvm_disable_tdp(void)
3343{
3344 tdp_enabled = false;
3345}
3346EXPORT_SYMBOL_GPL(kvm_disable_tdp);
3347
Avi Kivity6aa8b732006-12-10 02:21:36 -08003348static void free_mmu_pages(struct kvm_vcpu *vcpu)
3349{
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003350 free_page((unsigned long)vcpu->arch.mmu.pae_root);
Joerg Roedel81407ca2010-09-10 17:31:00 +02003351 if (vcpu->arch.mmu.lm_root != NULL)
3352 free_page((unsigned long)vcpu->arch.mmu.lm_root);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003353}
3354
3355static int alloc_mmu_pages(struct kvm_vcpu *vcpu)
3356{
Avi Kivity17ac10a2007-01-05 16:36:40 -08003357 struct page *page;
Avi Kivity6aa8b732006-12-10 02:21:36 -08003358 int i;
3359
3360 ASSERT(vcpu);
3361
Avi Kivity17ac10a2007-01-05 16:36:40 -08003362 /*
3363 * When emulating 32-bit mode, cr3 is only 32 bits even on x86_64.
3364 * Therefore we need to allocate shadow page tables in the first
3365 * 4GB of memory, which happens to fit the DMA32 zone.
3366 */
3367 page = alloc_page(GFP_KERNEL | __GFP_DMA32);
3368 if (!page)
Wei Yongjund7fa6ab2010-01-22 16:55:05 +08003369 return -ENOMEM;
3370
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003371 vcpu->arch.mmu.pae_root = page_address(page);
Avi Kivity17ac10a2007-01-05 16:36:40 -08003372 for (i = 0; i < 4; ++i)
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003373 vcpu->arch.mmu.pae_root[i] = INVALID_PAGE;
Avi Kivity17ac10a2007-01-05 16:36:40 -08003374
Avi Kivity6aa8b732006-12-10 02:21:36 -08003375 return 0;
Avi Kivity6aa8b732006-12-10 02:21:36 -08003376}
3377
Ingo Molnar8018c272006-12-29 16:50:01 -08003378int kvm_mmu_create(struct kvm_vcpu *vcpu)
Avi Kivity6aa8b732006-12-10 02:21:36 -08003379{
Avi Kivity6aa8b732006-12-10 02:21:36 -08003380 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003381 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity6aa8b732006-12-10 02:21:36 -08003382
Ingo Molnar8018c272006-12-29 16:50:01 -08003383 return alloc_mmu_pages(vcpu);
3384}
Avi Kivity6aa8b732006-12-10 02:21:36 -08003385
Ingo Molnar8018c272006-12-29 16:50:01 -08003386int kvm_mmu_setup(struct kvm_vcpu *vcpu)
3387{
3388 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003389 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity2c264952006-12-22 01:05:28 -08003390
Ingo Molnar8018c272006-12-29 16:50:01 -08003391 return init_kvm_mmu(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003392}
3393
Avi Kivity90cb0522007-07-17 13:04:56 +03003394void kvm_mmu_slot_remove_write_access(struct kvm *kvm, int slot)
Avi Kivity6aa8b732006-12-10 02:21:36 -08003395{
Avi Kivity4db35312007-11-21 15:28:32 +02003396 struct kvm_mmu_page *sp;
Avi Kivity6aa8b732006-12-10 02:21:36 -08003397
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08003398 list_for_each_entry(sp, &kvm->arch.active_mmu_pages, link) {
Avi Kivity6aa8b732006-12-10 02:21:36 -08003399 int i;
3400 u64 *pt;
3401
Sheng Yang291f26b2008-10-16 17:30:57 +08003402 if (!test_bit(slot, sp->slot_bitmap))
Avi Kivity6aa8b732006-12-10 02:21:36 -08003403 continue;
3404
Avi Kivity4db35312007-11-21 15:28:32 +02003405 pt = sp->spt;
Avi Kivity8234b222010-12-27 12:08:45 +02003406 for (i = 0; i < PT64_ENT_PER_PAGE; ++i) {
Xiao Guangrongda8dc752011-03-04 18:56:41 +08003407 if (!is_shadow_present_pte(pt[i]) ||
3408 !is_last_spte(pt[i], sp->role.level))
3409 continue;
3410
3411 if (is_large_pte(pt[i])) {
Xiao Guangrongc3707952011-07-12 03:28:04 +08003412 drop_spte(kvm, &pt[i]);
Avi Kivity8234b222010-12-27 12:08:45 +02003413 --kvm->stat.lpages;
Xiao Guangrongda8dc752011-03-04 18:56:41 +08003414 continue;
Avi Kivity8234b222010-12-27 12:08:45 +02003415 }
Xiao Guangrongda8dc752011-03-04 18:56:41 +08003416
Avi Kivity6aa8b732006-12-10 02:21:36 -08003417 /* avoid RMW */
Gui Jianfeng01c168a2010-05-27 16:09:48 +08003418 if (is_writable_pte(pt[i]))
Takuya Yoshikawa700e1b12010-12-06 01:11:33 +09003419 update_spte(&pt[i], pt[i] & ~PT_WRITABLE_MASK);
Avi Kivity8234b222010-12-27 12:08:45 +02003420 }
Avi Kivity6aa8b732006-12-10 02:21:36 -08003421 }
Avi Kivity171d5952008-08-27 16:40:51 +03003422 kvm_flush_remote_tlbs(kvm);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003423}
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003424
Avi Kivity90cb0522007-07-17 13:04:56 +03003425void kvm_mmu_zap_all(struct kvm *kvm)
Dor Laore0fa8262007-03-30 13:06:33 +03003426{
Avi Kivity4db35312007-11-21 15:28:32 +02003427 struct kvm_mmu_page *sp, *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003428 LIST_HEAD(invalid_list);
Dor Laore0fa8262007-03-30 13:06:33 +03003429
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003430 spin_lock(&kvm->mmu_lock);
Xiao Guangrong3246af02010-04-16 16:35:54 +08003431restart:
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08003432 list_for_each_entry_safe(sp, node, &kvm->arch.active_mmu_pages, link)
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003433 if (kvm_mmu_prepare_zap_page(kvm, sp, &invalid_list))
Xiao Guangrong3246af02010-04-16 16:35:54 +08003434 goto restart;
3435
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003436 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003437 spin_unlock(&kvm->mmu_lock);
Dor Laore0fa8262007-03-30 13:06:33 +03003438}
3439
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003440static int kvm_mmu_remove_some_alloc_mmu_pages(struct kvm *kvm,
3441 struct list_head *invalid_list)
Izik Eidus3ee16c82008-03-30 15:17:21 +03003442{
3443 struct kvm_mmu_page *page;
3444
3445 page = container_of(kvm->arch.active_mmu_pages.prev,
3446 struct kvm_mmu_page, link);
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003447 return kvm_mmu_prepare_zap_page(kvm, page, invalid_list);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003448}
3449
Ying Han1495f232011-05-24 17:12:27 -07003450static int mmu_shrink(struct shrinker *shrink, struct shrink_control *sc)
Izik Eidus3ee16c82008-03-30 15:17:21 +03003451{
3452 struct kvm *kvm;
3453 struct kvm *kvm_freed = NULL;
Ying Han1495f232011-05-24 17:12:27 -07003454 int nr_to_scan = sc->nr_to_scan;
Dave Hansen45221ab2010-08-19 18:11:37 -07003455
3456 if (nr_to_scan == 0)
3457 goto out;
Izik Eidus3ee16c82008-03-30 15:17:21 +03003458
Jan Kiszkae935b832011-02-08 12:55:33 +01003459 raw_spin_lock(&kvm_lock);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003460
3461 list_for_each_entry(kvm, &vm_list, vm_list) {
Dave Hansen45221ab2010-08-19 18:11:37 -07003462 int idx, freed_pages;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003463 LIST_HEAD(invalid_list);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003464
Marcelo Tosattif656ce02009-12-23 14:35:25 -02003465 idx = srcu_read_lock(&kvm->srcu);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003466 spin_lock(&kvm->mmu_lock);
Dave Hansen45221ab2010-08-19 18:11:37 -07003467 if (!kvm_freed && nr_to_scan > 0 &&
3468 kvm->arch.n_used_mmu_pages > 0) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003469 freed_pages = kvm_mmu_remove_some_alloc_mmu_pages(kvm,
3470 &invalid_list);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003471 kvm_freed = kvm;
3472 }
3473 nr_to_scan--;
3474
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003475 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003476 spin_unlock(&kvm->mmu_lock);
Marcelo Tosattif656ce02009-12-23 14:35:25 -02003477 srcu_read_unlock(&kvm->srcu, idx);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003478 }
3479 if (kvm_freed)
3480 list_move_tail(&kvm_freed->vm_list, &vm_list);
3481
Jan Kiszkae935b832011-02-08 12:55:33 +01003482 raw_spin_unlock(&kvm_lock);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003483
Dave Hansen45221ab2010-08-19 18:11:37 -07003484out:
3485 return percpu_counter_read_positive(&kvm_total_used_mmu_pages);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003486}
3487
3488static struct shrinker mmu_shrinker = {
3489 .shrink = mmu_shrink,
3490 .seeks = DEFAULT_SEEKS * 10,
3491};
3492
Ingo Molnar2ddfd202008-05-22 10:37:48 +02003493static void mmu_destroy_caches(void)
Avi Kivityb5a33a72007-04-15 16:31:09 +03003494{
Xiao Guangrong53c07b12011-05-15 23:26:20 +08003495 if (pte_list_desc_cache)
3496 kmem_cache_destroy(pte_list_desc_cache);
Avi Kivityd3d25b02007-05-30 12:34:53 +03003497 if (mmu_page_header_cache)
3498 kmem_cache_destroy(mmu_page_header_cache);
Avi Kivityb5a33a72007-04-15 16:31:09 +03003499}
3500
3501int kvm_mmu_module_init(void)
3502{
Xiao Guangrong53c07b12011-05-15 23:26:20 +08003503 pte_list_desc_cache = kmem_cache_create("pte_list_desc",
3504 sizeof(struct pte_list_desc),
Paul Mundt20c2df82007-07-20 10:11:58 +09003505 0, 0, NULL);
Xiao Guangrong53c07b12011-05-15 23:26:20 +08003506 if (!pte_list_desc_cache)
Avi Kivityb5a33a72007-04-15 16:31:09 +03003507 goto nomem;
3508
Avi Kivityd3d25b02007-05-30 12:34:53 +03003509 mmu_page_header_cache = kmem_cache_create("kvm_mmu_page_header",
3510 sizeof(struct kvm_mmu_page),
Paul Mundt20c2df82007-07-20 10:11:58 +09003511 0, 0, NULL);
Avi Kivityd3d25b02007-05-30 12:34:53 +03003512 if (!mmu_page_header_cache)
3513 goto nomem;
3514
Wei Yongjun45bf21a2010-08-23 16:13:15 +08003515 if (percpu_counter_init(&kvm_total_used_mmu_pages, 0))
3516 goto nomem;
3517
Izik Eidus3ee16c82008-03-30 15:17:21 +03003518 register_shrinker(&mmu_shrinker);
3519
Avi Kivityb5a33a72007-04-15 16:31:09 +03003520 return 0;
3521
3522nomem:
Izik Eidus3ee16c82008-03-30 15:17:21 +03003523 mmu_destroy_caches();
Avi Kivityb5a33a72007-04-15 16:31:09 +03003524 return -ENOMEM;
3525}
3526
Zhang Xiantao3ad82a72007-11-20 13:11:38 +08003527/*
3528 * Caculate mmu pages needed for kvm.
3529 */
3530unsigned int kvm_mmu_calculate_mmu_pages(struct kvm *kvm)
3531{
3532 int i;
3533 unsigned int nr_mmu_pages;
3534 unsigned int nr_pages = 0;
Marcelo Tosattibc6678a2009-12-23 14:35:21 -02003535 struct kvm_memslots *slots;
Zhang Xiantao3ad82a72007-11-20 13:11:38 +08003536
Lai Jiangshan90d83dc2010-04-19 17:41:23 +08003537 slots = kvm_memslots(kvm);
3538
Marcelo Tosattibc6678a2009-12-23 14:35:21 -02003539 for (i = 0; i < slots->nmemslots; i++)
3540 nr_pages += slots->memslots[i].npages;
Zhang Xiantao3ad82a72007-11-20 13:11:38 +08003541
3542 nr_mmu_pages = nr_pages * KVM_PERMILLE_MMU_PAGES / 1000;
3543 nr_mmu_pages = max(nr_mmu_pages,
3544 (unsigned int) KVM_MIN_ALLOC_MMU_PAGES);
3545
3546 return nr_mmu_pages;
3547}
3548
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003549static void *pv_mmu_peek_buffer(struct kvm_pv_mmu_op_buffer *buffer,
3550 unsigned len)
3551{
3552 if (len > buffer->len)
3553 return NULL;
3554 return buffer->ptr;
3555}
3556
3557static void *pv_mmu_read_buffer(struct kvm_pv_mmu_op_buffer *buffer,
3558 unsigned len)
3559{
3560 void *ret;
3561
3562 ret = pv_mmu_peek_buffer(buffer, len);
3563 if (!ret)
3564 return ret;
3565 buffer->ptr += len;
3566 buffer->len -= len;
3567 buffer->processed += len;
3568 return ret;
3569}
3570
3571static int kvm_pv_mmu_write(struct kvm_vcpu *vcpu,
3572 gpa_t addr, gpa_t value)
3573{
3574 int bytes = 8;
3575 int r;
3576
3577 if (!is_long_mode(vcpu) && !is_pae(vcpu))
3578 bytes = 4;
3579
3580 r = mmu_topup_memory_caches(vcpu);
3581 if (r)
3582 return r;
3583
Marcelo Tosatti3200f402008-03-29 20:17:59 -03003584 if (!emulator_write_phys(vcpu, addr, &value, bytes))
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003585 return -EFAULT;
3586
3587 return 1;
3588}
3589
3590static int kvm_pv_mmu_flush_tlb(struct kvm_vcpu *vcpu)
3591{
Avi Kivity9f8fe502010-12-05 17:30:00 +02003592 (void)kvm_set_cr3(vcpu, kvm_read_cr3(vcpu));
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003593 return 1;
3594}
3595
3596static int kvm_pv_mmu_release_pt(struct kvm_vcpu *vcpu, gpa_t addr)
3597{
3598 spin_lock(&vcpu->kvm->mmu_lock);
3599 mmu_unshadow(vcpu->kvm, addr >> PAGE_SHIFT);
3600 spin_unlock(&vcpu->kvm->mmu_lock);
3601 return 1;
3602}
3603
3604static int kvm_pv_mmu_op_one(struct kvm_vcpu *vcpu,
3605 struct kvm_pv_mmu_op_buffer *buffer)
3606{
3607 struct kvm_mmu_op_header *header;
3608
3609 header = pv_mmu_peek_buffer(buffer, sizeof *header);
3610 if (!header)
3611 return 0;
3612 switch (header->op) {
3613 case KVM_MMU_OP_WRITE_PTE: {
3614 struct kvm_mmu_op_write_pte *wpte;
3615
3616 wpte = pv_mmu_read_buffer(buffer, sizeof *wpte);
3617 if (!wpte)
3618 return 0;
3619 return kvm_pv_mmu_write(vcpu, wpte->pte_phys,
3620 wpte->pte_val);
3621 }
3622 case KVM_MMU_OP_FLUSH_TLB: {
3623 struct kvm_mmu_op_flush_tlb *ftlb;
3624
3625 ftlb = pv_mmu_read_buffer(buffer, sizeof *ftlb);
3626 if (!ftlb)
3627 return 0;
3628 return kvm_pv_mmu_flush_tlb(vcpu);
3629 }
3630 case KVM_MMU_OP_RELEASE_PT: {
3631 struct kvm_mmu_op_release_pt *rpt;
3632
3633 rpt = pv_mmu_read_buffer(buffer, sizeof *rpt);
3634 if (!rpt)
3635 return 0;
3636 return kvm_pv_mmu_release_pt(vcpu, rpt->pt_phys);
3637 }
3638 default: return 0;
3639 }
3640}
3641
3642int kvm_pv_mmu_op(struct kvm_vcpu *vcpu, unsigned long bytes,
3643 gpa_t addr, unsigned long *ret)
3644{
3645 int r;
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003646 struct kvm_pv_mmu_op_buffer *buffer = &vcpu->arch.mmu_op_buffer;
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003647
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003648 buffer->ptr = buffer->buf;
3649 buffer->len = min_t(unsigned long, bytes, sizeof buffer->buf);
3650 buffer->processed = 0;
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003651
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003652 r = kvm_read_guest(vcpu->kvm, addr, buffer->buf, buffer->len);
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003653 if (r)
3654 goto out;
3655
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003656 while (buffer->len) {
3657 r = kvm_pv_mmu_op_one(vcpu, buffer);
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003658 if (r < 0)
3659 goto out;
3660 if (r == 0)
3661 break;
3662 }
3663
3664 r = 1;
3665out:
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003666 *ret = buffer->processed;
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003667 return r;
3668}
3669
Marcelo Tosatti94d8b052009-06-11 12:07:42 -03003670int kvm_mmu_get_spte_hierarchy(struct kvm_vcpu *vcpu, u64 addr, u64 sptes[4])
3671{
3672 struct kvm_shadow_walk_iterator iterator;
3673 int nr_sptes = 0;
3674
3675 spin_lock(&vcpu->kvm->mmu_lock);
3676 for_each_shadow_entry(vcpu, addr, iterator) {
3677 sptes[iterator.level-1] = *iterator.sptep;
3678 nr_sptes++;
3679 if (!is_shadow_present_pte(*iterator.sptep))
3680 break;
3681 }
3682 spin_unlock(&vcpu->kvm->mmu_lock);
3683
3684 return nr_sptes;
3685}
3686EXPORT_SYMBOL_GPL(kvm_mmu_get_spte_hierarchy);
3687
Xiao Guangrongc42fffe2010-09-27 18:07:07 +08003688void kvm_mmu_destroy(struct kvm_vcpu *vcpu)
3689{
3690 ASSERT(vcpu);
3691
3692 destroy_kvm_mmu(vcpu);
3693 free_mmu_pages(vcpu);
3694 mmu_free_memory_caches(vcpu);
Xiao Guangrongb034cf02010-12-23 16:08:35 +08003695}
3696
3697#ifdef CONFIG_KVM_MMU_AUDIT
3698#include "mmu_audit.c"
3699#else
3700static void mmu_audit_disable(void) { }
3701#endif
3702
3703void kvm_mmu_module_exit(void)
3704{
3705 mmu_destroy_caches();
3706 percpu_counter_destroy(&kvm_total_used_mmu_pages);
3707 unregister_shrinker(&mmu_shrinker);
Xiao Guangrongc42fffe2010-09-27 18:07:07 +08003708 mmu_audit_disable();
3709}