blob: d1986b7dcec7323f527cbec77abae373a28b18c6 [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
Avi Kivityc7addb92007-09-16 18:58:32 +0200189static u64 __read_mostly shadow_trap_nonpresent_pte;
190static u64 __read_mostly shadow_notrap_nonpresent_pte;
Sheng Yang7b523452008-04-25 21:13:50 +0800191static u64 __read_mostly shadow_nx_mask;
192static u64 __read_mostly shadow_x_mask; /* mutual exclusive with nx_mask */
193static u64 __read_mostly shadow_user_mask;
194static u64 __read_mostly shadow_accessed_mask;
195static u64 __read_mostly shadow_dirty_mask;
Avi Kivityc7addb92007-09-16 18:58:32 +0200196
Dong, Eddie82725b22009-03-30 16:21:08 +0800197static inline u64 rsvd_bits(int s, int e)
198{
199 return ((1ULL << (e - s + 1)) - 1) << s;
200}
201
Avi Kivityc7addb92007-09-16 18:58:32 +0200202void kvm_mmu_set_nonpresent_ptes(u64 trap_pte, u64 notrap_pte)
203{
204 shadow_trap_nonpresent_pte = trap_pte;
205 shadow_notrap_nonpresent_pte = notrap_pte;
206}
207EXPORT_SYMBOL_GPL(kvm_mmu_set_nonpresent_ptes);
208
Sheng Yang7b523452008-04-25 21:13:50 +0800209void kvm_mmu_set_mask_ptes(u64 user_mask, u64 accessed_mask,
Sheng Yang4b12f0d2009-04-27 20:35:42 +0800210 u64 dirty_mask, u64 nx_mask, u64 x_mask)
Sheng Yang7b523452008-04-25 21:13:50 +0800211{
212 shadow_user_mask = user_mask;
213 shadow_accessed_mask = accessed_mask;
214 shadow_dirty_mask = dirty_mask;
215 shadow_nx_mask = nx_mask;
216 shadow_x_mask = x_mask;
217}
218EXPORT_SYMBOL_GPL(kvm_mmu_set_mask_ptes);
219
Avi Kivity6aa8b732006-12-10 02:21:36 -0800220static int is_cpuid_PSE36(void)
221{
222 return 1;
223}
224
Avi Kivity73b10872007-01-26 00:56:41 -0800225static int is_nx(struct kvm_vcpu *vcpu)
226{
Avi Kivityf6801df2010-01-21 15:31:50 +0200227 return vcpu->arch.efer & EFER_NX;
Avi Kivity73b10872007-01-26 00:56:41 -0800228}
229
Avi Kivityc7addb92007-09-16 18:58:32 +0200230static int is_shadow_present_pte(u64 pte)
231{
Avi Kivityc7addb92007-09-16 18:58:32 +0200232 return pte != shadow_trap_nonpresent_pte
233 && pte != shadow_notrap_nonpresent_pte;
234}
235
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300236static int is_large_pte(u64 pte)
237{
238 return pte & PT_PAGE_SIZE_MASK;
239}
240
Avi Kivity43a37952009-06-10 14:12:05 +0300241static int is_dirty_gpte(unsigned long pte)
Avi Kivitye3c5e7ec2007-10-11 12:32:30 +0200242{
Avi Kivity439e2182009-06-10 12:56:54 +0300243 return pte & PT_DIRTY_MASK;
Avi Kivitye3c5e7ec2007-10-11 12:32:30 +0200244}
245
Avi Kivity43a37952009-06-10 14:12:05 +0300246static int is_rmap_spte(u64 pte)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800247{
Avi Kivity4b1a80f2008-03-23 12:18:19 +0200248 return is_shadow_present_pte(pte);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800249}
250
Marcelo Tosatti776e6632009-06-10 12:27:03 -0300251static int is_last_spte(u64 pte, int level)
252{
253 if (level == PT_PAGE_TABLE_LEVEL)
254 return 1;
Joerg Roedel852e3c12009-07-27 16:30:44 +0200255 if (is_large_pte(pte))
Marcelo Tosatti776e6632009-06-10 12:27:03 -0300256 return 1;
257 return 0;
258}
259
Anthony Liguori35149e22008-04-02 14:46:56 -0500260static pfn_t spte_to_pfn(u64 pte)
Avi Kivity0b49ea82008-03-23 15:06:23 +0200261{
Anthony Liguori35149e22008-04-02 14:46:56 -0500262 return (pte & PT64_BASE_ADDR_MASK) >> PAGE_SHIFT;
Avi Kivity0b49ea82008-03-23 15:06:23 +0200263}
264
Avi Kivityda928522007-11-21 13:54:47 +0200265static gfn_t pse36_gfn_delta(u32 gpte)
266{
267 int shift = 32 - PT32_DIR_PSE36_SHIFT - PAGE_SHIFT;
268
269 return (gpte & PT32_DIR_PSE36_MASK) << shift;
270}
271
Avi Kivityd555c332009-06-10 14:24:23 +0300272static void __set_spte(u64 *sptep, u64 spte)
Avi Kivitye663ee62007-05-31 15:46:04 +0300273{
H. Peter Anvin7645e432010-08-06 12:18:11 -0700274 set_64bit(sptep, spte);
Avi Kivitye663ee62007-05-31 15:46:04 +0300275}
276
Avi Kivitya9221dd2010-06-06 14:48:06 +0300277static u64 __xchg_spte(u64 *sptep, u64 new_spte)
278{
279#ifdef CONFIG_X86_64
280 return xchg(sptep, new_spte);
281#else
282 u64 old_spte;
283
284 do {
285 old_spte = *sptep;
286 } while (cmpxchg64(sptep, old_spte, new_spte) != old_spte);
287
288 return old_spte;
289#endif
290}
291
Xiao Guangrong8672b722010-08-02 16:14:04 +0800292static bool spte_has_volatile_bits(u64 spte)
293{
294 if (!shadow_accessed_mask)
295 return false;
296
297 if (!is_shadow_present_pte(spte))
298 return false;
299
Xiao Guangrong41327792010-08-02 16:15:08 +0800300 if ((spte & shadow_accessed_mask) &&
301 (!is_writable_pte(spte) || (spte & shadow_dirty_mask)))
Xiao Guangrong8672b722010-08-02 16:14:04 +0800302 return false;
303
304 return true;
305}
306
Xiao Guangrong41327792010-08-02 16:15:08 +0800307static bool spte_is_bit_cleared(u64 old_spte, u64 new_spte, u64 bit_mask)
308{
309 return (old_spte & bit_mask) && !(new_spte & bit_mask);
310}
311
Avi Kivityb79b93f2010-06-06 15:46:44 +0300312static void update_spte(u64 *sptep, u64 new_spte)
313{
Xiao Guangrong41327792010-08-02 16:15:08 +0800314 u64 mask, old_spte = *sptep;
Avi Kivityb79b93f2010-06-06 15:46:44 +0300315
Xiao Guangrong41327792010-08-02 16:15:08 +0800316 WARN_ON(!is_rmap_spte(new_spte));
317
318 new_spte |= old_spte & shadow_dirty_mask;
319
320 mask = shadow_accessed_mask;
321 if (is_writable_pte(old_spte))
322 mask |= shadow_dirty_mask;
323
324 if (!spte_has_volatile_bits(old_spte) || (new_spte & mask) == mask)
Avi Kivityb79b93f2010-06-06 15:46:44 +0300325 __set_spte(sptep, new_spte);
Xiao Guangrong41327792010-08-02 16:15:08 +0800326 else
Avi Kivityb79b93f2010-06-06 15:46:44 +0300327 old_spte = __xchg_spte(sptep, new_spte);
Xiao Guangrong41327792010-08-02 16:15:08 +0800328
329 if (!shadow_accessed_mask)
330 return;
331
332 if (spte_is_bit_cleared(old_spte, new_spte, shadow_accessed_mask))
333 kvm_set_pfn_accessed(spte_to_pfn(old_spte));
334 if (spte_is_bit_cleared(old_spte, new_spte, shadow_dirty_mask))
335 kvm_set_pfn_dirty(spte_to_pfn(old_spte));
Avi Kivityb79b93f2010-06-06 15:46:44 +0300336}
337
Avi Kivitye2dec932007-01-05 16:36:54 -0800338static int mmu_topup_memory_cache(struct kvm_mmu_memory_cache *cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300339 struct kmem_cache *base_cache, int min)
Avi Kivity714b93d2007-01-05 16:36:53 -0800340{
341 void *obj;
342
343 if (cache->nobjs >= min)
Avi Kivitye2dec932007-01-05 16:36:54 -0800344 return 0;
Avi Kivity714b93d2007-01-05 16:36:53 -0800345 while (cache->nobjs < ARRAY_SIZE(cache->objects)) {
Avi Kivity2e3e5882007-09-10 11:28:17 +0300346 obj = kmem_cache_zalloc(base_cache, GFP_KERNEL);
Avi Kivity714b93d2007-01-05 16:36:53 -0800347 if (!obj)
Avi Kivitye2dec932007-01-05 16:36:54 -0800348 return -ENOMEM;
Avi Kivity714b93d2007-01-05 16:36:53 -0800349 cache->objects[cache->nobjs++] = obj;
350 }
Avi Kivitye2dec932007-01-05 16:36:54 -0800351 return 0;
Avi Kivity714b93d2007-01-05 16:36:53 -0800352}
353
Xiao Guangronge8ad9a72010-05-13 10:06:02 +0800354static void mmu_free_memory_cache(struct kvm_mmu_memory_cache *mc,
355 struct kmem_cache *cache)
Avi Kivity714b93d2007-01-05 16:36:53 -0800356{
357 while (mc->nobjs)
Xiao Guangronge8ad9a72010-05-13 10:06:02 +0800358 kmem_cache_free(cache, mc->objects[--mc->nobjs]);
Avi Kivity714b93d2007-01-05 16:36:53 -0800359}
360
Avi Kivityc1158e62007-07-20 08:18:27 +0300361static int mmu_topup_memory_cache_page(struct kvm_mmu_memory_cache *cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300362 int min)
Avi Kivityc1158e62007-07-20 08:18:27 +0300363{
Xiao Guangrong842f22e2011-03-04 19:01:10 +0800364 void *page;
Avi Kivityc1158e62007-07-20 08:18:27 +0300365
366 if (cache->nobjs >= min)
367 return 0;
368 while (cache->nobjs < ARRAY_SIZE(cache->objects)) {
Xiao Guangrong842f22e2011-03-04 19:01:10 +0800369 page = (void *)__get_free_page(GFP_KERNEL);
Avi Kivityc1158e62007-07-20 08:18:27 +0300370 if (!page)
371 return -ENOMEM;
Xiao Guangrong842f22e2011-03-04 19:01:10 +0800372 cache->objects[cache->nobjs++] = page;
Avi Kivityc1158e62007-07-20 08:18:27 +0300373 }
374 return 0;
375}
376
377static void mmu_free_memory_cache_page(struct kvm_mmu_memory_cache *mc)
378{
379 while (mc->nobjs)
Avi Kivityc4d198d2007-07-21 09:06:46 +0300380 free_page((unsigned long)mc->objects[--mc->nobjs]);
Avi Kivityc1158e62007-07-20 08:18:27 +0300381}
382
Avi Kivity8c438502007-04-16 11:53:17 +0300383static int mmu_topup_memory_caches(struct kvm_vcpu *vcpu)
384{
385 int r;
386
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800387 r = mmu_topup_memory_cache(&vcpu->arch.mmu_pte_list_desc_cache,
Xiao Guangrong67052b32011-05-15 23:27:08 +0800388 pte_list_desc_cache, 8 + PTE_PREFETCH_NUM);
Avi Kivity2e3e5882007-09-10 11:28:17 +0300389 if (r)
390 goto out;
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800391 r = mmu_topup_memory_cache_page(&vcpu->arch.mmu_page_cache, 8);
Avi Kivity2e3e5882007-09-10 11:28:17 +0300392 if (r)
393 goto out;
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800394 r = mmu_topup_memory_cache(&vcpu->arch.mmu_page_header_cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300395 mmu_page_header_cache, 4);
396out:
Avi Kivity8c438502007-04-16 11:53:17 +0300397 return r;
398}
399
Avi Kivity714b93d2007-01-05 16:36:53 -0800400static void mmu_free_memory_caches(struct kvm_vcpu *vcpu)
401{
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800402 mmu_free_memory_cache(&vcpu->arch.mmu_pte_list_desc_cache,
403 pte_list_desc_cache);
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800404 mmu_free_memory_cache_page(&vcpu->arch.mmu_page_cache);
Xiao Guangronge8ad9a72010-05-13 10:06:02 +0800405 mmu_free_memory_cache(&vcpu->arch.mmu_page_header_cache,
406 mmu_page_header_cache);
Avi Kivity714b93d2007-01-05 16:36:53 -0800407}
408
409static void *mmu_memory_cache_alloc(struct kvm_mmu_memory_cache *mc,
410 size_t size)
411{
412 void *p;
413
414 BUG_ON(!mc->nobjs);
415 p = mc->objects[--mc->nobjs];
Avi Kivity714b93d2007-01-05 16:36:53 -0800416 return p;
417}
418
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800419static struct pte_list_desc *mmu_alloc_pte_list_desc(struct kvm_vcpu *vcpu)
Avi Kivity714b93d2007-01-05 16:36:53 -0800420{
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800421 return mmu_memory_cache_alloc(&vcpu->arch.mmu_pte_list_desc_cache,
422 sizeof(struct pte_list_desc));
Avi Kivity714b93d2007-01-05 16:36:53 -0800423}
424
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800425static void mmu_free_pte_list_desc(struct pte_list_desc *pte_list_desc)
Avi Kivity714b93d2007-01-05 16:36:53 -0800426{
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800427 kmem_cache_free(pte_list_desc_cache, pte_list_desc);
Avi Kivity714b93d2007-01-05 16:36:53 -0800428}
429
Lai Jiangshan2032a932010-05-26 16:49:59 +0800430static gfn_t kvm_mmu_page_get_gfn(struct kvm_mmu_page *sp, int index)
431{
432 if (!sp->role.direct)
433 return sp->gfns[index];
434
435 return sp->gfn + (index << ((sp->role.level - 1) * PT64_LEVEL_BITS));
436}
437
438static void kvm_mmu_page_set_gfn(struct kvm_mmu_page *sp, int index, gfn_t gfn)
439{
440 if (sp->role.direct)
441 BUG_ON(gfn != kvm_mmu_page_get_gfn(sp, index));
442 else
443 sp->gfns[index] = gfn;
444}
445
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800446/*
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900447 * Return the pointer to the large page information for a given gfn,
448 * handling slots that are not large page aligned.
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300449 */
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900450static struct kvm_lpage_info *lpage_info_slot(gfn_t gfn,
451 struct kvm_memory_slot *slot,
452 int level)
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300453{
454 unsigned long idx;
455
Joerg Roedel82855412010-07-01 16:00:11 +0200456 idx = (gfn >> KVM_HPAGE_GFN_SHIFT(level)) -
457 (slot->base_gfn >> KVM_HPAGE_GFN_SHIFT(level));
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900458 return &slot->lpage_info[level - 2][idx];
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300459}
460
461static void account_shadowed(struct kvm *kvm, gfn_t gfn)
462{
Joerg Roedeld25797b2009-07-27 16:30:43 +0200463 struct kvm_memory_slot *slot;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900464 struct kvm_lpage_info *linfo;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200465 int i;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300466
Avi Kivitya1f4d392010-06-21 11:44:20 +0300467 slot = gfn_to_memslot(kvm, gfn);
Joerg Roedeld25797b2009-07-27 16:30:43 +0200468 for (i = PT_DIRECTORY_LEVEL;
469 i < PT_PAGE_TABLE_LEVEL + KVM_NR_PAGE_SIZES; ++i) {
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900470 linfo = lpage_info_slot(gfn, slot, i);
471 linfo->write_count += 1;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200472 }
Xiao Guangrong332b2072011-05-15 23:20:27 +0800473 kvm->arch.indirect_shadow_pages++;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300474}
475
476static void unaccount_shadowed(struct kvm *kvm, gfn_t gfn)
477{
Joerg Roedeld25797b2009-07-27 16:30:43 +0200478 struct kvm_memory_slot *slot;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900479 struct kvm_lpage_info *linfo;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200480 int i;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300481
Avi Kivitya1f4d392010-06-21 11:44:20 +0300482 slot = gfn_to_memslot(kvm, gfn);
Joerg Roedeld25797b2009-07-27 16:30:43 +0200483 for (i = PT_DIRECTORY_LEVEL;
484 i < PT_PAGE_TABLE_LEVEL + KVM_NR_PAGE_SIZES; ++i) {
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900485 linfo = lpage_info_slot(gfn, slot, i);
486 linfo->write_count -= 1;
487 WARN_ON(linfo->write_count < 0);
Joerg Roedeld25797b2009-07-27 16:30:43 +0200488 }
Xiao Guangrong332b2072011-05-15 23:20:27 +0800489 kvm->arch.indirect_shadow_pages--;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300490}
491
Joerg Roedeld25797b2009-07-27 16:30:43 +0200492static int has_wrprotected_page(struct kvm *kvm,
493 gfn_t gfn,
494 int level)
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300495{
Izik Eidus28430992008-10-03 17:40:32 +0300496 struct kvm_memory_slot *slot;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900497 struct kvm_lpage_info *linfo;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300498
Avi Kivitya1f4d392010-06-21 11:44:20 +0300499 slot = gfn_to_memslot(kvm, gfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300500 if (slot) {
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900501 linfo = lpage_info_slot(gfn, slot, level);
502 return linfo->write_count;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300503 }
504
505 return 1;
506}
507
Joerg Roedeld25797b2009-07-27 16:30:43 +0200508static int host_mapping_level(struct kvm *kvm, gfn_t gfn)
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300509{
Joerg Roedel8f0b1ab2010-01-28 12:37:56 +0100510 unsigned long page_size;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200511 int i, ret = 0;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300512
Joerg Roedel8f0b1ab2010-01-28 12:37:56 +0100513 page_size = kvm_host_page_size(kvm, gfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300514
Joerg Roedeld25797b2009-07-27 16:30:43 +0200515 for (i = PT_PAGE_TABLE_LEVEL;
516 i < (PT_PAGE_TABLE_LEVEL + KVM_NR_PAGE_SIZES); ++i) {
517 if (page_size >= KVM_HPAGE_SIZE(i))
518 ret = i;
519 else
520 break;
521 }
522
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -0300523 return ret;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300524}
525
Xiao Guangrong5d163b12011-03-09 15:43:00 +0800526static struct kvm_memory_slot *
527gfn_to_memslot_dirty_bitmap(struct kvm_vcpu *vcpu, gfn_t gfn,
528 bool no_dirty_log)
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300529{
530 struct kvm_memory_slot *slot;
Xiao Guangrong5d163b12011-03-09 15:43:00 +0800531
532 slot = gfn_to_memslot(vcpu->kvm, gfn);
533 if (!slot || slot->flags & KVM_MEMSLOT_INVALID ||
534 (no_dirty_log && slot->dirty_bitmap))
535 slot = NULL;
536
537 return slot;
538}
539
540static bool mapping_level_dirty_bitmap(struct kvm_vcpu *vcpu, gfn_t large_gfn)
541{
Stevea0a8eab2011-06-17 10:25:39 +0800542 return !gfn_to_memslot_dirty_bitmap(vcpu, large_gfn, true);
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -0800543}
544
545static int mapping_level(struct kvm_vcpu *vcpu, gfn_t large_gfn)
546{
547 int host_level, level, max_level;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300548
Joerg Roedeld25797b2009-07-27 16:30:43 +0200549 host_level = host_mapping_level(vcpu->kvm, large_gfn);
550
551 if (host_level == PT_PAGE_TABLE_LEVEL)
552 return host_level;
553
Sheng Yang878403b2010-01-05 19:02:29 +0800554 max_level = kvm_x86_ops->get_lpage_level() < host_level ?
555 kvm_x86_ops->get_lpage_level() : host_level;
556
557 for (level = PT_DIRECTORY_LEVEL; level <= max_level; ++level)
Joerg Roedeld25797b2009-07-27 16:30:43 +0200558 if (has_wrprotected_page(vcpu->kvm, large_gfn, level))
559 break;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200560
561 return level - 1;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300562}
563
564/*
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800565 * Pte mapping structures:
566 *
567 * If pte_list bit zero is zero, then pte_list point to the spte.
568 *
569 * If pte_list bit zero is one, (then pte_list & ~1) points to a struct
570 * pte_list_desc containing more mappings.
571 *
572 * Returns the number of pte entries before the spte was added or zero if
573 * the spte was not added.
574 *
575 */
576static int pte_list_add(struct kvm_vcpu *vcpu, u64 *spte,
577 unsigned long *pte_list)
578{
579 struct pte_list_desc *desc;
580 int i, count = 0;
581
582 if (!*pte_list) {
583 rmap_printk("pte_list_add: %p %llx 0->1\n", spte, *spte);
584 *pte_list = (unsigned long)spte;
585 } else if (!(*pte_list & 1)) {
586 rmap_printk("pte_list_add: %p %llx 1->many\n", spte, *spte);
587 desc = mmu_alloc_pte_list_desc(vcpu);
588 desc->sptes[0] = (u64 *)*pte_list;
589 desc->sptes[1] = spte;
590 *pte_list = (unsigned long)desc | 1;
591 ++count;
592 } else {
593 rmap_printk("pte_list_add: %p %llx many->many\n", spte, *spte);
594 desc = (struct pte_list_desc *)(*pte_list & ~1ul);
595 while (desc->sptes[PTE_LIST_EXT-1] && desc->more) {
596 desc = desc->more;
597 count += PTE_LIST_EXT;
598 }
599 if (desc->sptes[PTE_LIST_EXT-1]) {
600 desc->more = mmu_alloc_pte_list_desc(vcpu);
601 desc = desc->more;
602 }
603 for (i = 0; desc->sptes[i]; ++i)
604 ++count;
605 desc->sptes[i] = spte;
606 }
607 return count;
608}
609
610static u64 *pte_list_next(unsigned long *pte_list, u64 *spte)
611{
612 struct pte_list_desc *desc;
613 u64 *prev_spte;
614 int i;
615
616 if (!*pte_list)
617 return NULL;
618 else if (!(*pte_list & 1)) {
619 if (!spte)
620 return (u64 *)*pte_list;
621 return NULL;
622 }
623 desc = (struct pte_list_desc *)(*pte_list & ~1ul);
624 prev_spte = NULL;
625 while (desc) {
626 for (i = 0; i < PTE_LIST_EXT && desc->sptes[i]; ++i) {
627 if (prev_spte == spte)
628 return desc->sptes[i];
629 prev_spte = desc->sptes[i];
630 }
631 desc = desc->more;
632 }
633 return NULL;
634}
635
636static void
637pte_list_desc_remove_entry(unsigned long *pte_list, struct pte_list_desc *desc,
638 int i, struct pte_list_desc *prev_desc)
639{
640 int j;
641
642 for (j = PTE_LIST_EXT - 1; !desc->sptes[j] && j > i; --j)
643 ;
644 desc->sptes[i] = desc->sptes[j];
645 desc->sptes[j] = NULL;
646 if (j != 0)
647 return;
648 if (!prev_desc && !desc->more)
649 *pte_list = (unsigned long)desc->sptes[0];
650 else
651 if (prev_desc)
652 prev_desc->more = desc->more;
653 else
654 *pte_list = (unsigned long)desc->more | 1;
655 mmu_free_pte_list_desc(desc);
656}
657
658static void pte_list_remove(u64 *spte, unsigned long *pte_list)
659{
660 struct pte_list_desc *desc;
661 struct pte_list_desc *prev_desc;
662 int i;
663
664 if (!*pte_list) {
665 printk(KERN_ERR "pte_list_remove: %p 0->BUG\n", spte);
666 BUG();
667 } else if (!(*pte_list & 1)) {
668 rmap_printk("pte_list_remove: %p 1->0\n", spte);
669 if ((u64 *)*pte_list != spte) {
670 printk(KERN_ERR "pte_list_remove: %p 1->BUG\n", spte);
671 BUG();
672 }
673 *pte_list = 0;
674 } else {
675 rmap_printk("pte_list_remove: %p many->many\n", spte);
676 desc = (struct pte_list_desc *)(*pte_list & ~1ul);
677 prev_desc = NULL;
678 while (desc) {
679 for (i = 0; i < PTE_LIST_EXT && desc->sptes[i]; ++i)
680 if (desc->sptes[i] == spte) {
681 pte_list_desc_remove_entry(pte_list,
682 desc, i,
683 prev_desc);
684 return;
685 }
686 prev_desc = desc;
687 desc = desc->more;
688 }
689 pr_err("pte_list_remove: %p many->many\n", spte);
690 BUG();
691 }
692}
693
Xiao Guangrong67052b32011-05-15 23:27:08 +0800694typedef void (*pte_list_walk_fn) (u64 *spte);
695static void pte_list_walk(unsigned long *pte_list, pte_list_walk_fn fn)
696{
697 struct pte_list_desc *desc;
698 int i;
699
700 if (!*pte_list)
701 return;
702
703 if (!(*pte_list & 1))
704 return fn((u64 *)*pte_list);
705
706 desc = (struct pte_list_desc *)(*pte_list & ~1ul);
707 while (desc) {
708 for (i = 0; i < PTE_LIST_EXT && desc->sptes[i]; ++i)
709 fn(desc->sptes[i]);
710 desc = desc->more;
711 }
712}
713
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800714/*
Izik Eidus290fc382007-09-27 14:11:22 +0200715 * Take gfn and return the reverse mapping to it.
Izik Eidus290fc382007-09-27 14:11:22 +0200716 */
Joerg Roedel44ad9942009-07-27 16:30:42 +0200717static unsigned long *gfn_to_rmap(struct kvm *kvm, gfn_t gfn, int level)
Izik Eidus290fc382007-09-27 14:11:22 +0200718{
719 struct kvm_memory_slot *slot;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900720 struct kvm_lpage_info *linfo;
Izik Eidus290fc382007-09-27 14:11:22 +0200721
722 slot = gfn_to_memslot(kvm, gfn);
Joerg Roedel44ad9942009-07-27 16:30:42 +0200723 if (likely(level == PT_PAGE_TABLE_LEVEL))
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300724 return &slot->rmap[gfn - slot->base_gfn];
725
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900726 linfo = lpage_info_slot(gfn, slot, level);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300727
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900728 return &linfo->rmap_pde;
Izik Eidus290fc382007-09-27 14:11:22 +0200729}
730
Joerg Roedel44ad9942009-07-27 16:30:42 +0200731static int rmap_add(struct kvm_vcpu *vcpu, u64 *spte, gfn_t gfn)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800732{
Avi Kivity4db35312007-11-21 15:28:32 +0200733 struct kvm_mmu_page *sp;
Izik Eidus290fc382007-09-27 14:11:22 +0200734 unsigned long *rmapp;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800735
Avi Kivity4db35312007-11-21 15:28:32 +0200736 sp = page_header(__pa(spte));
Lai Jiangshan2032a932010-05-26 16:49:59 +0800737 kvm_mmu_page_set_gfn(sp, spte - sp->spt, gfn);
Joerg Roedel44ad9942009-07-27 16:30:42 +0200738 rmapp = gfn_to_rmap(vcpu->kvm, gfn, sp->role.level);
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800739 return pte_list_add(vcpu, spte, rmapp);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800740}
741
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800742static u64 *rmap_next(struct kvm *kvm, unsigned long *rmapp, u64 *spte)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800743{
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800744 return pte_list_next(rmapp, spte);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800745}
746
Izik Eidus290fc382007-09-27 14:11:22 +0200747static void rmap_remove(struct kvm *kvm, u64 *spte)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800748{
Avi Kivity4db35312007-11-21 15:28:32 +0200749 struct kvm_mmu_page *sp;
Lai Jiangshan2032a932010-05-26 16:49:59 +0800750 gfn_t gfn;
Izik Eidus290fc382007-09-27 14:11:22 +0200751 unsigned long *rmapp;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800752
Avi Kivity4db35312007-11-21 15:28:32 +0200753 sp = page_header(__pa(spte));
Lai Jiangshan2032a932010-05-26 16:49:59 +0800754 gfn = kvm_mmu_page_get_gfn(sp, spte - sp->spt);
755 rmapp = gfn_to_rmap(kvm, gfn, sp->role.level);
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800756 pte_list_remove(spte, rmapp);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800757}
758
Marcelo Tosattieb45fda2010-10-25 11:58:22 -0200759static int set_spte_track_bits(u64 *sptep, u64 new_spte)
Avi Kivitybe38d272010-06-06 14:31:27 +0300760{
Avi Kivityce061862010-06-06 14:38:12 +0300761 pfn_t pfn;
Xiao Guangrong9a3aad72010-07-16 11:30:18 +0800762 u64 old_spte = *sptep;
Avi Kivityce061862010-06-06 14:38:12 +0300763
Xiao Guangrong8672b722010-08-02 16:14:04 +0800764 if (!spte_has_volatile_bits(old_spte))
Xiao Guangrong9a3aad72010-07-16 11:30:18 +0800765 __set_spte(sptep, new_spte);
Xiao Guangrong8672b722010-08-02 16:14:04 +0800766 else
Xiao Guangrong9a3aad72010-07-16 11:30:18 +0800767 old_spte = __xchg_spte(sptep, new_spte);
768
Avi Kivitya9221dd2010-06-06 14:48:06 +0300769 if (!is_rmap_spte(old_spte))
Marcelo Tosattieb45fda2010-10-25 11:58:22 -0200770 return 0;
Xiao Guangrong8672b722010-08-02 16:14:04 +0800771
Avi Kivitya9221dd2010-06-06 14:48:06 +0300772 pfn = spte_to_pfn(old_spte);
Xiao Guangrongdaa3db62010-07-16 11:23:04 +0800773 if (!shadow_accessed_mask || old_spte & shadow_accessed_mask)
Avi Kivityce061862010-06-06 14:38:12 +0300774 kvm_set_pfn_accessed(pfn);
Xiao Guangrong41327792010-08-02 16:15:08 +0800775 if (!shadow_dirty_mask || (old_spte & shadow_dirty_mask))
Avi Kivityce061862010-06-06 14:38:12 +0300776 kvm_set_pfn_dirty(pfn);
Marcelo Tosattieb45fda2010-10-25 11:58:22 -0200777 return 1;
Xiao Guangronge4b502e2010-07-16 11:28:09 +0800778}
779
780static void drop_spte(struct kvm *kvm, u64 *sptep, u64 new_spte)
781{
Marcelo Tosattieb45fda2010-10-25 11:58:22 -0200782 if (set_spte_track_bits(sptep, new_spte))
783 rmap_remove(kvm, sptep);
Avi Kivitybe38d272010-06-06 14:31:27 +0300784}
785
Marcelo Tosattib1a36822008-12-01 22:32:03 -0200786static int rmap_write_protect(struct kvm *kvm, u64 gfn)
Izik Eidus98348e92007-10-16 14:42:30 +0200787{
Izik Eidus290fc382007-09-27 14:11:22 +0200788 unsigned long *rmapp;
Avi Kivity374cbac2007-01-05 16:36:43 -0800789 u64 *spte;
Joerg Roedel44ad9942009-07-27 16:30:42 +0200790 int i, write_protected = 0;
Avi Kivity374cbac2007-01-05 16:36:43 -0800791
Joerg Roedel44ad9942009-07-27 16:30:42 +0200792 rmapp = gfn_to_rmap(kvm, gfn, PT_PAGE_TABLE_LEVEL);
Avi Kivity374cbac2007-01-05 16:36:43 -0800793
Izik Eidus98348e92007-10-16 14:42:30 +0200794 spte = rmap_next(kvm, rmapp, NULL);
795 while (spte) {
Avi Kivity374cbac2007-01-05 16:36:43 -0800796 BUG_ON(!spte);
Avi Kivity374cbac2007-01-05 16:36:43 -0800797 BUG_ON(!(*spte & PT_PRESENT_MASK));
Avi Kivity374cbac2007-01-05 16:36:43 -0800798 rmap_printk("rmap_write_protect: spte %p %llx\n", spte, *spte);
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +0900799 if (is_writable_pte(*spte)) {
Avi Kivityb79b93f2010-06-06 15:46:44 +0300800 update_spte(spte, *spte & ~PT_WRITABLE_MASK);
Eddie Dongcaa5b8a2007-12-18 06:08:27 +0800801 write_protected = 1;
802 }
Izik Eidus9647c142007-10-16 14:43:46 +0200803 spte = rmap_next(kvm, rmapp, spte);
Avi Kivity374cbac2007-01-05 16:36:43 -0800804 }
Izik Eidus855149a2008-03-20 18:17:24 +0200805
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300806 /* check for huge page mappings */
Joerg Roedel44ad9942009-07-27 16:30:42 +0200807 for (i = PT_DIRECTORY_LEVEL;
808 i < PT_PAGE_TABLE_LEVEL + KVM_NR_PAGE_SIZES; ++i) {
809 rmapp = gfn_to_rmap(kvm, gfn, i);
810 spte = rmap_next(kvm, rmapp, NULL);
811 while (spte) {
812 BUG_ON(!spte);
813 BUG_ON(!(*spte & PT_PRESENT_MASK));
814 BUG_ON((*spte & (PT_PAGE_SIZE_MASK|PT_PRESENT_MASK)) != (PT_PAGE_SIZE_MASK|PT_PRESENT_MASK));
815 pgprintk("rmap_write_protect(large): spte %p %llx %lld\n", spte, *spte, gfn);
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +0900816 if (is_writable_pte(*spte)) {
Avi Kivitybe38d272010-06-06 14:31:27 +0300817 drop_spte(kvm, spte,
818 shadow_trap_nonpresent_pte);
Joerg Roedel44ad9942009-07-27 16:30:42 +0200819 --kvm->stat.lpages;
Joerg Roedel44ad9942009-07-27 16:30:42 +0200820 spte = NULL;
821 write_protected = 1;
822 }
823 spte = rmap_next(kvm, rmapp, spte);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300824 }
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300825 }
826
Marcelo Tosattib1a36822008-12-01 22:32:03 -0200827 return write_protected;
Avi Kivity374cbac2007-01-05 16:36:43 -0800828}
829
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000830static int kvm_unmap_rmapp(struct kvm *kvm, unsigned long *rmapp,
831 unsigned long data)
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200832{
833 u64 *spte;
834 int need_tlb_flush = 0;
835
836 while ((spte = rmap_next(kvm, rmapp, NULL))) {
837 BUG_ON(!(*spte & PT_PRESENT_MASK));
838 rmap_printk("kvm_rmap_unmap_hva: spte %p %llx\n", spte, *spte);
Avi Kivitybe38d272010-06-06 14:31:27 +0300839 drop_spte(kvm, spte, shadow_trap_nonpresent_pte);
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200840 need_tlb_flush = 1;
841 }
842 return need_tlb_flush;
843}
844
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000845static int kvm_set_pte_rmapp(struct kvm *kvm, unsigned long *rmapp,
846 unsigned long data)
Izik Eidus3da0dd42009-09-23 21:47:18 +0300847{
848 int need_flush = 0;
Xiao Guangronge4b502e2010-07-16 11:28:09 +0800849 u64 *spte, new_spte;
Izik Eidus3da0dd42009-09-23 21:47:18 +0300850 pte_t *ptep = (pte_t *)data;
851 pfn_t new_pfn;
852
853 WARN_ON(pte_huge(*ptep));
854 new_pfn = pte_pfn(*ptep);
855 spte = rmap_next(kvm, rmapp, NULL);
856 while (spte) {
857 BUG_ON(!is_shadow_present_pte(*spte));
858 rmap_printk("kvm_set_pte_rmapp: spte %p %llx\n", spte, *spte);
859 need_flush = 1;
860 if (pte_write(*ptep)) {
Avi Kivitybe38d272010-06-06 14:31:27 +0300861 drop_spte(kvm, spte, shadow_trap_nonpresent_pte);
Izik Eidus3da0dd42009-09-23 21:47:18 +0300862 spte = rmap_next(kvm, rmapp, NULL);
863 } else {
864 new_spte = *spte &~ (PT64_BASE_ADDR_MASK);
865 new_spte |= (u64)new_pfn << PAGE_SHIFT;
866
867 new_spte &= ~PT_WRITABLE_MASK;
868 new_spte &= ~SPTE_HOST_WRITEABLE;
Avi Kivityb79b93f2010-06-06 15:46:44 +0300869 new_spte &= ~shadow_accessed_mask;
Xiao Guangronge4b502e2010-07-16 11:28:09 +0800870 set_spte_track_bits(spte, new_spte);
Izik Eidus3da0dd42009-09-23 21:47:18 +0300871 spte = rmap_next(kvm, rmapp, spte);
872 }
873 }
874 if (need_flush)
875 kvm_flush_remote_tlbs(kvm);
876
877 return 0;
878}
879
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000880static int kvm_handle_hva(struct kvm *kvm, unsigned long hva,
881 unsigned long data,
Izik Eidus3da0dd42009-09-23 21:47:18 +0300882 int (*handler)(struct kvm *kvm, unsigned long *rmapp,
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000883 unsigned long data))
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200884{
Joerg Roedel852e3c12009-07-27 16:30:44 +0200885 int i, j;
Avi Kivity90bb6fc2009-12-31 12:10:16 +0200886 int ret;
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200887 int retval = 0;
Marcelo Tosattibc6678a2009-12-23 14:35:21 -0200888 struct kvm_memslots *slots;
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200889
Lai Jiangshan90d83dc2010-04-19 17:41:23 +0800890 slots = kvm_memslots(kvm);
Marcelo Tosattibc6678a2009-12-23 14:35:21 -0200891
Marcelo Tosatti46a26bf2009-12-23 14:35:16 -0200892 for (i = 0; i < slots->nmemslots; i++) {
893 struct kvm_memory_slot *memslot = &slots->memslots[i];
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200894 unsigned long start = memslot->userspace_addr;
895 unsigned long end;
896
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200897 end = start + (memslot->npages << PAGE_SHIFT);
898 if (hva >= start && hva < end) {
899 gfn_t gfn_offset = (hva - start) >> PAGE_SHIFT;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900900 gfn_t gfn = memslot->base_gfn + gfn_offset;
Joerg Roedel852e3c12009-07-27 16:30:44 +0200901
Avi Kivity90bb6fc2009-12-31 12:10:16 +0200902 ret = handler(kvm, &memslot->rmap[gfn_offset], data);
Joerg Roedel852e3c12009-07-27 16:30:44 +0200903
904 for (j = 0; j < KVM_NR_PAGE_SIZES - 1; ++j) {
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900905 struct kvm_lpage_info *linfo;
Andrea Arcangeli6e3e2432010-07-16 11:52:55 +0200906
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900907 linfo = lpage_info_slot(gfn, memslot,
908 PT_DIRECTORY_LEVEL + j);
909 ret |= handler(kvm, &linfo->rmap_pde, data);
Joerg Roedel852e3c12009-07-27 16:30:44 +0200910 }
Avi Kivity90bb6fc2009-12-31 12:10:16 +0200911 trace_kvm_age_page(hva, memslot, ret);
912 retval |= ret;
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200913 }
914 }
915
916 return retval;
917}
918
919int kvm_unmap_hva(struct kvm *kvm, unsigned long hva)
920{
Izik Eidus3da0dd42009-09-23 21:47:18 +0300921 return kvm_handle_hva(kvm, hva, 0, kvm_unmap_rmapp);
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200922}
923
Izik Eidus3da0dd42009-09-23 21:47:18 +0300924void kvm_set_spte_hva(struct kvm *kvm, unsigned long hva, pte_t pte)
925{
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000926 kvm_handle_hva(kvm, hva, (unsigned long)&pte, kvm_set_pte_rmapp);
Izik Eidus3da0dd42009-09-23 21:47:18 +0300927}
928
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000929static int kvm_age_rmapp(struct kvm *kvm, unsigned long *rmapp,
930 unsigned long data)
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200931{
932 u64 *spte;
933 int young = 0;
934
Rik van Riel6316e1c2010-02-03 16:11:03 -0500935 /*
936 * Emulate the accessed bit for EPT, by checking if this page has
937 * an EPT mapping, and clearing it if it does. On the next access,
938 * a new EPT mapping will be established.
939 * This has some overhead, but not as much as the cost of swapping
940 * out actively used pages or breaking up actively used hugepages.
941 */
Sheng Yang534e38b2008-09-08 15:12:30 +0800942 if (!shadow_accessed_mask)
Rik van Riel6316e1c2010-02-03 16:11:03 -0500943 return kvm_unmap_rmapp(kvm, rmapp, data);
Sheng Yang534e38b2008-09-08 15:12:30 +0800944
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200945 spte = rmap_next(kvm, rmapp, NULL);
946 while (spte) {
947 int _young;
948 u64 _spte = *spte;
949 BUG_ON(!(_spte & PT_PRESENT_MASK));
950 _young = _spte & PT_ACCESSED_MASK;
951 if (_young) {
952 young = 1;
953 clear_bit(PT_ACCESSED_SHIFT, (unsigned long *)spte);
954 }
955 spte = rmap_next(kvm, rmapp, spte);
956 }
957 return young;
958}
959
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800960static int kvm_test_age_rmapp(struct kvm *kvm, unsigned long *rmapp,
961 unsigned long data)
962{
963 u64 *spte;
964 int young = 0;
965
966 /*
967 * If there's no access bit in the secondary pte set by the
968 * hardware it's up to gup-fast/gup to set the access bit in
969 * the primary pte or in the page structure.
970 */
971 if (!shadow_accessed_mask)
972 goto out;
973
974 spte = rmap_next(kvm, rmapp, NULL);
975 while (spte) {
976 u64 _spte = *spte;
977 BUG_ON(!(_spte & PT_PRESENT_MASK));
978 young = _spte & PT_ACCESSED_MASK;
979 if (young) {
980 young = 1;
981 break;
982 }
983 spte = rmap_next(kvm, rmapp, spte);
984 }
985out:
986 return young;
987}
988
Marcelo Tosatti53a27b32009-08-05 15:43:58 -0300989#define RMAP_RECYCLE_THRESHOLD 1000
990
Joerg Roedel852e3c12009-07-27 16:30:44 +0200991static void rmap_recycle(struct kvm_vcpu *vcpu, u64 *spte, gfn_t gfn)
Marcelo Tosatti53a27b32009-08-05 15:43:58 -0300992{
993 unsigned long *rmapp;
Joerg Roedel852e3c12009-07-27 16:30:44 +0200994 struct kvm_mmu_page *sp;
995
996 sp = page_header(__pa(spte));
Marcelo Tosatti53a27b32009-08-05 15:43:58 -0300997
Joerg Roedel852e3c12009-07-27 16:30:44 +0200998 rmapp = gfn_to_rmap(vcpu->kvm, gfn, sp->role.level);
Marcelo Tosatti53a27b32009-08-05 15:43:58 -0300999
Izik Eidus3da0dd42009-09-23 21:47:18 +03001000 kvm_unmap_rmapp(vcpu->kvm, rmapp, 0);
Marcelo Tosatti53a27b32009-08-05 15:43:58 -03001001 kvm_flush_remote_tlbs(vcpu->kvm);
1002}
1003
Andrea Arcangelie930bff2008-07-25 16:24:52 +02001004int kvm_age_hva(struct kvm *kvm, unsigned long hva)
1005{
Izik Eidus3da0dd42009-09-23 21:47:18 +03001006 return kvm_handle_hva(kvm, hva, 0, kvm_age_rmapp);
Andrea Arcangelie930bff2008-07-25 16:24:52 +02001007}
1008
Andrea Arcangeli8ee53822011-01-13 15:47:10 -08001009int kvm_test_age_hva(struct kvm *kvm, unsigned long hva)
1010{
1011 return kvm_handle_hva(kvm, hva, 0, kvm_test_age_rmapp);
1012}
1013
Yaozu Dongd6c69ee2007-04-25 14:17:25 +08001014#ifdef MMU_DEBUG
Avi Kivity47ad8e62007-05-06 15:50:58 +03001015static int is_empty_shadow_page(u64 *spt)
Avi Kivity6aa8b732006-12-10 02:21:36 -08001016{
Avi Kivity139bdb22007-01-05 16:36:50 -08001017 u64 *pos;
1018 u64 *end;
1019
Avi Kivity47ad8e62007-05-06 15:50:58 +03001020 for (pos = spt, end = pos + PAGE_SIZE / sizeof(u64); pos != end; pos++)
Avi Kivity3c915512008-05-20 16:21:13 +03001021 if (is_shadow_present_pte(*pos)) {
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001022 printk(KERN_ERR "%s: %p %llx\n", __func__,
Avi Kivity139bdb22007-01-05 16:36:50 -08001023 pos, *pos);
Avi Kivity6aa8b732006-12-10 02:21:36 -08001024 return 0;
Avi Kivity139bdb22007-01-05 16:36:50 -08001025 }
Avi Kivity6aa8b732006-12-10 02:21:36 -08001026 return 1;
1027}
Yaozu Dongd6c69ee2007-04-25 14:17:25 +08001028#endif
Avi Kivity6aa8b732006-12-10 02:21:36 -08001029
Dave Hansen45221ab2010-08-19 18:11:37 -07001030/*
1031 * This value is the sum of all of the kvm instances's
1032 * kvm->arch.n_used_mmu_pages values. We need a global,
1033 * aggregate version in order to make the slab shrinker
1034 * faster
1035 */
1036static inline void kvm_mod_used_mmu_pages(struct kvm *kvm, int nr)
1037{
1038 kvm->arch.n_used_mmu_pages += nr;
1039 percpu_counter_add(&kvm_total_used_mmu_pages, nr);
1040}
1041
Avi Kivity4db35312007-11-21 15:28:32 +02001042static void kvm_mmu_free_page(struct kvm *kvm, struct kvm_mmu_page *sp)
Avi Kivity260746c2007-01-05 16:36:49 -08001043{
Avi Kivity4db35312007-11-21 15:28:32 +02001044 ASSERT(is_empty_shadow_page(sp->spt));
Xiao Guangrong77758342010-06-04 21:53:54 +08001045 hlist_del(&sp->hash_link);
Avi Kivity4db35312007-11-21 15:28:32 +02001046 list_del(&sp->link);
Xiao Guangrong842f22e2011-03-04 19:01:10 +08001047 free_page((unsigned long)sp->spt);
Lai Jiangshan2032a932010-05-26 16:49:59 +08001048 if (!sp->role.direct)
Xiao Guangrong842f22e2011-03-04 19:01:10 +08001049 free_page((unsigned long)sp->gfns);
Xiao Guangronge8ad9a72010-05-13 10:06:02 +08001050 kmem_cache_free(mmu_page_header_cache, sp);
Dave Hansen45221ab2010-08-19 18:11:37 -07001051 kvm_mod_used_mmu_pages(kvm, -1);
Avi Kivity260746c2007-01-05 16:36:49 -08001052}
1053
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001054static unsigned kvm_page_table_hashfn(gfn_t gfn)
1055{
Dong, Eddie1ae0a132008-01-07 13:20:25 +02001056 return gfn & ((1 << KVM_MMU_HASH_SHIFT) - 1);
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001057}
1058
Xiao Guangrong67052b32011-05-15 23:27:08 +08001059static void mmu_page_add_parent_pte(struct kvm_vcpu *vcpu,
1060 struct kvm_mmu_page *sp, u64 *parent_pte)
1061{
1062 if (!parent_pte)
1063 return;
1064
1065 pte_list_add(vcpu, parent_pte, &sp->parent_ptes);
1066}
1067
1068static void mmu_page_remove_parent_pte(struct kvm_mmu_page *sp,
1069 u64 *parent_pte)
1070{
1071 pte_list_remove(parent_pte, &sp->parent_ptes);
1072}
1073
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001074static void drop_parent_pte(struct kvm_mmu_page *sp,
1075 u64 *parent_pte)
1076{
1077 mmu_page_remove_parent_pte(sp, parent_pte);
1078 __set_spte(parent_pte, shadow_trap_nonpresent_pte);
1079}
1080
Avi Kivity25c0de22007-01-05 16:36:42 -08001081static struct kvm_mmu_page *kvm_mmu_alloc_page(struct kvm_vcpu *vcpu,
Lai Jiangshan2032a932010-05-26 16:49:59 +08001082 u64 *parent_pte, int direct)
Avi Kivity6aa8b732006-12-10 02:21:36 -08001083{
Avi Kivity4db35312007-11-21 15:28:32 +02001084 struct kvm_mmu_page *sp;
Xiao Guangrong67052b32011-05-15 23:27:08 +08001085 sp = mmu_memory_cache_alloc(&vcpu->arch.mmu_page_header_cache,
1086 sizeof *sp);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001087 sp->spt = mmu_memory_cache_alloc(&vcpu->arch.mmu_page_cache, PAGE_SIZE);
Lai Jiangshan2032a932010-05-26 16:49:59 +08001088 if (!direct)
1089 sp->gfns = mmu_memory_cache_alloc(&vcpu->arch.mmu_page_cache,
1090 PAGE_SIZE);
Avi Kivity4db35312007-11-21 15:28:32 +02001091 set_page_private(virt_to_page(sp->spt), (unsigned long)sp);
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001092 list_add(&sp->link, &vcpu->kvm->arch.active_mmu_pages);
Sheng Yang291f26b2008-10-16 17:30:57 +08001093 bitmap_zero(sp->slot_bitmap, KVM_MEMORY_SLOTS + KVM_PRIVATE_MEM_SLOTS);
Xiao Guangrong67052b32011-05-15 23:27:08 +08001094 sp->parent_ptes = 0;
1095 mmu_page_add_parent_pte(vcpu, sp, parent_pte);
Dave Hansen45221ab2010-08-19 18:11:37 -07001096 kvm_mod_used_mmu_pages(vcpu->kvm, +1);
Avi Kivity4db35312007-11-21 15:28:32 +02001097 return sp;
Avi Kivity6aa8b732006-12-10 02:21:36 -08001098}
1099
Xiao Guangrong67052b32011-05-15 23:27:08 +08001100static void mark_unsync(u64 *spte);
Xiao Guangrong6b184932010-04-16 21:29:17 +08001101static void kvm_mmu_mark_parents_unsync(struct kvm_mmu_page *sp)
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001102{
Xiao Guangrong67052b32011-05-15 23:27:08 +08001103 pte_list_walk(&sp->parent_ptes, mark_unsync);
Xiao Guangrong1047df12010-06-11 21:35:15 +08001104}
1105
Xiao Guangrong67052b32011-05-15 23:27:08 +08001106static void mark_unsync(u64 *spte)
Xiao Guangrong1047df12010-06-11 21:35:15 +08001107{
Xiao Guangrong67052b32011-05-15 23:27:08 +08001108 struct kvm_mmu_page *sp;
Xiao Guangrong1047df12010-06-11 21:35:15 +08001109 unsigned int index;
1110
Xiao Guangrong67052b32011-05-15 23:27:08 +08001111 sp = page_header(__pa(spte));
Xiao Guangrong1047df12010-06-11 21:35:15 +08001112 index = spte - sp->spt;
1113 if (__test_and_set_bit(index, sp->unsync_child_bitmap))
1114 return;
1115 if (sp->unsync_children++)
1116 return;
1117 kvm_mmu_mark_parents_unsync(sp);
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001118}
1119
Avi Kivityd761a502008-05-29 14:55:03 +03001120static void nonpaging_prefetch_page(struct kvm_vcpu *vcpu,
1121 struct kvm_mmu_page *sp)
1122{
1123 int i;
1124
1125 for (i = 0; i < PT64_ENT_PER_PAGE; ++i)
1126 sp->spt[i] = shadow_trap_nonpresent_pte;
1127}
1128
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03001129static int nonpaging_sync_page(struct kvm_vcpu *vcpu,
Xiao Guangronga4a8e6f2010-11-19 17:04:03 +08001130 struct kvm_mmu_page *sp)
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03001131{
1132 return 1;
1133}
1134
Marcelo Tosattia7052892008-09-23 13:18:35 -03001135static void nonpaging_invlpg(struct kvm_vcpu *vcpu, gva_t gva)
1136{
1137}
1138
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08001139static void nonpaging_update_pte(struct kvm_vcpu *vcpu,
1140 struct kvm_mmu_page *sp, u64 *spte,
Xiao Guangrong7c562522011-03-28 10:29:27 +08001141 const void *pte)
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08001142{
1143 WARN_ON(1);
1144}
1145
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001146#define KVM_PAGE_ARRAY_NR 16
1147
1148struct kvm_mmu_pages {
1149 struct mmu_page_and_offset {
1150 struct kvm_mmu_page *sp;
1151 unsigned int idx;
1152 } page[KVM_PAGE_ARRAY_NR];
1153 unsigned int nr;
1154};
1155
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001156#define for_each_unsync_children(bitmap, idx) \
1157 for (idx = find_first_bit(bitmap, 512); \
1158 idx < 512; \
1159 idx = find_next_bit(bitmap, 512, idx+1))
1160
Hannes Edercded19f2009-02-21 02:19:13 +01001161static int mmu_pages_add(struct kvm_mmu_pages *pvec, struct kvm_mmu_page *sp,
1162 int idx)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001163{
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001164 int i;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001165
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001166 if (sp->unsync)
1167 for (i=0; i < pvec->nr; i++)
1168 if (pvec->page[i].sp == sp)
1169 return 0;
1170
1171 pvec->page[pvec->nr].sp = sp;
1172 pvec->page[pvec->nr].idx = idx;
1173 pvec->nr++;
1174 return (pvec->nr == KVM_PAGE_ARRAY_NR);
1175}
1176
1177static int __mmu_unsync_walk(struct kvm_mmu_page *sp,
1178 struct kvm_mmu_pages *pvec)
1179{
1180 int i, ret, nr_unsync_leaf = 0;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001181
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001182 for_each_unsync_children(sp->unsync_child_bitmap, i) {
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001183 struct kvm_mmu_page *child;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001184 u64 ent = sp->spt[i];
1185
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001186 if (!is_shadow_present_pte(ent) || is_large_pte(ent))
1187 goto clear_child_bitmap;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001188
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001189 child = page_header(ent & PT64_BASE_ADDR_MASK);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001190
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001191 if (child->unsync_children) {
1192 if (mmu_pages_add(pvec, child, i))
1193 return -ENOSPC;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001194
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001195 ret = __mmu_unsync_walk(child, pvec);
1196 if (!ret)
1197 goto clear_child_bitmap;
1198 else if (ret > 0)
1199 nr_unsync_leaf += ret;
1200 else
1201 return ret;
1202 } else if (child->unsync) {
1203 nr_unsync_leaf++;
1204 if (mmu_pages_add(pvec, child, i))
1205 return -ENOSPC;
1206 } else
1207 goto clear_child_bitmap;
1208
1209 continue;
1210
1211clear_child_bitmap:
1212 __clear_bit(i, sp->unsync_child_bitmap);
1213 sp->unsync_children--;
1214 WARN_ON((int)sp->unsync_children < 0);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001215 }
1216
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001217
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001218 return nr_unsync_leaf;
1219}
1220
1221static int mmu_unsync_walk(struct kvm_mmu_page *sp,
1222 struct kvm_mmu_pages *pvec)
1223{
1224 if (!sp->unsync_children)
1225 return 0;
1226
1227 mmu_pages_add(pvec, sp, 0);
1228 return __mmu_unsync_walk(sp, pvec);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001229}
1230
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001231static void kvm_unlink_unsync_page(struct kvm *kvm, struct kvm_mmu_page *sp)
1232{
1233 WARN_ON(!sp->unsync);
Xiao Guangrong5e1b3dd2010-04-28 11:55:06 +08001234 trace_kvm_mmu_sync_page(sp);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001235 sp->unsync = 0;
1236 --kvm->stat.mmu_unsync;
1237}
1238
Xiao Guangrong77758342010-06-04 21:53:54 +08001239static int kvm_mmu_prepare_zap_page(struct kvm *kvm, struct kvm_mmu_page *sp,
1240 struct list_head *invalid_list);
1241static void kvm_mmu_commit_zap_page(struct kvm *kvm,
1242 struct list_head *invalid_list);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001243
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001244#define for_each_gfn_sp(kvm, sp, gfn, pos) \
1245 hlist_for_each_entry(sp, pos, \
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001246 &(kvm)->arch.mmu_page_hash[kvm_page_table_hashfn(gfn)], hash_link) \
1247 if ((sp)->gfn != (gfn)) {} else
1248
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001249#define for_each_gfn_indirect_valid_sp(kvm, sp, gfn, pos) \
1250 hlist_for_each_entry(sp, pos, \
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001251 &(kvm)->arch.mmu_page_hash[kvm_page_table_hashfn(gfn)], hash_link) \
1252 if ((sp)->gfn != (gfn) || (sp)->role.direct || \
1253 (sp)->role.invalid) {} else
1254
Xiao Guangrongf918b442010-06-11 21:30:36 +08001255/* @sp->gfn should be write-protected at the call site */
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001256static int __kvm_sync_page(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp,
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001257 struct list_head *invalid_list, bool clear_unsync)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001258{
Avi Kivity5b7e0102010-04-14 19:20:03 +03001259 if (sp->role.cr4_pae != !!is_pae(vcpu)) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001260 kvm_mmu_prepare_zap_page(vcpu->kvm, sp, invalid_list);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001261 return 1;
1262 }
1263
Xiao Guangrongf918b442010-06-11 21:30:36 +08001264 if (clear_unsync)
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001265 kvm_unlink_unsync_page(vcpu->kvm, sp);
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001266
Xiao Guangronga4a8e6f2010-11-19 17:04:03 +08001267 if (vcpu->arch.mmu.sync_page(vcpu, sp)) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001268 kvm_mmu_prepare_zap_page(vcpu->kvm, sp, invalid_list);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001269 return 1;
1270 }
1271
1272 kvm_mmu_flush_tlb(vcpu);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001273 return 0;
1274}
1275
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001276static int kvm_sync_page_transient(struct kvm_vcpu *vcpu,
1277 struct kvm_mmu_page *sp)
1278{
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001279 LIST_HEAD(invalid_list);
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001280 int ret;
1281
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001282 ret = __kvm_sync_page(vcpu, sp, &invalid_list, false);
Xiao Guangrongbe71e062010-06-11 21:31:38 +08001283 if (ret)
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001284 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
1285
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001286 return ret;
1287}
1288
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001289static int kvm_sync_page(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp,
1290 struct list_head *invalid_list)
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001291{
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001292 return __kvm_sync_page(vcpu, sp, invalid_list, true);
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001293}
1294
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001295/* @gfn should be write-protected at the call site */
1296static void kvm_sync_pages(struct kvm_vcpu *vcpu, gfn_t gfn)
1297{
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001298 struct kvm_mmu_page *s;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001299 struct hlist_node *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001300 LIST_HEAD(invalid_list);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001301 bool flush = false;
1302
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001303 for_each_gfn_indirect_valid_sp(vcpu->kvm, s, gfn, node) {
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001304 if (!s->unsync)
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001305 continue;
1306
1307 WARN_ON(s->role.level != PT_PAGE_TABLE_LEVEL);
Xiao Guangronga4a8e6f2010-11-19 17:04:03 +08001308 kvm_unlink_unsync_page(vcpu->kvm, s);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001309 if ((s->role.cr4_pae != !!is_pae(vcpu)) ||
Xiao Guangronga4a8e6f2010-11-19 17:04:03 +08001310 (vcpu->arch.mmu.sync_page(vcpu, s))) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001311 kvm_mmu_prepare_zap_page(vcpu->kvm, s, &invalid_list);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001312 continue;
1313 }
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001314 flush = true;
1315 }
1316
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001317 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001318 if (flush)
1319 kvm_mmu_flush_tlb(vcpu);
1320}
1321
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001322struct mmu_page_path {
1323 struct kvm_mmu_page *parent[PT64_ROOT_LEVEL-1];
1324 unsigned int idx[PT64_ROOT_LEVEL-1];
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001325};
1326
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001327#define for_each_sp(pvec, sp, parents, i) \
1328 for (i = mmu_pages_next(&pvec, &parents, -1), \
1329 sp = pvec.page[i].sp; \
1330 i < pvec.nr && ({ sp = pvec.page[i].sp; 1;}); \
1331 i = mmu_pages_next(&pvec, &parents, i))
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001332
Hannes Edercded19f2009-02-21 02:19:13 +01001333static int mmu_pages_next(struct kvm_mmu_pages *pvec,
1334 struct mmu_page_path *parents,
1335 int i)
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001336{
1337 int n;
1338
1339 for (n = i+1; n < pvec->nr; n++) {
1340 struct kvm_mmu_page *sp = pvec->page[n].sp;
1341
1342 if (sp->role.level == PT_PAGE_TABLE_LEVEL) {
1343 parents->idx[0] = pvec->page[n].idx;
1344 return n;
1345 }
1346
1347 parents->parent[sp->role.level-2] = sp;
1348 parents->idx[sp->role.level-1] = pvec->page[n].idx;
1349 }
1350
1351 return n;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001352}
1353
Hannes Edercded19f2009-02-21 02:19:13 +01001354static void mmu_pages_clear_parents(struct mmu_page_path *parents)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001355{
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001356 struct kvm_mmu_page *sp;
1357 unsigned int level = 0;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001358
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001359 do {
1360 unsigned int idx = parents->idx[level];
1361
1362 sp = parents->parent[level];
1363 if (!sp)
1364 return;
1365
1366 --sp->unsync_children;
1367 WARN_ON((int)sp->unsync_children < 0);
1368 __clear_bit(idx, sp->unsync_child_bitmap);
1369 level++;
1370 } while (level < PT64_ROOT_LEVEL-1 && !sp->unsync_children);
1371}
1372
1373static void kvm_mmu_pages_init(struct kvm_mmu_page *parent,
1374 struct mmu_page_path *parents,
1375 struct kvm_mmu_pages *pvec)
1376{
1377 parents->parent[parent->role.level-1] = NULL;
1378 pvec->nr = 0;
1379}
1380
1381static void mmu_sync_children(struct kvm_vcpu *vcpu,
1382 struct kvm_mmu_page *parent)
1383{
1384 int i;
1385 struct kvm_mmu_page *sp;
1386 struct mmu_page_path parents;
1387 struct kvm_mmu_pages pages;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001388 LIST_HEAD(invalid_list);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001389
1390 kvm_mmu_pages_init(parent, &parents, &pages);
1391 while (mmu_unsync_walk(parent, &pages)) {
Marcelo Tosattib1a36822008-12-01 22:32:03 -02001392 int protected = 0;
1393
1394 for_each_sp(pages, sp, parents, i)
1395 protected |= rmap_write_protect(vcpu->kvm, sp->gfn);
1396
1397 if (protected)
1398 kvm_flush_remote_tlbs(vcpu->kvm);
1399
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001400 for_each_sp(pages, sp, parents, i) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001401 kvm_sync_page(vcpu, sp, &invalid_list);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001402 mmu_pages_clear_parents(&parents);
1403 }
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001404 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001405 cond_resched_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001406 kvm_mmu_pages_init(parent, &parents, &pages);
1407 }
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001408}
1409
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001410static struct kvm_mmu_page *kvm_mmu_get_page(struct kvm_vcpu *vcpu,
1411 gfn_t gfn,
1412 gva_t gaddr,
1413 unsigned level,
Avi Kivityf6e2c022009-01-11 13:02:10 +02001414 int direct,
Avi Kivity41074d02007-12-09 17:00:02 +02001415 unsigned access,
Avi Kivityf7d9c7b2008-02-26 22:12:10 +02001416 u64 *parent_pte)
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001417{
1418 union kvm_mmu_page_role role;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001419 unsigned quadrant;
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001420 struct kvm_mmu_page *sp;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001421 struct hlist_node *node;
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001422 bool need_sync = false;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001423
Avi Kivitya770f6f2008-12-21 19:20:09 +02001424 role = vcpu->arch.mmu.base_role;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001425 role.level = level;
Avi Kivityf6e2c022009-01-11 13:02:10 +02001426 role.direct = direct;
Avi Kivity84b0c8c2010-03-14 10:16:40 +02001427 if (role.direct)
Avi Kivity5b7e0102010-04-14 19:20:03 +03001428 role.cr4_pae = 0;
Avi Kivity41074d02007-12-09 17:00:02 +02001429 role.access = access;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02001430 if (!vcpu->arch.mmu.direct_map
1431 && vcpu->arch.mmu.root_level <= PT32_ROOT_LEVEL) {
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001432 quadrant = gaddr >> (PAGE_SHIFT + (PT64_PT_BITS * level));
1433 quadrant &= (1 << ((PT32_PT_BITS - PT64_PT_BITS) * level)) - 1;
1434 role.quadrant = quadrant;
1435 }
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001436 for_each_gfn_sp(vcpu->kvm, sp, gfn, node) {
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001437 if (!need_sync && sp->unsync)
1438 need_sync = true;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001439
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001440 if (sp->role.word != role.word)
1441 continue;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001442
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001443 if (sp->unsync && kvm_sync_page_transient(vcpu, sp))
1444 break;
Xiao Guangronge02aa902010-05-15 18:52:34 +08001445
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001446 mmu_page_add_parent_pte(vcpu, sp, parent_pte);
1447 if (sp->unsync_children) {
Avi Kivitya8eeb042010-05-10 12:34:53 +03001448 kvm_make_request(KVM_REQ_MMU_SYNC, vcpu);
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001449 kvm_mmu_mark_parents_unsync(sp);
1450 } else if (sp->unsync)
1451 kvm_mmu_mark_parents_unsync(sp);
Xiao Guangronge02aa902010-05-15 18:52:34 +08001452
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001453 trace_kvm_mmu_get_page(sp, false);
1454 return sp;
1455 }
Avi Kivitydfc5aa02007-12-18 19:47:18 +02001456 ++vcpu->kvm->stat.mmu_cache_miss;
Lai Jiangshan2032a932010-05-26 16:49:59 +08001457 sp = kvm_mmu_alloc_page(vcpu, parent_pte, direct);
Avi Kivity4db35312007-11-21 15:28:32 +02001458 if (!sp)
1459 return sp;
Avi Kivity4db35312007-11-21 15:28:32 +02001460 sp->gfn = gfn;
1461 sp->role = role;
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001462 hlist_add_head(&sp->hash_link,
1463 &vcpu->kvm->arch.mmu_page_hash[kvm_page_table_hashfn(gfn)]);
Avi Kivityf6e2c022009-01-11 13:02:10 +02001464 if (!direct) {
Marcelo Tosattib1a36822008-12-01 22:32:03 -02001465 if (rmap_write_protect(vcpu->kvm, gfn))
1466 kvm_flush_remote_tlbs(vcpu->kvm);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001467 if (level > PT_PAGE_TABLE_LEVEL && need_sync)
1468 kvm_sync_pages(vcpu, gfn);
1469
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001470 account_shadowed(vcpu->kvm, gfn);
1471 }
Avi Kivity131d8272008-05-29 14:56:28 +03001472 if (shadow_trap_nonpresent_pte != shadow_notrap_nonpresent_pte)
1473 vcpu->arch.mmu.prefetch_page(vcpu, sp);
1474 else
1475 nonpaging_prefetch_page(vcpu, sp);
Avi Kivityf691fe12009-07-06 15:58:14 +03001476 trace_kvm_mmu_get_page(sp, true);
Avi Kivity4db35312007-11-21 15:28:32 +02001477 return sp;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001478}
1479
Avi Kivity2d111232008-12-25 14:39:47 +02001480static void shadow_walk_init(struct kvm_shadow_walk_iterator *iterator,
1481 struct kvm_vcpu *vcpu, u64 addr)
1482{
1483 iterator->addr = addr;
1484 iterator->shadow_addr = vcpu->arch.mmu.root_hpa;
1485 iterator->level = vcpu->arch.mmu.shadow_root_level;
Joerg Roedel81407ca2010-09-10 17:31:00 +02001486
1487 if (iterator->level == PT64_ROOT_LEVEL &&
1488 vcpu->arch.mmu.root_level < PT64_ROOT_LEVEL &&
1489 !vcpu->arch.mmu.direct_map)
1490 --iterator->level;
1491
Avi Kivity2d111232008-12-25 14:39:47 +02001492 if (iterator->level == PT32E_ROOT_LEVEL) {
1493 iterator->shadow_addr
1494 = vcpu->arch.mmu.pae_root[(addr >> 30) & 3];
1495 iterator->shadow_addr &= PT64_BASE_ADDR_MASK;
1496 --iterator->level;
1497 if (!iterator->shadow_addr)
1498 iterator->level = 0;
1499 }
1500}
1501
1502static bool shadow_walk_okay(struct kvm_shadow_walk_iterator *iterator)
1503{
1504 if (iterator->level < PT_PAGE_TABLE_LEVEL)
1505 return false;
Marcelo Tosatti4d889542009-06-11 12:07:41 -03001506
Avi Kivity2d111232008-12-25 14:39:47 +02001507 iterator->index = SHADOW_PT_INDEX(iterator->addr, iterator->level);
1508 iterator->sptep = ((u64 *)__va(iterator->shadow_addr)) + iterator->index;
1509 return true;
1510}
1511
1512static void shadow_walk_next(struct kvm_shadow_walk_iterator *iterator)
1513{
Xiao Guangrong052331b2011-07-12 03:21:17 +08001514 if (is_last_spte(*iterator->sptep, iterator->level)) {
1515 iterator->level = 0;
1516 return;
1517 }
1518
Avi Kivity2d111232008-12-25 14:39:47 +02001519 iterator->shadow_addr = *iterator->sptep & PT64_BASE_ADDR_MASK;
1520 --iterator->level;
1521}
1522
Avi Kivity32ef26a2010-07-13 14:27:04 +03001523static void link_shadow_page(u64 *sptep, struct kvm_mmu_page *sp)
1524{
1525 u64 spte;
1526
1527 spte = __pa(sp->spt)
1528 | PT_PRESENT_MASK | PT_ACCESSED_MASK
1529 | PT_WRITABLE_MASK | PT_USER_MASK;
Avi Kivity121eee92010-07-13 14:27:05 +03001530 __set_spte(sptep, spte);
Avi Kivity32ef26a2010-07-13 14:27:04 +03001531}
1532
Avi Kivitya3aa51c2010-07-13 14:27:06 +03001533static void drop_large_spte(struct kvm_vcpu *vcpu, u64 *sptep)
1534{
1535 if (is_large_pte(*sptep)) {
1536 drop_spte(vcpu->kvm, sptep, shadow_trap_nonpresent_pte);
1537 kvm_flush_remote_tlbs(vcpu->kvm);
1538 }
1539}
1540
Avi Kivitya357bd22010-07-13 14:27:07 +03001541static void validate_direct_spte(struct kvm_vcpu *vcpu, u64 *sptep,
1542 unsigned direct_access)
1543{
1544 if (is_shadow_present_pte(*sptep) && !is_large_pte(*sptep)) {
1545 struct kvm_mmu_page *child;
1546
1547 /*
1548 * For the direct sp, if the guest pte's dirty bit
1549 * changed form clean to dirty, it will corrupt the
1550 * sp's access: allow writable in the read-only sp,
1551 * so we should update the spte at this point to get
1552 * a new sp with the correct access.
1553 */
1554 child = page_header(*sptep & PT64_BASE_ADDR_MASK);
1555 if (child->role.access == direct_access)
1556 return;
1557
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001558 drop_parent_pte(child, sptep);
Avi Kivitya357bd22010-07-13 14:27:07 +03001559 kvm_flush_remote_tlbs(vcpu->kvm);
1560 }
1561}
1562
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08001563static void mmu_page_zap_pte(struct kvm *kvm, struct kvm_mmu_page *sp,
1564 u64 *spte)
1565{
1566 u64 pte;
1567 struct kvm_mmu_page *child;
1568
1569 pte = *spte;
1570 if (is_shadow_present_pte(pte)) {
1571 if (is_last_spte(pte, sp->role.level))
1572 drop_spte(kvm, spte, shadow_trap_nonpresent_pte);
1573 else {
1574 child = page_header(pte & PT64_BASE_ADDR_MASK);
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001575 drop_parent_pte(child, spte);
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08001576 }
1577 }
1578 __set_spte(spte, shadow_trap_nonpresent_pte);
1579 if (is_large_pte(pte))
1580 --kvm->stat.lpages;
1581}
1582
Avi Kivity90cb0522007-07-17 13:04:56 +03001583static void kvm_mmu_page_unlink_children(struct kvm *kvm,
Avi Kivity4db35312007-11-21 15:28:32 +02001584 struct kvm_mmu_page *sp)
Avi Kivitya4360362007-01-05 16:36:45 -08001585{
Avi Kivity697fe2e2007-01-05 16:36:46 -08001586 unsigned i;
Avi Kivity697fe2e2007-01-05 16:36:46 -08001587
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08001588 for (i = 0; i < PT64_ENT_PER_PAGE; ++i)
1589 mmu_page_zap_pte(kvm, sp, sp->spt + i);
Avi Kivitya4360362007-01-05 16:36:45 -08001590}
1591
Avi Kivity4db35312007-11-21 15:28:32 +02001592static void kvm_mmu_put_page(struct kvm_mmu_page *sp, u64 *parent_pte)
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001593{
Avi Kivity4db35312007-11-21 15:28:32 +02001594 mmu_page_remove_parent_pte(sp, parent_pte);
Avi Kivitya4360362007-01-05 16:36:45 -08001595}
1596
Avi Kivity12b7d282007-09-23 14:10:49 +02001597static void kvm_mmu_reset_last_pte_updated(struct kvm *kvm)
1598{
1599 int i;
Gleb Natapov988a2ca2009-06-09 15:56:29 +03001600 struct kvm_vcpu *vcpu;
Avi Kivity12b7d282007-09-23 14:10:49 +02001601
Gleb Natapov988a2ca2009-06-09 15:56:29 +03001602 kvm_for_each_vcpu(i, vcpu, kvm)
1603 vcpu->arch.last_pte_updated = NULL;
Avi Kivity12b7d282007-09-23 14:10:49 +02001604}
1605
Avi Kivity31aa2b42008-07-11 17:59:46 +03001606static void kvm_mmu_unlink_parents(struct kvm *kvm, struct kvm_mmu_page *sp)
Avi Kivitya4360362007-01-05 16:36:45 -08001607{
1608 u64 *parent_pte;
1609
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001610 while ((parent_pte = pte_list_next(&sp->parent_ptes, NULL)))
1611 drop_parent_pte(sp, parent_pte);
Avi Kivity31aa2b42008-07-11 17:59:46 +03001612}
1613
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001614static int mmu_zap_unsync_children(struct kvm *kvm,
Xiao Guangrong77758342010-06-04 21:53:54 +08001615 struct kvm_mmu_page *parent,
1616 struct list_head *invalid_list)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001617{
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001618 int i, zapped = 0;
1619 struct mmu_page_path parents;
1620 struct kvm_mmu_pages pages;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001621
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001622 if (parent->role.level == PT_PAGE_TABLE_LEVEL)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001623 return 0;
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001624
1625 kvm_mmu_pages_init(parent, &parents, &pages);
1626 while (mmu_unsync_walk(parent, &pages)) {
1627 struct kvm_mmu_page *sp;
1628
1629 for_each_sp(pages, sp, parents, i) {
Xiao Guangrong77758342010-06-04 21:53:54 +08001630 kvm_mmu_prepare_zap_page(kvm, sp, invalid_list);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001631 mmu_pages_clear_parents(&parents);
Xiao Guangrong77662e02010-04-16 16:34:42 +08001632 zapped++;
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001633 }
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001634 kvm_mmu_pages_init(parent, &parents, &pages);
1635 }
1636
1637 return zapped;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001638}
1639
Xiao Guangrong77758342010-06-04 21:53:54 +08001640static int kvm_mmu_prepare_zap_page(struct kvm *kvm, struct kvm_mmu_page *sp,
1641 struct list_head *invalid_list)
Avi Kivity31aa2b42008-07-11 17:59:46 +03001642{
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001643 int ret;
Avi Kivityf691fe12009-07-06 15:58:14 +03001644
Xiao Guangrong77758342010-06-04 21:53:54 +08001645 trace_kvm_mmu_prepare_zap_page(sp);
Avi Kivity31aa2b42008-07-11 17:59:46 +03001646 ++kvm->stat.mmu_shadow_zapped;
Xiao Guangrong77758342010-06-04 21:53:54 +08001647 ret = mmu_zap_unsync_children(kvm, sp, invalid_list);
Avi Kivity4db35312007-11-21 15:28:32 +02001648 kvm_mmu_page_unlink_children(kvm, sp);
Avi Kivity31aa2b42008-07-11 17:59:46 +03001649 kvm_mmu_unlink_parents(kvm, sp);
Avi Kivityf6e2c022009-01-11 13:02:10 +02001650 if (!sp->role.invalid && !sp->role.direct)
Avi Kivity5b5c6a52008-07-11 18:07:26 +03001651 unaccount_shadowed(kvm, sp->gfn);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001652 if (sp->unsync)
1653 kvm_unlink_unsync_page(kvm, sp);
Avi Kivity4db35312007-11-21 15:28:32 +02001654 if (!sp->root_count) {
Gui Jianfeng54a4f022010-05-05 09:03:49 +08001655 /* Count self */
1656 ret++;
Xiao Guangrong77758342010-06-04 21:53:54 +08001657 list_move(&sp->link, invalid_list);
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05001658 } else {
Avi Kivity5b5c6a52008-07-11 18:07:26 +03001659 list_move(&sp->link, &kvm->arch.active_mmu_pages);
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05001660 kvm_reload_remote_mmus(kvm);
1661 }
Xiao Guangrong77758342010-06-04 21:53:54 +08001662
1663 sp->role.invalid = 1;
Avi Kivity12b7d282007-09-23 14:10:49 +02001664 kvm_mmu_reset_last_pte_updated(kvm);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001665 return ret;
Avi Kivitya4360362007-01-05 16:36:45 -08001666}
1667
Xiao Guangrong77758342010-06-04 21:53:54 +08001668static void kvm_mmu_commit_zap_page(struct kvm *kvm,
1669 struct list_head *invalid_list)
1670{
1671 struct kvm_mmu_page *sp;
1672
1673 if (list_empty(invalid_list))
1674 return;
1675
1676 kvm_flush_remote_tlbs(kvm);
1677
1678 do {
1679 sp = list_first_entry(invalid_list, struct kvm_mmu_page, link);
1680 WARN_ON(!sp->role.invalid || sp->root_count);
1681 kvm_mmu_free_page(kvm, sp);
1682 } 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);
1707 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Izik Eidus82ce2c92007-10-02 18:52:55 +02001708 }
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 Guangrong9ad17b12010-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 Guangrong9ad17b12010-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 Guangrong9ad17b12010-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
Marcelo Tosatti6844dec2008-09-23 13:18:38 -03001757static void mmu_convert_notrap(struct kvm_mmu_page *sp)
1758{
1759 int i;
1760 u64 *pt = sp->spt;
1761
1762 if (shadow_trap_nonpresent_pte == shadow_notrap_nonpresent_pte)
1763 return;
1764
1765 for (i = 0; i < PT64_ENT_PER_PAGE; ++i) {
1766 if (pt[i] == shadow_notrap_nonpresent_pte)
Avi Kivityd555c332009-06-10 14:24:23 +03001767 __set_spte(&pt[i], shadow_trap_nonpresent_pte);
Marcelo Tosatti6844dec2008-09-23 13:18:38 -03001768 }
1769}
1770
Sheng Yang74be52e2008-10-09 16:01:56 +08001771/*
1772 * The function is based on mtrr_type_lookup() in
1773 * arch/x86/kernel/cpu/mtrr/generic.c
1774 */
1775static int get_mtrr_type(struct mtrr_state_type *mtrr_state,
1776 u64 start, u64 end)
1777{
1778 int i;
1779 u64 base, mask;
1780 u8 prev_match, curr_match;
1781 int num_var_ranges = KVM_NR_VAR_MTRR;
1782
1783 if (!mtrr_state->enabled)
1784 return 0xFF;
1785
1786 /* Make end inclusive end, instead of exclusive */
1787 end--;
1788
1789 /* Look in fixed ranges. Just return the type as per start */
1790 if (mtrr_state->have_fixed && (start < 0x100000)) {
1791 int idx;
1792
1793 if (start < 0x80000) {
1794 idx = 0;
1795 idx += (start >> 16);
1796 return mtrr_state->fixed_ranges[idx];
1797 } else if (start < 0xC0000) {
1798 idx = 1 * 8;
1799 idx += ((start - 0x80000) >> 14);
1800 return mtrr_state->fixed_ranges[idx];
1801 } else if (start < 0x1000000) {
1802 idx = 3 * 8;
1803 idx += ((start - 0xC0000) >> 12);
1804 return mtrr_state->fixed_ranges[idx];
1805 }
1806 }
1807
1808 /*
1809 * Look in variable ranges
1810 * Look of multiple ranges matching this address and pick type
1811 * as per MTRR precedence
1812 */
1813 if (!(mtrr_state->enabled & 2))
1814 return mtrr_state->def_type;
1815
1816 prev_match = 0xFF;
1817 for (i = 0; i < num_var_ranges; ++i) {
1818 unsigned short start_state, end_state;
1819
1820 if (!(mtrr_state->var_ranges[i].mask_lo & (1 << 11)))
1821 continue;
1822
1823 base = (((u64)mtrr_state->var_ranges[i].base_hi) << 32) +
1824 (mtrr_state->var_ranges[i].base_lo & PAGE_MASK);
1825 mask = (((u64)mtrr_state->var_ranges[i].mask_hi) << 32) +
1826 (mtrr_state->var_ranges[i].mask_lo & PAGE_MASK);
1827
1828 start_state = ((start & mask) == (base & mask));
1829 end_state = ((end & mask) == (base & mask));
1830 if (start_state != end_state)
1831 return 0xFE;
1832
1833 if ((start & mask) != (base & mask))
1834 continue;
1835
1836 curr_match = mtrr_state->var_ranges[i].base_lo & 0xff;
1837 if (prev_match == 0xFF) {
1838 prev_match = curr_match;
1839 continue;
1840 }
1841
1842 if (prev_match == MTRR_TYPE_UNCACHABLE ||
1843 curr_match == MTRR_TYPE_UNCACHABLE)
1844 return MTRR_TYPE_UNCACHABLE;
1845
1846 if ((prev_match == MTRR_TYPE_WRBACK &&
1847 curr_match == MTRR_TYPE_WRTHROUGH) ||
1848 (prev_match == MTRR_TYPE_WRTHROUGH &&
1849 curr_match == MTRR_TYPE_WRBACK)) {
1850 prev_match = MTRR_TYPE_WRTHROUGH;
1851 curr_match = MTRR_TYPE_WRTHROUGH;
1852 }
1853
1854 if (prev_match != curr_match)
1855 return MTRR_TYPE_UNCACHABLE;
1856 }
1857
1858 if (prev_match != 0xFF)
1859 return prev_match;
1860
1861 return mtrr_state->def_type;
1862}
1863
Sheng Yang4b12f0d2009-04-27 20:35:42 +08001864u8 kvm_get_guest_memory_type(struct kvm_vcpu *vcpu, gfn_t gfn)
Sheng Yang74be52e2008-10-09 16:01:56 +08001865{
1866 u8 mtrr;
1867
1868 mtrr = get_mtrr_type(&vcpu->arch.mtrr_state, gfn << PAGE_SHIFT,
1869 (gfn << PAGE_SHIFT) + PAGE_SIZE);
1870 if (mtrr == 0xfe || mtrr == 0xff)
1871 mtrr = MTRR_TYPE_WRBACK;
1872 return mtrr;
1873}
Sheng Yang4b12f0d2009-04-27 20:35:42 +08001874EXPORT_SYMBOL_GPL(kvm_get_guest_memory_type);
Sheng Yang74be52e2008-10-09 16:01:56 +08001875
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001876static void __kvm_unsync_page(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001877{
Xiao Guangrong5e1b3dd2010-04-28 11:55:06 +08001878 trace_kvm_mmu_unsync_page(sp);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001879 ++vcpu->kvm->stat.mmu_unsync;
1880 sp->unsync = 1;
Marcelo Tosatti6cffe8c2008-12-01 22:32:04 -02001881
Xiao Guangrong6b184932010-04-16 21:29:17 +08001882 kvm_mmu_mark_parents_unsync(sp);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001883 mmu_convert_notrap(sp);
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001884}
1885
1886static void kvm_unsync_pages(struct kvm_vcpu *vcpu, gfn_t gfn)
1887{
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001888 struct kvm_mmu_page *s;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001889 struct hlist_node *node;
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001890
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001891 for_each_gfn_indirect_valid_sp(vcpu->kvm, s, gfn, node) {
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001892 if (s->unsync)
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001893 continue;
1894 WARN_ON(s->role.level != PT_PAGE_TABLE_LEVEL);
1895 __kvm_unsync_page(vcpu, s);
1896 }
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001897}
1898
1899static int mmu_need_write_protect(struct kvm_vcpu *vcpu, gfn_t gfn,
1900 bool can_unsync)
1901{
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001902 struct kvm_mmu_page *s;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001903 struct hlist_node *node;
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001904 bool need_unsync = false;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001905
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001906 for_each_gfn_indirect_valid_sp(vcpu->kvm, s, gfn, node) {
Xiao Guangrong36a2e672010-06-30 16:02:02 +08001907 if (!can_unsync)
1908 return 1;
1909
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001910 if (s->role.level != PT_PAGE_TABLE_LEVEL)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001911 return 1;
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001912
1913 if (!need_unsync && !s->unsync) {
Xiao Guangrong36a2e672010-06-30 16:02:02 +08001914 if (!oos_shadow)
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001915 return 1;
1916 need_unsync = true;
1917 }
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001918 }
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001919 if (need_unsync)
1920 kvm_unsync_pages(vcpu, gfn);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001921 return 0;
1922}
1923
Avi Kivityd555c332009-06-10 14:24:23 +03001924static int set_spte(struct kvm_vcpu *vcpu, u64 *sptep,
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001925 unsigned pte_access, int user_fault,
Joerg Roedel852e3c12009-07-27 16:30:44 +02001926 int write_fault, int dirty, int level,
Marcelo Tosattic2d0ee42009-04-05 14:54:47 -03001927 gfn_t gfn, pfn_t pfn, bool speculative,
Lai Jiangshan9bdbba12010-11-19 17:03:22 +08001928 bool can_unsync, bool host_writable)
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001929{
Xiao Guangrongb330aa02010-11-19 17:02:35 +08001930 u64 spte, entry = *sptep;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001931 int ret = 0;
Sheng Yang64d4d522008-10-09 16:01:57 +08001932
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001933 /*
1934 * We don't set the accessed bit, since we sometimes want to see
1935 * whether the guest actually used the pte (in order to detect
1936 * demand paging).
1937 */
Marcelo Tosatti982c2562010-10-22 14:18:16 -02001938 spte = PT_PRESENT_MASK;
Avi Kivity947da532008-03-18 11:05:52 +02001939 if (!speculative)
Avi Kivity3201b5d2008-08-27 20:01:04 +03001940 spte |= shadow_accessed_mask;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001941 if (!dirty)
1942 pte_access &= ~ACC_WRITE_MASK;
Sheng Yang7b523452008-04-25 21:13:50 +08001943 if (pte_access & ACC_EXEC_MASK)
1944 spte |= shadow_x_mask;
1945 else
1946 spte |= shadow_nx_mask;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001947 if (pte_access & ACC_USER_MASK)
Sheng Yang7b523452008-04-25 21:13:50 +08001948 spte |= shadow_user_mask;
Joerg Roedel852e3c12009-07-27 16:30:44 +02001949 if (level > PT_PAGE_TABLE_LEVEL)
Marcelo Tosatti05da4552008-02-23 11:44:30 -03001950 spte |= PT_PAGE_SIZE_MASK;
Avi Kivityb0bc3ee2010-09-13 16:45:28 +02001951 if (tdp_enabled)
Sheng Yang4b12f0d2009-04-27 20:35:42 +08001952 spte |= kvm_x86_ops->get_mt_mask(vcpu, gfn,
1953 kvm_is_mmio_pfn(pfn));
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001954
Lai Jiangshan9bdbba12010-11-19 17:03:22 +08001955 if (host_writable)
Izik Eidus14032832009-09-23 21:47:17 +03001956 spte |= SPTE_HOST_WRITEABLE;
Xiao Guangrongf8e453b2010-12-23 16:09:29 +08001957 else
1958 pte_access &= ~ACC_WRITE_MASK;
Izik Eidus14032832009-09-23 21:47:17 +03001959
Anthony Liguori35149e22008-04-02 14:46:56 -05001960 spte |= (u64)pfn << PAGE_SHIFT;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001961
1962 if ((pte_access & ACC_WRITE_MASK)
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02001963 || (!vcpu->arch.mmu.direct_map && write_fault
1964 && !is_write_protection(vcpu) && !user_fault)) {
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001965
Joerg Roedel852e3c12009-07-27 16:30:44 +02001966 if (level > PT_PAGE_TABLE_LEVEL &&
1967 has_wrprotected_page(vcpu->kvm, gfn, level)) {
Marcelo Tosatti38187c82008-09-23 13:18:32 -03001968 ret = 1;
Avi Kivitybe38d272010-06-06 14:31:27 +03001969 drop_spte(vcpu->kvm, sptep, shadow_trap_nonpresent_pte);
1970 goto done;
Marcelo Tosatti38187c82008-09-23 13:18:32 -03001971 }
1972
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001973 spte |= PT_WRITABLE_MASK;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001974
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02001975 if (!vcpu->arch.mmu.direct_map
Avi Kivity411c5882011-06-06 16:11:54 +03001976 && !(pte_access & ACC_WRITE_MASK)) {
Avi Kivity69325a12010-05-27 14:35:58 +03001977 spte &= ~PT_USER_MASK;
Avi Kivity411c5882011-06-06 16:11:54 +03001978 /*
1979 * If we converted a user page to a kernel page,
1980 * so that the kernel can write to it when cr0.wp=0,
1981 * then we should prevent the kernel from executing it
1982 * if SMEP is enabled.
1983 */
1984 if (kvm_read_cr4_bits(vcpu, X86_CR4_SMEP))
1985 spte |= PT64_NX_MASK;
1986 }
Avi Kivity69325a12010-05-27 14:35:58 +03001987
Marcelo Tosattiecc55892008-11-25 15:58:07 +01001988 /*
1989 * Optimization: for pte sync, if spte was writable the hash
1990 * lookup is unnecessary (and expensive). Write protection
1991 * is responsibility of mmu_get_page / kvm_sync_page.
1992 * Same reasoning can be applied to dirty page accounting.
1993 */
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +09001994 if (!can_unsync && is_writable_pte(*sptep))
Marcelo Tosattiecc55892008-11-25 15:58:07 +01001995 goto set_pte;
1996
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001997 if (mmu_need_write_protect(vcpu, gfn, can_unsync)) {
Xiao Guangrong9ad17b12010-08-28 19:19:42 +08001998 pgprintk("%s: found shadow page for %llx, marking ro\n",
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001999 __func__, gfn);
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002000 ret = 1;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002001 pte_access &= ~ACC_WRITE_MASK;
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +09002002 if (is_writable_pte(spte))
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002003 spte &= ~PT_WRITABLE_MASK;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002004 }
2005 }
2006
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002007 if (pte_access & ACC_WRITE_MASK)
2008 mark_page_dirty(vcpu->kvm, gfn);
2009
Marcelo Tosatti38187c82008-09-23 13:18:32 -03002010set_pte:
Avi Kivityb79b93f2010-06-06 15:46:44 +03002011 update_spte(sptep, spte);
Xiao Guangrongb330aa02010-11-19 17:02:35 +08002012 /*
2013 * If we overwrite a writable spte with a read-only one we
2014 * should flush remote TLBs. Otherwise rmap_write_protect
2015 * will find a read-only spte, even though the writable spte
2016 * might be cached on a CPU's TLB.
2017 */
2018 if (is_writable_pte(entry) && !is_writable_pte(*sptep))
2019 kvm_flush_remote_tlbs(vcpu->kvm);
Avi Kivitybe38d272010-06-06 14:31:27 +03002020done:
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002021 return ret;
2022}
2023
Avi Kivityd555c332009-06-10 14:24:23 +03002024static void mmu_set_spte(struct kvm_vcpu *vcpu, u64 *sptep,
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002025 unsigned pt_access, unsigned pte_access,
2026 int user_fault, int write_fault, int dirty,
Joerg Roedel852e3c12009-07-27 16:30:44 +02002027 int *ptwrite, int level, gfn_t gfn,
Izik Eidus14032832009-09-23 21:47:17 +03002028 pfn_t pfn, bool speculative,
Lai Jiangshan9bdbba12010-11-19 17:03:22 +08002029 bool host_writable)
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002030{
2031 int was_rmapped = 0;
Marcelo Tosatti53a27b32009-08-05 15:43:58 -03002032 int rmap_count;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002033
2034 pgprintk("%s: spte %llx access %x write_fault %d"
Xiao Guangrong9ad17b12010-08-28 19:19:42 +08002035 " user_fault %d gfn %llx\n",
Avi Kivityd555c332009-06-10 14:24:23 +03002036 __func__, *sptep, pt_access,
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002037 write_fault, user_fault, gfn);
2038
Avi Kivityd555c332009-06-10 14:24:23 +03002039 if (is_rmap_spte(*sptep)) {
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002040 /*
2041 * If we overwrite a PTE page pointer with a 2MB PMD, unlink
2042 * the parent of the now unreachable PTE.
2043 */
Joerg Roedel852e3c12009-07-27 16:30:44 +02002044 if (level > PT_PAGE_TABLE_LEVEL &&
2045 !is_large_pte(*sptep)) {
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002046 struct kvm_mmu_page *child;
Avi Kivityd555c332009-06-10 14:24:23 +03002047 u64 pte = *sptep;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002048
2049 child = page_header(pte & PT64_BASE_ADDR_MASK);
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08002050 drop_parent_pte(child, sptep);
Marcelo Tosatti3be22642010-05-28 09:44:59 -03002051 kvm_flush_remote_tlbs(vcpu->kvm);
Avi Kivityd555c332009-06-10 14:24:23 +03002052 } else if (pfn != spte_to_pfn(*sptep)) {
Xiao Guangrong9ad17b12010-08-28 19:19:42 +08002053 pgprintk("hfn old %llx new %llx\n",
Avi Kivityd555c332009-06-10 14:24:23 +03002054 spte_to_pfn(*sptep), pfn);
Avi Kivitybe38d272010-06-06 14:31:27 +03002055 drop_spte(vcpu->kvm, sptep, shadow_trap_nonpresent_pte);
Xiao Guangrong91546352010-06-30 16:04:06 +08002056 kvm_flush_remote_tlbs(vcpu->kvm);
Joerg Roedel6bed6b92009-02-18 14:08:59 +01002057 } else
2058 was_rmapped = 1;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002059 }
Joerg Roedel852e3c12009-07-27 16:30:44 +02002060
Avi Kivityd555c332009-06-10 14:24:23 +03002061 if (set_spte(vcpu, sptep, pte_access, user_fault, write_fault,
Izik Eidus14032832009-09-23 21:47:17 +03002062 dirty, level, gfn, pfn, speculative, true,
Lai Jiangshan9bdbba12010-11-19 17:03:22 +08002063 host_writable)) {
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002064 if (write_fault)
2065 *ptwrite = 1;
Xiao Guangrong5304efd2010-06-08 20:05:57 +08002066 kvm_mmu_flush_tlb(vcpu);
Marcelo Tosattia378b4e2008-09-23 13:18:31 -03002067 }
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002068
Avi Kivityd555c332009-06-10 14:24:23 +03002069 pgprintk("%s: setting spte %llx\n", __func__, *sptep);
Xiao Guangrong9ad17b12010-08-28 19:19:42 +08002070 pgprintk("instantiating %s PTE (%s) at %llx (%llx) addr %p\n",
Avi Kivityd555c332009-06-10 14:24:23 +03002071 is_large_pte(*sptep)? "2MB" : "4kB",
Joerg Roedela205bc12009-07-09 16:36:01 +02002072 *sptep & PT_PRESENT_MASK ?"RW":"R", gfn,
2073 *sptep, sptep);
Avi Kivityd555c332009-06-10 14:24:23 +03002074 if (!was_rmapped && is_large_pte(*sptep))
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002075 ++vcpu->kvm->stat.lpages;
2076
Xiao Guangrongffb61bb2011-07-12 03:22:01 +08002077 if (is_shadow_present_pte(*sptep)) {
2078 page_header_update_slot(vcpu->kvm, sptep, gfn);
2079 if (!was_rmapped) {
2080 rmap_count = rmap_add(vcpu, sptep, gfn);
2081 if (rmap_count > RMAP_RECYCLE_THRESHOLD)
2082 rmap_recycle(vcpu, sptep, gfn);
2083 }
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002084 }
Xiao Guangrong9ed55202010-07-16 11:25:17 +08002085 kvm_release_pfn_clean(pfn);
Avi Kivity1b7fcd32008-05-15 13:51:35 +03002086 if (speculative) {
Avi Kivityd555c332009-06-10 14:24:23 +03002087 vcpu->arch.last_pte_updated = sptep;
Avi Kivity1b7fcd32008-05-15 13:51:35 +03002088 vcpu->arch.last_pte_gfn = gfn;
2089 }
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002090}
2091
Avi Kivity6aa8b732006-12-10 02:21:36 -08002092static void nonpaging_new_cr3(struct kvm_vcpu *vcpu)
2093{
2094}
2095
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002096static pfn_t pte_prefetch_gfn_to_pfn(struct kvm_vcpu *vcpu, gfn_t gfn,
2097 bool no_dirty_log)
2098{
2099 struct kvm_memory_slot *slot;
2100 unsigned long hva;
2101
Xiao Guangrong5d163b12011-03-09 15:43:00 +08002102 slot = gfn_to_memslot_dirty_bitmap(vcpu, gfn, no_dirty_log);
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002103 if (!slot) {
2104 get_page(bad_page);
2105 return page_to_pfn(bad_page);
2106 }
2107
2108 hva = gfn_to_hva_memslot(slot, gfn);
2109
2110 return hva_to_pfn_atomic(vcpu->kvm, hva);
2111}
2112
2113static int direct_pte_prefetch_many(struct kvm_vcpu *vcpu,
2114 struct kvm_mmu_page *sp,
2115 u64 *start, u64 *end)
2116{
2117 struct page *pages[PTE_PREFETCH_NUM];
2118 unsigned access = sp->role.access;
2119 int i, ret;
2120 gfn_t gfn;
2121
2122 gfn = kvm_mmu_page_get_gfn(sp, start - sp->spt);
Xiao Guangrong5d163b12011-03-09 15:43:00 +08002123 if (!gfn_to_memslot_dirty_bitmap(vcpu, gfn, access & ACC_WRITE_MASK))
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002124 return -1;
2125
2126 ret = gfn_to_page_many_atomic(vcpu->kvm, gfn, pages, end - start);
2127 if (ret <= 0)
2128 return -1;
2129
2130 for (i = 0; i < ret; i++, gfn++, start++)
2131 mmu_set_spte(vcpu, start, ACC_ALL,
2132 access, 0, 0, 1, NULL,
2133 sp->role.level, gfn,
2134 page_to_pfn(pages[i]), true, true);
2135
2136 return 0;
2137}
2138
2139static void __direct_pte_prefetch(struct kvm_vcpu *vcpu,
2140 struct kvm_mmu_page *sp, u64 *sptep)
2141{
2142 u64 *spte, *start = NULL;
2143 int i;
2144
2145 WARN_ON(!sp->role.direct);
2146
2147 i = (sptep - sp->spt) & ~(PTE_PREFETCH_NUM - 1);
2148 spte = sp->spt + i;
2149
2150 for (i = 0; i < PTE_PREFETCH_NUM; i++, spte++) {
2151 if (*spte != shadow_trap_nonpresent_pte || spte == sptep) {
2152 if (!start)
2153 continue;
2154 if (direct_pte_prefetch_many(vcpu, sp, start, spte) < 0)
2155 break;
2156 start = NULL;
2157 } else if (!start)
2158 start = spte;
2159 }
2160}
2161
2162static void direct_pte_prefetch(struct kvm_vcpu *vcpu, u64 *sptep)
2163{
2164 struct kvm_mmu_page *sp;
2165
2166 /*
2167 * Since it's no accessed bit on EPT, it's no way to
2168 * distinguish between actually accessed translations
2169 * and prefetched, so disable pte prefetch if EPT is
2170 * enabled.
2171 */
2172 if (!shadow_accessed_mask)
2173 return;
2174
2175 sp = page_header(__pa(sptep));
2176 if (sp->role.level > PT_PAGE_TABLE_LEVEL)
2177 return;
2178
2179 __direct_pte_prefetch(vcpu, sp, sptep);
2180}
2181
Joerg Roedel4d9976b2008-02-07 13:47:42 +01002182static int __direct_map(struct kvm_vcpu *vcpu, gpa_t v, int write,
Xiao Guangrong2ec47392010-12-07 10:34:42 +08002183 int map_writable, int level, gfn_t gfn, pfn_t pfn,
2184 bool prefault)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002185{
Avi Kivity9f652d22008-12-25 14:54:25 +02002186 struct kvm_shadow_walk_iterator iterator;
2187 struct kvm_mmu_page *sp;
2188 int pt_write = 0;
2189 gfn_t pseudo_gfn;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002190
Avi Kivity9f652d22008-12-25 14:54:25 +02002191 for_each_shadow_entry(vcpu, (u64)gfn << PAGE_SHIFT, iterator) {
Joerg Roedel852e3c12009-07-27 16:30:44 +02002192 if (iterator.level == level) {
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002193 unsigned pte_access = ACC_ALL;
2194
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002195 mmu_set_spte(vcpu, iterator.sptep, ACC_ALL, pte_access,
Avi Kivity9f652d22008-12-25 14:54:25 +02002196 0, write, 1, &pt_write,
Xiao Guangrong2ec47392010-12-07 10:34:42 +08002197 level, gfn, pfn, prefault, map_writable);
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002198 direct_pte_prefetch(vcpu, iterator.sptep);
Avi Kivity9f652d22008-12-25 14:54:25 +02002199 ++vcpu->stat.pf_fixed;
2200 break;
2201 }
2202
2203 if (*iterator.sptep == shadow_trap_nonpresent_pte) {
Lai Jiangshanc9fa0b32010-05-26 16:48:25 +08002204 u64 base_addr = iterator.addr;
2205
2206 base_addr &= PT64_LVL_ADDR_MASK(iterator.level);
2207 pseudo_gfn = base_addr >> PAGE_SHIFT;
Avi Kivity9f652d22008-12-25 14:54:25 +02002208 sp = kvm_mmu_get_page(vcpu, pseudo_gfn, iterator.addr,
2209 iterator.level - 1,
2210 1, ACC_ALL, iterator.sptep);
2211 if (!sp) {
2212 pgprintk("nonpaging_map: ENOMEM\n");
2213 kvm_release_pfn_clean(pfn);
2214 return -ENOMEM;
2215 }
2216
Avi Kivityd555c332009-06-10 14:24:23 +03002217 __set_spte(iterator.sptep,
2218 __pa(sp->spt)
2219 | PT_PRESENT_MASK | PT_WRITABLE_MASK
Xiao Guangrong33f91ed2010-09-27 18:05:00 +08002220 | shadow_user_mask | shadow_x_mask
2221 | shadow_accessed_mask);
Avi Kivity9f652d22008-12-25 14:54:25 +02002222 }
2223 }
2224 return pt_write;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002225}
2226
Huang Ying77db5cb2010-10-08 16:24:15 +08002227static void kvm_send_hwpoison_signal(unsigned long address, struct task_struct *tsk)
Huang Yingbf998152010-05-31 14:28:19 +08002228{
Huang Ying77db5cb2010-10-08 16:24:15 +08002229 siginfo_t info;
Huang Yingbf998152010-05-31 14:28:19 +08002230
Huang Ying77db5cb2010-10-08 16:24:15 +08002231 info.si_signo = SIGBUS;
2232 info.si_errno = 0;
2233 info.si_code = BUS_MCEERR_AR;
2234 info.si_addr = (void __user *)address;
2235 info.si_addr_lsb = PAGE_SHIFT;
2236
2237 send_sig_info(SIGBUS, &info, tsk);
Huang Yingbf998152010-05-31 14:28:19 +08002238}
2239
Xiao Guangrongbebb1062011-07-12 03:23:20 +08002240static int kvm_handle_bad_page(struct kvm_vcpu *vcpu, gva_t gva,
2241 unsigned access, gfn_t gfn, pfn_t pfn)
Huang Yingbf998152010-05-31 14:28:19 +08002242{
2243 kvm_release_pfn_clean(pfn);
2244 if (is_hwpoison_pfn(pfn)) {
Xiao Guangrongbebb1062011-07-12 03:23:20 +08002245 kvm_send_hwpoison_signal(gfn_to_hva(vcpu->kvm, gfn), current);
Huang Yingbf998152010-05-31 14:28:19 +08002246 return 0;
Gleb Natapovedba23e2010-07-07 20:16:45 +03002247 } else if (is_fault_pfn(pfn))
2248 return -EFAULT;
2249
Xiao Guangrongbebb1062011-07-12 03:23:20 +08002250 vcpu_cache_mmio_info(vcpu, gva, gfn, access);
Huang Yingbf998152010-05-31 14:28:19 +08002251 return 1;
2252}
2253
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002254static void transparent_hugepage_adjust(struct kvm_vcpu *vcpu,
2255 gfn_t *gfnp, pfn_t *pfnp, int *levelp)
2256{
2257 pfn_t pfn = *pfnp;
2258 gfn_t gfn = *gfnp;
2259 int level = *levelp;
2260
2261 /*
2262 * Check if it's a transparent hugepage. If this would be an
2263 * hugetlbfs page, level wouldn't be set to
2264 * PT_PAGE_TABLE_LEVEL and there would be no adjustment done
2265 * here.
2266 */
2267 if (!is_error_pfn(pfn) && !kvm_is_mmio_pfn(pfn) &&
2268 level == PT_PAGE_TABLE_LEVEL &&
2269 PageTransCompound(pfn_to_page(pfn)) &&
2270 !has_wrprotected_page(vcpu->kvm, gfn, PT_DIRECTORY_LEVEL)) {
2271 unsigned long mask;
2272 /*
2273 * mmu_notifier_retry was successful and we hold the
2274 * mmu_lock here, so the pmd can't become splitting
2275 * from under us, and in turn
2276 * __split_huge_page_refcount() can't run from under
2277 * us and we can safely transfer the refcount from
2278 * PG_tail to PG_head as we switch the pfn to tail to
2279 * head.
2280 */
2281 *levelp = level = PT_DIRECTORY_LEVEL;
2282 mask = KVM_PAGES_PER_HPAGE(level) - 1;
2283 VM_BUG_ON((gfn & mask) != (pfn & mask));
2284 if (pfn & mask) {
2285 gfn &= ~mask;
2286 *gfnp = gfn;
2287 kvm_release_pfn_clean(pfn);
2288 pfn &= ~mask;
2289 if (!get_page_unless_zero(pfn_to_page(pfn)))
2290 BUG();
2291 *pfnp = pfn;
2292 }
2293 }
2294}
2295
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002296static bool try_async_pf(struct kvm_vcpu *vcpu, bool prefault, gfn_t gfn,
Xiao Guangrong060c2ab2010-11-12 14:49:11 +08002297 gva_t gva, pfn_t *pfn, bool write, bool *writable);
2298
2299static int nonpaging_map(struct kvm_vcpu *vcpu, gva_t v, int write, gfn_t gfn,
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002300 bool prefault)
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002301{
2302 int r;
Joerg Roedel852e3c12009-07-27 16:30:44 +02002303 int level;
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002304 int force_pt_level;
Anthony Liguori35149e22008-04-02 14:46:56 -05002305 pfn_t pfn;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002306 unsigned long mmu_seq;
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002307 bool map_writable;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002308
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002309 force_pt_level = mapping_level_dirty_bitmap(vcpu, gfn);
2310 if (likely(!force_pt_level)) {
2311 level = mapping_level(vcpu, gfn);
2312 /*
2313 * This path builds a PAE pagetable - so we can map
2314 * 2mb pages at maximum. Therefore check if the level
2315 * is larger than that.
2316 */
2317 if (level > PT_DIRECTORY_LEVEL)
2318 level = PT_DIRECTORY_LEVEL;
Joerg Roedel852e3c12009-07-27 16:30:44 +02002319
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002320 gfn &= ~(KVM_PAGES_PER_HPAGE(level) - 1);
2321 } else
2322 level = PT_PAGE_TABLE_LEVEL;
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002323
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002324 mmu_seq = vcpu->kvm->mmu_notifier_seq;
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -03002325 smp_rmb();
Xiao Guangrong060c2ab2010-11-12 14:49:11 +08002326
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002327 if (try_async_pf(vcpu, prefault, gfn, v, &pfn, write, &map_writable))
Xiao Guangrong060c2ab2010-11-12 14:49:11 +08002328 return 0;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002329
Avi Kivityd196e342008-01-24 11:44:11 +02002330 /* mmio */
Huang Yingbf998152010-05-31 14:28:19 +08002331 if (is_error_pfn(pfn))
Xiao Guangrongbebb1062011-07-12 03:23:20 +08002332 return kvm_handle_bad_page(vcpu, v, ACC_ALL, gfn, pfn);
Avi Kivityd196e342008-01-24 11:44:11 +02002333
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002334 spin_lock(&vcpu->kvm->mmu_lock);
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002335 if (mmu_notifier_retry(vcpu, mmu_seq))
2336 goto out_unlock;
Avi Kivityeb787d12007-12-31 15:27:49 +02002337 kvm_mmu_free_some_pages(vcpu);
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002338 if (likely(!force_pt_level))
2339 transparent_hugepage_adjust(vcpu, &gfn, &pfn, &level);
Xiao Guangrong2ec47392010-12-07 10:34:42 +08002340 r = __direct_map(vcpu, v, write, map_writable, level, gfn, pfn,
2341 prefault);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002342 spin_unlock(&vcpu->kvm->mmu_lock);
2343
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002344
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002345 return r;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002346
2347out_unlock:
2348 spin_unlock(&vcpu->kvm->mmu_lock);
2349 kvm_release_pfn_clean(pfn);
2350 return 0;
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002351}
2352
2353
Avi Kivity17ac10a2007-01-05 16:36:40 -08002354static void mmu_free_roots(struct kvm_vcpu *vcpu)
2355{
2356 int i;
Avi Kivity4db35312007-11-21 15:28:32 +02002357 struct kvm_mmu_page *sp;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08002358 LIST_HEAD(invalid_list);
Avi Kivity17ac10a2007-01-05 16:36:40 -08002359
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002360 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))
Avi Kivity7b53aa52007-06-05 12:17:03 +03002361 return;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002362 spin_lock(&vcpu->kvm->mmu_lock);
Joerg Roedel81407ca2010-09-10 17:31:00 +02002363 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL &&
2364 (vcpu->arch.mmu.root_level == PT64_ROOT_LEVEL ||
2365 vcpu->arch.mmu.direct_map)) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002366 hpa_t root = vcpu->arch.mmu.root_hpa;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002367
Avi Kivity4db35312007-11-21 15:28:32 +02002368 sp = page_header(root);
2369 --sp->root_count;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08002370 if (!sp->root_count && sp->role.invalid) {
2371 kvm_mmu_prepare_zap_page(vcpu->kvm, sp, &invalid_list);
2372 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
2373 }
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002374 vcpu->arch.mmu.root_hpa = INVALID_PAGE;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002375 spin_unlock(&vcpu->kvm->mmu_lock);
Avi Kivity17ac10a2007-01-05 16:36:40 -08002376 return;
2377 }
Avi Kivity17ac10a2007-01-05 16:36:40 -08002378 for (i = 0; i < 4; ++i) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002379 hpa_t root = vcpu->arch.mmu.pae_root[i];
Avi Kivity17ac10a2007-01-05 16:36:40 -08002380
Avi Kivity417726a2007-04-12 17:35:58 +03002381 if (root) {
Avi Kivity417726a2007-04-12 17:35:58 +03002382 root &= PT64_BASE_ADDR_MASK;
Avi Kivity4db35312007-11-21 15:28:32 +02002383 sp = page_header(root);
2384 --sp->root_count;
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05002385 if (!sp->root_count && sp->role.invalid)
Xiao Guangrongd98ba052010-06-04 21:55:29 +08002386 kvm_mmu_prepare_zap_page(vcpu->kvm, sp,
2387 &invalid_list);
Avi Kivity417726a2007-04-12 17:35:58 +03002388 }
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002389 vcpu->arch.mmu.pae_root[i] = INVALID_PAGE;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002390 }
Xiao Guangrongd98ba052010-06-04 21:55:29 +08002391 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002392 spin_unlock(&vcpu->kvm->mmu_lock);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002393 vcpu->arch.mmu.root_hpa = INVALID_PAGE;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002394}
2395
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002396static int mmu_check_root(struct kvm_vcpu *vcpu, gfn_t root_gfn)
2397{
2398 int ret = 0;
2399
2400 if (!kvm_is_visible_gfn(vcpu->kvm, root_gfn)) {
Avi Kivitya8eeb042010-05-10 12:34:53 +03002401 kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002402 ret = 1;
2403 }
2404
2405 return ret;
2406}
2407
Joerg Roedel651dd372010-09-10 17:30:59 +02002408static int mmu_alloc_direct_roots(struct kvm_vcpu *vcpu)
2409{
2410 struct kvm_mmu_page *sp;
Avi Kivity7ebaf152010-10-03 18:51:39 +02002411 unsigned i;
Joerg Roedel651dd372010-09-10 17:30:59 +02002412
2413 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL) {
2414 spin_lock(&vcpu->kvm->mmu_lock);
2415 kvm_mmu_free_some_pages(vcpu);
2416 sp = kvm_mmu_get_page(vcpu, 0, 0, PT64_ROOT_LEVEL,
2417 1, ACC_ALL, NULL);
2418 ++sp->root_count;
2419 spin_unlock(&vcpu->kvm->mmu_lock);
2420 vcpu->arch.mmu.root_hpa = __pa(sp->spt);
2421 } else if (vcpu->arch.mmu.shadow_root_level == PT32E_ROOT_LEVEL) {
2422 for (i = 0; i < 4; ++i) {
2423 hpa_t root = vcpu->arch.mmu.pae_root[i];
2424
2425 ASSERT(!VALID_PAGE(root));
2426 spin_lock(&vcpu->kvm->mmu_lock);
2427 kvm_mmu_free_some_pages(vcpu);
Avi Kivity649497d2010-12-28 12:09:07 +02002428 sp = kvm_mmu_get_page(vcpu, i << (30 - PAGE_SHIFT),
2429 i << 30,
Joerg Roedel651dd372010-09-10 17:30:59 +02002430 PT32_ROOT_LEVEL, 1, ACC_ALL,
2431 NULL);
2432 root = __pa(sp->spt);
2433 ++sp->root_count;
2434 spin_unlock(&vcpu->kvm->mmu_lock);
2435 vcpu->arch.mmu.pae_root[i] = root | PT_PRESENT_MASK;
Joerg Roedel651dd372010-09-10 17:30:59 +02002436 }
Xiao Guangrong62927572010-09-27 18:02:12 +08002437 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root);
Joerg Roedel651dd372010-09-10 17:30:59 +02002438 } else
2439 BUG();
2440
2441 return 0;
2442}
2443
2444static int mmu_alloc_shadow_roots(struct kvm_vcpu *vcpu)
Avi Kivity17ac10a2007-01-05 16:36:40 -08002445{
Avi Kivity4db35312007-11-21 15:28:32 +02002446 struct kvm_mmu_page *sp;
Joerg Roedel81407ca2010-09-10 17:31:00 +02002447 u64 pdptr, pm_mask;
2448 gfn_t root_gfn;
2449 int i;
Avi Kivity3bb65a22007-01-05 16:36:51 -08002450
Joerg Roedel5777ed32010-09-10 17:30:42 +02002451 root_gfn = vcpu->arch.mmu.get_cr3(vcpu) >> PAGE_SHIFT;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002452
Joerg Roedel651dd372010-09-10 17:30:59 +02002453 if (mmu_check_root(vcpu, root_gfn))
2454 return 1;
2455
2456 /*
2457 * Do we shadow a long mode page table? If so we need to
2458 * write-protect the guests page table root.
2459 */
2460 if (vcpu->arch.mmu.root_level == PT64_ROOT_LEVEL) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002461 hpa_t root = vcpu->arch.mmu.root_hpa;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002462
2463 ASSERT(!VALID_PAGE(root));
Joerg Roedel651dd372010-09-10 17:30:59 +02002464
Avi Kivity8facbbf2010-05-04 12:58:32 +03002465 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti24955b62010-05-12 21:00:35 -03002466 kvm_mmu_free_some_pages(vcpu);
Joerg Roedel651dd372010-09-10 17:30:59 +02002467 sp = kvm_mmu_get_page(vcpu, root_gfn, 0, PT64_ROOT_LEVEL,
2468 0, ACC_ALL, NULL);
Avi Kivity4db35312007-11-21 15:28:32 +02002469 root = __pa(sp->spt);
2470 ++sp->root_count;
Avi Kivity8facbbf2010-05-04 12:58:32 +03002471 spin_unlock(&vcpu->kvm->mmu_lock);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002472 vcpu->arch.mmu.root_hpa = root;
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002473 return 0;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002474 }
Joerg Roedelf87f9282010-09-02 17:29:45 +02002475
Joerg Roedel651dd372010-09-10 17:30:59 +02002476 /*
2477 * We shadow a 32 bit page table. This may be a legacy 2-level
Joerg Roedel81407ca2010-09-10 17:31:00 +02002478 * or a PAE 3-level page table. In either case we need to be aware that
2479 * the shadow page table may be a PAE or a long mode page table.
Joerg Roedel651dd372010-09-10 17:30:59 +02002480 */
Joerg Roedel81407ca2010-09-10 17:31:00 +02002481 pm_mask = PT_PRESENT_MASK;
2482 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL)
2483 pm_mask |= PT_ACCESSED_MASK | PT_WRITABLE_MASK | PT_USER_MASK;
2484
Avi Kivity17ac10a2007-01-05 16:36:40 -08002485 for (i = 0; i < 4; ++i) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002486 hpa_t root = vcpu->arch.mmu.pae_root[i];
Avi Kivity17ac10a2007-01-05 16:36:40 -08002487
2488 ASSERT(!VALID_PAGE(root));
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002489 if (vcpu->arch.mmu.root_level == PT32E_ROOT_LEVEL) {
Joerg Roedeld41d1892010-09-10 17:30:58 +02002490 pdptr = kvm_pdptr_read_mmu(vcpu, &vcpu->arch.mmu, i);
Avi Kivity43a37952009-06-10 14:12:05 +03002491 if (!is_present_gpte(pdptr)) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002492 vcpu->arch.mmu.pae_root[i] = 0;
Avi Kivity417726a2007-04-12 17:35:58 +03002493 continue;
2494 }
Avi Kivity6de4f3a2009-05-31 22:58:47 +03002495 root_gfn = pdptr >> PAGE_SHIFT;
Joerg Roedelf87f9282010-09-02 17:29:45 +02002496 if (mmu_check_root(vcpu, root_gfn))
2497 return 1;
Eric Northup5a7388c2010-04-26 17:00:05 -07002498 }
Avi Kivity8facbbf2010-05-04 12:58:32 +03002499 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti24955b62010-05-12 21:00:35 -03002500 kvm_mmu_free_some_pages(vcpu);
Avi Kivity4db35312007-11-21 15:28:32 +02002501 sp = kvm_mmu_get_page(vcpu, root_gfn, i << 30,
Joerg Roedel651dd372010-09-10 17:30:59 +02002502 PT32_ROOT_LEVEL, 0,
Avi Kivityf7d9c7b2008-02-26 22:12:10 +02002503 ACC_ALL, NULL);
Avi Kivity4db35312007-11-21 15:28:32 +02002504 root = __pa(sp->spt);
2505 ++sp->root_count;
Avi Kivity8facbbf2010-05-04 12:58:32 +03002506 spin_unlock(&vcpu->kvm->mmu_lock);
2507
Joerg Roedel81407ca2010-09-10 17:31:00 +02002508 vcpu->arch.mmu.pae_root[i] = root | pm_mask;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002509 }
Xiao Guangrong62927572010-09-27 18:02:12 +08002510 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root);
Joerg Roedel81407ca2010-09-10 17:31:00 +02002511
2512 /*
2513 * If we shadow a 32 bit page table with a long mode page
2514 * table we enter this path.
2515 */
2516 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL) {
2517 if (vcpu->arch.mmu.lm_root == NULL) {
2518 /*
2519 * The additional page necessary for this is only
2520 * allocated on demand.
2521 */
2522
2523 u64 *lm_root;
2524
2525 lm_root = (void*)get_zeroed_page(GFP_KERNEL);
2526 if (lm_root == NULL)
2527 return 1;
2528
2529 lm_root[0] = __pa(vcpu->arch.mmu.pae_root) | pm_mask;
2530
2531 vcpu->arch.mmu.lm_root = lm_root;
2532 }
2533
2534 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.lm_root);
2535 }
2536
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002537 return 0;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002538}
2539
Joerg Roedel651dd372010-09-10 17:30:59 +02002540static int mmu_alloc_roots(struct kvm_vcpu *vcpu)
2541{
2542 if (vcpu->arch.mmu.direct_map)
2543 return mmu_alloc_direct_roots(vcpu);
2544 else
2545 return mmu_alloc_shadow_roots(vcpu);
2546}
2547
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002548static void mmu_sync_roots(struct kvm_vcpu *vcpu)
2549{
2550 int i;
2551 struct kvm_mmu_page *sp;
2552
Joerg Roedel81407ca2010-09-10 17:31:00 +02002553 if (vcpu->arch.mmu.direct_map)
2554 return;
2555
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002556 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))
2557 return;
Xiao Guangrong69030742010-09-27 18:09:29 +08002558
Xiao Guangrongbebb1062011-07-12 03:23:20 +08002559 vcpu_clear_mmio_info(vcpu, ~0ul);
Xiao Guangrong69030742010-09-27 18:09:29 +08002560 trace_kvm_mmu_audit(vcpu, AUDIT_PRE_SYNC);
Joerg Roedel81407ca2010-09-10 17:31:00 +02002561 if (vcpu->arch.mmu.root_level == PT64_ROOT_LEVEL) {
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002562 hpa_t root = vcpu->arch.mmu.root_hpa;
2563 sp = page_header(root);
2564 mmu_sync_children(vcpu, sp);
Xiao Guangrong5054c0d2010-11-12 14:46:08 +08002565 trace_kvm_mmu_audit(vcpu, AUDIT_POST_SYNC);
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002566 return;
2567 }
2568 for (i = 0; i < 4; ++i) {
2569 hpa_t root = vcpu->arch.mmu.pae_root[i];
2570
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002571 if (root && VALID_PAGE(root)) {
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002572 root &= PT64_BASE_ADDR_MASK;
2573 sp = page_header(root);
2574 mmu_sync_children(vcpu, sp);
2575 }
2576 }
Xiao Guangrong69030742010-09-27 18:09:29 +08002577 trace_kvm_mmu_audit(vcpu, AUDIT_POST_SYNC);
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002578}
2579
2580void kvm_mmu_sync_roots(struct kvm_vcpu *vcpu)
2581{
2582 spin_lock(&vcpu->kvm->mmu_lock);
2583 mmu_sync_roots(vcpu);
2584 spin_unlock(&vcpu->kvm->mmu_lock);
2585}
2586
Gleb Natapov1871c602010-02-10 14:21:32 +02002587static gpa_t nonpaging_gva_to_gpa(struct kvm_vcpu *vcpu, gva_t vaddr,
Avi Kivityab9ae312010-11-22 17:53:26 +02002588 u32 access, struct x86_exception *exception)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002589{
Avi Kivityab9ae312010-11-22 17:53:26 +02002590 if (exception)
2591 exception->error_code = 0;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002592 return vaddr;
2593}
2594
Joerg Roedel6539e732010-09-10 17:30:50 +02002595static gpa_t nonpaging_gva_to_gpa_nested(struct kvm_vcpu *vcpu, gva_t vaddr,
Avi Kivityab9ae312010-11-22 17:53:26 +02002596 u32 access,
2597 struct x86_exception *exception)
Joerg Roedel6539e732010-09-10 17:30:50 +02002598{
Avi Kivityab9ae312010-11-22 17:53:26 +02002599 if (exception)
2600 exception->error_code = 0;
Joerg Roedel6539e732010-09-10 17:30:50 +02002601 return vcpu->arch.nested_mmu.translate_gpa(vcpu, vaddr, access);
2602}
2603
Avi Kivity6aa8b732006-12-10 02:21:36 -08002604static int nonpaging_page_fault(struct kvm_vcpu *vcpu, gva_t gva,
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002605 u32 error_code, bool prefault)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002606{
Avi Kivitye8332402007-12-09 18:43:00 +02002607 gfn_t gfn;
Avi Kivitye2dec932007-01-05 16:36:54 -08002608 int r;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002609
Harvey Harrisonb8688d52008-03-03 12:59:56 -08002610 pgprintk("%s: gva %lx error %x\n", __func__, gva, error_code);
Avi Kivitye2dec932007-01-05 16:36:54 -08002611 r = mmu_topup_memory_caches(vcpu);
2612 if (r)
2613 return r;
Avi Kivity714b93d2007-01-05 16:36:53 -08002614
Avi Kivity6aa8b732006-12-10 02:21:36 -08002615 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002616 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity6aa8b732006-12-10 02:21:36 -08002617
Avi Kivitye8332402007-12-09 18:43:00 +02002618 gfn = gva >> PAGE_SHIFT;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002619
Avi Kivitye8332402007-12-09 18:43:00 +02002620 return nonpaging_map(vcpu, gva & PAGE_MASK,
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002621 error_code & PFERR_WRITE_MASK, gfn, prefault);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002622}
2623
Jan Kiszka7e1fbea2010-10-20 15:18:02 +02002624static int kvm_arch_setup_async_pf(struct kvm_vcpu *vcpu, gva_t gva, gfn_t gfn)
Gleb Natapovaf585b92010-10-14 11:22:46 +02002625{
2626 struct kvm_arch_async_pf arch;
Xiao Guangrongfb67e142010-12-07 10:35:25 +08002627
Gleb Natapov7c907052010-10-14 11:22:53 +02002628 arch.token = (vcpu->arch.apf.id++ << 12) | vcpu->vcpu_id;
Gleb Natapovaf585b92010-10-14 11:22:46 +02002629 arch.gfn = gfn;
Xiao Guangrongc4806ac2010-11-12 14:49:55 +08002630 arch.direct_map = vcpu->arch.mmu.direct_map;
Xiao Guangrongfb67e142010-12-07 10:35:25 +08002631 arch.cr3 = vcpu->arch.mmu.get_cr3(vcpu);
Gleb Natapovaf585b92010-10-14 11:22:46 +02002632
2633 return kvm_setup_async_pf(vcpu, gva, gfn, &arch);
2634}
2635
2636static bool can_do_async_pf(struct kvm_vcpu *vcpu)
2637{
2638 if (unlikely(!irqchip_in_kernel(vcpu->kvm) ||
2639 kvm_event_needs_reinjection(vcpu)))
2640 return false;
2641
2642 return kvm_x86_ops->interrupt_allowed(vcpu);
2643}
2644
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002645static bool try_async_pf(struct kvm_vcpu *vcpu, bool prefault, gfn_t gfn,
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002646 gva_t gva, pfn_t *pfn, bool write, bool *writable)
Gleb Natapovaf585b92010-10-14 11:22:46 +02002647{
2648 bool async;
2649
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002650 *pfn = gfn_to_pfn_async(vcpu->kvm, gfn, &async, write, writable);
Gleb Natapovaf585b92010-10-14 11:22:46 +02002651
2652 if (!async)
2653 return false; /* *pfn has correct page already */
2654
2655 put_page(pfn_to_page(*pfn));
2656
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002657 if (!prefault && can_do_async_pf(vcpu)) {
Xiao Guangrongc9b263d2010-11-01 16:58:43 +08002658 trace_kvm_try_async_get_page(gva, gfn);
Gleb Natapovaf585b92010-10-14 11:22:46 +02002659 if (kvm_find_async_pf_gfn(vcpu, gfn)) {
2660 trace_kvm_async_pf_doublefault(gva, gfn);
2661 kvm_make_request(KVM_REQ_APF_HALT, vcpu);
2662 return true;
2663 } else if (kvm_arch_setup_async_pf(vcpu, gva, gfn))
2664 return true;
2665 }
2666
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002667 *pfn = gfn_to_pfn_prot(vcpu->kvm, gfn, write, writable);
Gleb Natapovaf585b92010-10-14 11:22:46 +02002668
2669 return false;
2670}
2671
Gleb Natapov56028d02010-10-17 18:13:42 +02002672static int tdp_page_fault(struct kvm_vcpu *vcpu, gva_t gpa, u32 error_code,
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002673 bool prefault)
Joerg Roedelfb72d162008-02-07 13:47:44 +01002674{
Anthony Liguori35149e22008-04-02 14:46:56 -05002675 pfn_t pfn;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002676 int r;
Joerg Roedel852e3c12009-07-27 16:30:44 +02002677 int level;
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002678 int force_pt_level;
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002679 gfn_t gfn = gpa >> PAGE_SHIFT;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002680 unsigned long mmu_seq;
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002681 int write = error_code & PFERR_WRITE_MASK;
2682 bool map_writable;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002683
2684 ASSERT(vcpu);
2685 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa));
2686
2687 r = mmu_topup_memory_caches(vcpu);
2688 if (r)
2689 return r;
2690
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002691 force_pt_level = mapping_level_dirty_bitmap(vcpu, gfn);
2692 if (likely(!force_pt_level)) {
2693 level = mapping_level(vcpu, gfn);
2694 gfn &= ~(KVM_PAGES_PER_HPAGE(level) - 1);
2695 } else
2696 level = PT_PAGE_TABLE_LEVEL;
Joerg Roedel852e3c12009-07-27 16:30:44 +02002697
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002698 mmu_seq = vcpu->kvm->mmu_notifier_seq;
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -03002699 smp_rmb();
Gleb Natapovaf585b92010-10-14 11:22:46 +02002700
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002701 if (try_async_pf(vcpu, prefault, gfn, gpa, &pfn, write, &map_writable))
Gleb Natapovaf585b92010-10-14 11:22:46 +02002702 return 0;
2703
2704 /* mmio */
Huang Yingbf998152010-05-31 14:28:19 +08002705 if (is_error_pfn(pfn))
Xiao Guangrongbebb1062011-07-12 03:23:20 +08002706 return kvm_handle_bad_page(vcpu, 0, 0, gfn, pfn);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002707 spin_lock(&vcpu->kvm->mmu_lock);
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002708 if (mmu_notifier_retry(vcpu, mmu_seq))
2709 goto out_unlock;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002710 kvm_mmu_free_some_pages(vcpu);
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002711 if (likely(!force_pt_level))
2712 transparent_hugepage_adjust(vcpu, &gfn, &pfn, &level);
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002713 r = __direct_map(vcpu, gpa, write, map_writable,
Xiao Guangrong2ec47392010-12-07 10:34:42 +08002714 level, gfn, pfn, prefault);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002715 spin_unlock(&vcpu->kvm->mmu_lock);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002716
2717 return r;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002718
2719out_unlock:
2720 spin_unlock(&vcpu->kvm->mmu_lock);
2721 kvm_release_pfn_clean(pfn);
2722 return 0;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002723}
2724
Avi Kivity6aa8b732006-12-10 02:21:36 -08002725static void nonpaging_free(struct kvm_vcpu *vcpu)
2726{
Avi Kivity17ac10a2007-01-05 16:36:40 -08002727 mmu_free_roots(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002728}
2729
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002730static int nonpaging_init_context(struct kvm_vcpu *vcpu,
2731 struct kvm_mmu *context)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002732{
Avi Kivity6aa8b732006-12-10 02:21:36 -08002733 context->new_cr3 = nonpaging_new_cr3;
2734 context->page_fault = nonpaging_page_fault;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002735 context->gva_to_gpa = nonpaging_gva_to_gpa;
2736 context->free = nonpaging_free;
Avi Kivityc7addb92007-09-16 18:58:32 +02002737 context->prefetch_page = nonpaging_prefetch_page;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002738 context->sync_page = nonpaging_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002739 context->invlpg = nonpaging_invlpg;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08002740 context->update_pte = nonpaging_update_pte;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08002741 context->root_level = 0;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002742 context->shadow_root_level = PT32E_ROOT_LEVEL;
Avi Kivity17c3ba92007-06-04 15:58:30 +03002743 context->root_hpa = INVALID_PAGE;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02002744 context->direct_map = true;
Joerg Roedel2d48a982010-09-10 17:31:01 +02002745 context->nx = false;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002746 return 0;
2747}
2748
Avi Kivityd835dfe2007-11-21 02:57:59 +02002749void kvm_mmu_flush_tlb(struct kvm_vcpu *vcpu)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002750{
Avi Kivity1165f5f2007-04-19 17:27:43 +03002751 ++vcpu->stat.tlb_flush;
Avi Kivitya8eeb042010-05-10 12:34:53 +03002752 kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002753}
2754
2755static void paging_new_cr3(struct kvm_vcpu *vcpu)
2756{
Avi Kivity9f8fe502010-12-05 17:30:00 +02002757 pgprintk("%s: cr3 %lx\n", __func__, kvm_read_cr3(vcpu));
Avi Kivitycea0f0e2007-01-05 16:36:43 -08002758 mmu_free_roots(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002759}
2760
Joerg Roedel5777ed32010-09-10 17:30:42 +02002761static unsigned long get_cr3(struct kvm_vcpu *vcpu)
2762{
Avi Kivity9f8fe502010-12-05 17:30:00 +02002763 return kvm_read_cr3(vcpu);
Joerg Roedel5777ed32010-09-10 17:30:42 +02002764}
2765
Avi Kivity6389ee92010-11-29 16:12:30 +02002766static void inject_page_fault(struct kvm_vcpu *vcpu,
2767 struct x86_exception *fault)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002768{
Avi Kivity6389ee92010-11-29 16:12:30 +02002769 vcpu->arch.mmu.inject_page_fault(vcpu, fault);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002770}
2771
Avi Kivity6aa8b732006-12-10 02:21:36 -08002772static void paging_free(struct kvm_vcpu *vcpu)
2773{
2774 nonpaging_free(vcpu);
2775}
2776
Joerg Roedel3241f222010-09-10 17:30:45 +02002777static bool is_rsvd_bits_set(struct kvm_mmu *mmu, u64 gpte, int level)
Dong, Eddie82725b22009-03-30 16:21:08 +08002778{
2779 int bit7;
2780
2781 bit7 = (gpte >> 7) & 1;
Joerg Roedel3241f222010-09-10 17:30:45 +02002782 return (gpte & mmu->rsvd_bits_mask[bit7][level-1]) != 0;
Dong, Eddie82725b22009-03-30 16:21:08 +08002783}
2784
Avi Kivity6aa8b732006-12-10 02:21:36 -08002785#define PTTYPE 64
2786#include "paging_tmpl.h"
2787#undef PTTYPE
2788
2789#define PTTYPE 32
2790#include "paging_tmpl.h"
2791#undef PTTYPE
2792
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002793static void reset_rsvds_bits_mask(struct kvm_vcpu *vcpu,
2794 struct kvm_mmu *context,
2795 int level)
Dong, Eddie82725b22009-03-30 16:21:08 +08002796{
Dong, Eddie82725b22009-03-30 16:21:08 +08002797 int maxphyaddr = cpuid_maxphyaddr(vcpu);
2798 u64 exb_bit_rsvd = 0;
2799
Joerg Roedel2d48a982010-09-10 17:31:01 +02002800 if (!context->nx)
Dong, Eddie82725b22009-03-30 16:21:08 +08002801 exb_bit_rsvd = rsvd_bits(63, 63);
2802 switch (level) {
2803 case PT32_ROOT_LEVEL:
2804 /* no rsvd bits for 2 level 4K page table entries */
2805 context->rsvd_bits_mask[0][1] = 0;
2806 context->rsvd_bits_mask[0][0] = 0;
Xiao Guangrongf815bce2010-03-19 17:58:53 +08002807 context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
2808
2809 if (!is_pse(vcpu)) {
2810 context->rsvd_bits_mask[1][1] = 0;
2811 break;
2812 }
2813
Dong, Eddie82725b22009-03-30 16:21:08 +08002814 if (is_cpuid_PSE36())
2815 /* 36bits PSE 4MB page */
2816 context->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);
2817 else
2818 /* 32 bits PSE 4MB page */
2819 context->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);
Dong, Eddie82725b22009-03-30 16:21:08 +08002820 break;
2821 case PT32E_ROOT_LEVEL:
Dong, Eddie20c466b2009-03-31 23:03:45 +08002822 context->rsvd_bits_mask[0][2] =
2823 rsvd_bits(maxphyaddr, 63) |
2824 rsvd_bits(7, 8) | rsvd_bits(1, 2); /* PDPTE */
Dong, Eddie82725b22009-03-30 16:21:08 +08002825 context->rsvd_bits_mask[0][1] = exb_bit_rsvd |
Sheng Yang4c26b4c2009-04-02 10:28:37 +08002826 rsvd_bits(maxphyaddr, 62); /* PDE */
Dong, Eddie82725b22009-03-30 16:21:08 +08002827 context->rsvd_bits_mask[0][0] = exb_bit_rsvd |
2828 rsvd_bits(maxphyaddr, 62); /* PTE */
2829 context->rsvd_bits_mask[1][1] = exb_bit_rsvd |
2830 rsvd_bits(maxphyaddr, 62) |
2831 rsvd_bits(13, 20); /* large page */
Xiao Guangrongf815bce2010-03-19 17:58:53 +08002832 context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
Dong, Eddie82725b22009-03-30 16:21:08 +08002833 break;
2834 case PT64_ROOT_LEVEL:
2835 context->rsvd_bits_mask[0][3] = exb_bit_rsvd |
2836 rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8);
2837 context->rsvd_bits_mask[0][2] = exb_bit_rsvd |
2838 rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8);
2839 context->rsvd_bits_mask[0][1] = exb_bit_rsvd |
Sheng Yang4c26b4c2009-04-02 10:28:37 +08002840 rsvd_bits(maxphyaddr, 51);
Dong, Eddie82725b22009-03-30 16:21:08 +08002841 context->rsvd_bits_mask[0][0] = exb_bit_rsvd |
2842 rsvd_bits(maxphyaddr, 51);
2843 context->rsvd_bits_mask[1][3] = context->rsvd_bits_mask[0][3];
Joerg Roedele04da982009-07-27 16:30:45 +02002844 context->rsvd_bits_mask[1][2] = exb_bit_rsvd |
2845 rsvd_bits(maxphyaddr, 51) |
2846 rsvd_bits(13, 29);
Dong, Eddie82725b22009-03-30 16:21:08 +08002847 context->rsvd_bits_mask[1][1] = exb_bit_rsvd |
Sheng Yang4c26b4c2009-04-02 10:28:37 +08002848 rsvd_bits(maxphyaddr, 51) |
2849 rsvd_bits(13, 20); /* large page */
Xiao Guangrongf815bce2010-03-19 17:58:53 +08002850 context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
Dong, Eddie82725b22009-03-30 16:21:08 +08002851 break;
2852 }
2853}
2854
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002855static int paging64_init_context_common(struct kvm_vcpu *vcpu,
2856 struct kvm_mmu *context,
2857 int level)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002858{
Joerg Roedel2d48a982010-09-10 17:31:01 +02002859 context->nx = is_nx(vcpu);
2860
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002861 reset_rsvds_bits_mask(vcpu, context, level);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002862
2863 ASSERT(is_pae(vcpu));
2864 context->new_cr3 = paging_new_cr3;
2865 context->page_fault = paging64_page_fault;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002866 context->gva_to_gpa = paging64_gva_to_gpa;
Avi Kivityc7addb92007-09-16 18:58:32 +02002867 context->prefetch_page = paging64_prefetch_page;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002868 context->sync_page = paging64_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002869 context->invlpg = paging64_invlpg;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08002870 context->update_pte = paging64_update_pte;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002871 context->free = paging_free;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002872 context->root_level = level;
2873 context->shadow_root_level = level;
Avi Kivity17c3ba92007-06-04 15:58:30 +03002874 context->root_hpa = INVALID_PAGE;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02002875 context->direct_map = false;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002876 return 0;
2877}
2878
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002879static int paging64_init_context(struct kvm_vcpu *vcpu,
2880 struct kvm_mmu *context)
Avi Kivity17ac10a2007-01-05 16:36:40 -08002881{
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002882 return paging64_init_context_common(vcpu, context, PT64_ROOT_LEVEL);
Avi Kivity17ac10a2007-01-05 16:36:40 -08002883}
2884
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002885static int paging32_init_context(struct kvm_vcpu *vcpu,
2886 struct kvm_mmu *context)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002887{
Joerg Roedel2d48a982010-09-10 17:31:01 +02002888 context->nx = false;
2889
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002890 reset_rsvds_bits_mask(vcpu, context, PT32_ROOT_LEVEL);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002891
2892 context->new_cr3 = paging_new_cr3;
2893 context->page_fault = paging32_page_fault;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002894 context->gva_to_gpa = paging32_gva_to_gpa;
2895 context->free = paging_free;
Avi Kivityc7addb92007-09-16 18:58:32 +02002896 context->prefetch_page = paging32_prefetch_page;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002897 context->sync_page = paging32_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002898 context->invlpg = paging32_invlpg;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08002899 context->update_pte = paging32_update_pte;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002900 context->root_level = PT32_ROOT_LEVEL;
2901 context->shadow_root_level = PT32E_ROOT_LEVEL;
Avi Kivity17c3ba92007-06-04 15:58:30 +03002902 context->root_hpa = INVALID_PAGE;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02002903 context->direct_map = false;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002904 return 0;
2905}
2906
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002907static int paging32E_init_context(struct kvm_vcpu *vcpu,
2908 struct kvm_mmu *context)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002909{
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002910 return paging64_init_context_common(vcpu, context, PT32E_ROOT_LEVEL);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002911}
2912
Joerg Roedelfb72d162008-02-07 13:47:44 +01002913static int init_kvm_tdp_mmu(struct kvm_vcpu *vcpu)
2914{
Joerg Roedel14dfe852010-09-10 17:30:49 +02002915 struct kvm_mmu *context = vcpu->arch.walk_mmu;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002916
Avi Kivityc445f8e2010-12-21 16:26:01 +02002917 context->base_role.word = 0;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002918 context->new_cr3 = nonpaging_new_cr3;
2919 context->page_fault = tdp_page_fault;
2920 context->free = nonpaging_free;
2921 context->prefetch_page = nonpaging_prefetch_page;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002922 context->sync_page = nonpaging_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002923 context->invlpg = nonpaging_invlpg;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08002924 context->update_pte = nonpaging_update_pte;
Sheng Yang67253af2008-04-25 10:20:22 +08002925 context->shadow_root_level = kvm_x86_ops->get_tdp_level();
Joerg Roedelfb72d162008-02-07 13:47:44 +01002926 context->root_hpa = INVALID_PAGE;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02002927 context->direct_map = true;
Joerg Roedel1c97f0a2010-09-10 17:30:41 +02002928 context->set_cr3 = kvm_x86_ops->set_tdp_cr3;
Joerg Roedel5777ed32010-09-10 17:30:42 +02002929 context->get_cr3 = get_cr3;
Joerg Roedelcb659db2010-09-10 17:30:43 +02002930 context->inject_page_fault = kvm_inject_page_fault;
Joerg Roedel2d48a982010-09-10 17:31:01 +02002931 context->nx = is_nx(vcpu);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002932
2933 if (!is_paging(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002934 context->nx = false;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002935 context->gva_to_gpa = nonpaging_gva_to_gpa;
2936 context->root_level = 0;
2937 } else if (is_long_mode(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002938 context->nx = is_nx(vcpu);
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002939 reset_rsvds_bits_mask(vcpu, context, PT64_ROOT_LEVEL);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002940 context->gva_to_gpa = paging64_gva_to_gpa;
2941 context->root_level = PT64_ROOT_LEVEL;
2942 } else if (is_pae(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002943 context->nx = is_nx(vcpu);
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002944 reset_rsvds_bits_mask(vcpu, context, PT32E_ROOT_LEVEL);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002945 context->gva_to_gpa = paging64_gva_to_gpa;
2946 context->root_level = PT32E_ROOT_LEVEL;
2947 } else {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002948 context->nx = false;
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002949 reset_rsvds_bits_mask(vcpu, context, PT32_ROOT_LEVEL);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002950 context->gva_to_gpa = paging32_gva_to_gpa;
2951 context->root_level = PT32_ROOT_LEVEL;
2952 }
2953
2954 return 0;
2955}
2956
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002957int kvm_init_shadow_mmu(struct kvm_vcpu *vcpu, struct kvm_mmu *context)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002958{
Avi Kivitya770f6f2008-12-21 19:20:09 +02002959 int r;
Avi Kivity411c5882011-06-06 16:11:54 +03002960 bool smep = kvm_read_cr4_bits(vcpu, X86_CR4_SMEP);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002961 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002962 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity6aa8b732006-12-10 02:21:36 -08002963
2964 if (!is_paging(vcpu))
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002965 r = nonpaging_init_context(vcpu, context);
Avi Kivitya9058ec2006-12-29 16:49:37 -08002966 else if (is_long_mode(vcpu))
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002967 r = paging64_init_context(vcpu, context);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002968 else if (is_pae(vcpu))
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002969 r = paging32E_init_context(vcpu, context);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002970 else
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002971 r = paging32_init_context(vcpu, context);
Avi Kivitya770f6f2008-12-21 19:20:09 +02002972
Avi Kivity5b7e0102010-04-14 19:20:03 +03002973 vcpu->arch.mmu.base_role.cr4_pae = !!is_pae(vcpu);
Joerg Roedelf43addd2010-09-10 17:30:40 +02002974 vcpu->arch.mmu.base_role.cr0_wp = is_write_protection(vcpu);
Avi Kivity411c5882011-06-06 16:11:54 +03002975 vcpu->arch.mmu.base_role.smep_andnot_wp
2976 = smep && !is_write_protection(vcpu);
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002977
2978 return r;
2979}
2980EXPORT_SYMBOL_GPL(kvm_init_shadow_mmu);
2981
2982static int init_kvm_softmmu(struct kvm_vcpu *vcpu)
2983{
Joerg Roedel14dfe852010-09-10 17:30:49 +02002984 int r = kvm_init_shadow_mmu(vcpu, vcpu->arch.walk_mmu);
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002985
Joerg Roedel14dfe852010-09-10 17:30:49 +02002986 vcpu->arch.walk_mmu->set_cr3 = kvm_x86_ops->set_cr3;
2987 vcpu->arch.walk_mmu->get_cr3 = get_cr3;
2988 vcpu->arch.walk_mmu->inject_page_fault = kvm_inject_page_fault;
Avi Kivitya770f6f2008-12-21 19:20:09 +02002989
2990 return r;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002991}
2992
Joerg Roedel02f59dc2010-09-10 17:30:54 +02002993static int init_kvm_nested_mmu(struct kvm_vcpu *vcpu)
2994{
2995 struct kvm_mmu *g_context = &vcpu->arch.nested_mmu;
2996
2997 g_context->get_cr3 = get_cr3;
2998 g_context->inject_page_fault = kvm_inject_page_fault;
2999
3000 /*
3001 * Note that arch.mmu.gva_to_gpa translates l2_gva to l1_gpa. The
3002 * translation of l2_gpa to l1_gpa addresses is done using the
3003 * arch.nested_mmu.gva_to_gpa function. Basically the gva_to_gpa
3004 * functions between mmu and nested_mmu are swapped.
3005 */
3006 if (!is_paging(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02003007 g_context->nx = false;
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003008 g_context->root_level = 0;
3009 g_context->gva_to_gpa = nonpaging_gva_to_gpa_nested;
3010 } else if (is_long_mode(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02003011 g_context->nx = is_nx(vcpu);
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003012 reset_rsvds_bits_mask(vcpu, g_context, PT64_ROOT_LEVEL);
3013 g_context->root_level = PT64_ROOT_LEVEL;
3014 g_context->gva_to_gpa = paging64_gva_to_gpa_nested;
3015 } else if (is_pae(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02003016 g_context->nx = is_nx(vcpu);
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003017 reset_rsvds_bits_mask(vcpu, g_context, PT32E_ROOT_LEVEL);
3018 g_context->root_level = PT32E_ROOT_LEVEL;
3019 g_context->gva_to_gpa = paging64_gva_to_gpa_nested;
3020 } else {
Joerg Roedel2d48a982010-09-10 17:31:01 +02003021 g_context->nx = false;
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003022 reset_rsvds_bits_mask(vcpu, g_context, PT32_ROOT_LEVEL);
3023 g_context->root_level = PT32_ROOT_LEVEL;
3024 g_context->gva_to_gpa = paging32_gva_to_gpa_nested;
3025 }
3026
3027 return 0;
3028}
3029
Joerg Roedelfb72d162008-02-07 13:47:44 +01003030static int init_kvm_mmu(struct kvm_vcpu *vcpu)
3031{
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003032 if (mmu_is_nested(vcpu))
3033 return init_kvm_nested_mmu(vcpu);
3034 else if (tdp_enabled)
Joerg Roedelfb72d162008-02-07 13:47:44 +01003035 return init_kvm_tdp_mmu(vcpu);
3036 else
3037 return init_kvm_softmmu(vcpu);
3038}
3039
Avi Kivity6aa8b732006-12-10 02:21:36 -08003040static void destroy_kvm_mmu(struct kvm_vcpu *vcpu)
3041{
3042 ASSERT(vcpu);
Sheng Yang62ad0752010-05-12 16:40:41 +08003043 if (VALID_PAGE(vcpu->arch.mmu.root_hpa))
3044 /* mmu.free() should set root_hpa = INVALID_PAGE */
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003045 vcpu->arch.mmu.free(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003046}
3047
3048int kvm_mmu_reset_context(struct kvm_vcpu *vcpu)
3049{
Avi Kivity17c3ba92007-06-04 15:58:30 +03003050 destroy_kvm_mmu(vcpu);
Marcelo Tosattif8f7e5e2011-06-21 14:00:10 -03003051 return init_kvm_mmu(vcpu);
Avi Kivity17c3ba92007-06-04 15:58:30 +03003052}
Eddie Dong8668a3c2007-10-10 14:26:45 +08003053EXPORT_SYMBOL_GPL(kvm_mmu_reset_context);
Avi Kivity17c3ba92007-06-04 15:58:30 +03003054
3055int kvm_mmu_load(struct kvm_vcpu *vcpu)
3056{
Avi Kivity714b93d2007-01-05 16:36:53 -08003057 int r;
3058
Avi Kivitye2dec932007-01-05 16:36:54 -08003059 r = mmu_topup_memory_caches(vcpu);
Avi Kivity17c3ba92007-06-04 15:58:30 +03003060 if (r)
3061 goto out;
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03003062 r = mmu_alloc_roots(vcpu);
Avi Kivity8facbbf2010-05-04 12:58:32 +03003063 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03003064 mmu_sync_roots(vcpu);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003065 spin_unlock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03003066 if (r)
3067 goto out;
Sheng Yang3662cb12009-07-09 17:00:42 +08003068 /* set_cr3() should ensure TLB has been flushed */
Joerg Roedelf43addd2010-09-10 17:30:40 +02003069 vcpu->arch.mmu.set_cr3(vcpu, vcpu->arch.mmu.root_hpa);
Avi Kivity714b93d2007-01-05 16:36:53 -08003070out:
3071 return r;
Avi Kivity6aa8b732006-12-10 02:21:36 -08003072}
Avi Kivity17c3ba92007-06-04 15:58:30 +03003073EXPORT_SYMBOL_GPL(kvm_mmu_load);
3074
3075void kvm_mmu_unload(struct kvm_vcpu *vcpu)
3076{
3077 mmu_free_roots(vcpu);
3078}
Joerg Roedel4b161842010-09-10 17:31:03 +02003079EXPORT_SYMBOL_GPL(kvm_mmu_unload);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003080
Avi Kivity00284252007-05-01 16:53:31 +03003081static void mmu_pte_write_new_pte(struct kvm_vcpu *vcpu,
Xiao Guangrong7c562522011-03-28 10:29:27 +08003082 struct kvm_mmu_page *sp, u64 *spte,
3083 const void *new)
Avi Kivity00284252007-05-01 16:53:31 +03003084{
Marcelo Tosatti30945382008-06-11 20:32:40 -03003085 if (sp->role.level != PT_PAGE_TABLE_LEVEL) {
Joerg Roedel7e4e4052009-07-27 16:30:46 +02003086 ++vcpu->kvm->stat.mmu_pde_zapped;
3087 return;
Marcelo Tosatti30945382008-06-11 20:32:40 -03003088 }
Avi Kivity00284252007-05-01 16:53:31 +03003089
Avi Kivity4cee5762007-11-18 16:37:07 +02003090 ++vcpu->kvm->stat.mmu_pte_updated;
Xiao Guangrong7c562522011-03-28 10:29:27 +08003091 vcpu->arch.mmu.update_pte(vcpu, sp, spte, new);
Avi Kivity00284252007-05-01 16:53:31 +03003092}
3093
Avi Kivity79539ce2007-11-21 02:06:21 +02003094static bool need_remote_flush(u64 old, u64 new)
3095{
3096 if (!is_shadow_present_pte(old))
3097 return false;
3098 if (!is_shadow_present_pte(new))
3099 return true;
3100 if ((old ^ new) & PT64_BASE_ADDR_MASK)
3101 return true;
3102 old ^= PT64_NX_MASK;
3103 new ^= PT64_NX_MASK;
3104 return (old & ~new & PT64_PERM_MASK) != 0;
3105}
3106
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003107static void mmu_pte_write_flush_tlb(struct kvm_vcpu *vcpu, bool zap_page,
3108 bool remote_flush, bool local_flush)
Avi Kivity79539ce2007-11-21 02:06:21 +02003109{
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003110 if (zap_page)
3111 return;
3112
3113 if (remote_flush)
Avi Kivity79539ce2007-11-21 02:06:21 +02003114 kvm_flush_remote_tlbs(vcpu->kvm);
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003115 else if (local_flush)
Avi Kivity79539ce2007-11-21 02:06:21 +02003116 kvm_mmu_flush_tlb(vcpu);
3117}
3118
Avi Kivity12b7d282007-09-23 14:10:49 +02003119static bool last_updated_pte_accessed(struct kvm_vcpu *vcpu)
3120{
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003121 u64 *spte = vcpu->arch.last_pte_updated;
Avi Kivity12b7d282007-09-23 14:10:49 +02003122
Sheng Yang7b523452008-04-25 21:13:50 +08003123 return !!(spte && (*spte & shadow_accessed_mask));
Avi Kivity12b7d282007-09-23 14:10:49 +02003124}
3125
Avi Kivity1b7fcd32008-05-15 13:51:35 +03003126static void kvm_mmu_access_page(struct kvm_vcpu *vcpu, gfn_t gfn)
3127{
3128 u64 *spte = vcpu->arch.last_pte_updated;
3129
3130 if (spte
3131 && vcpu->arch.last_pte_gfn == gfn
3132 && shadow_accessed_mask
3133 && !(*spte & shadow_accessed_mask)
3134 && is_shadow_present_pte(*spte))
3135 set_bit(PT_ACCESSED_SHIFT, (unsigned long *)spte);
3136}
3137
Avi Kivity09072da2007-05-01 14:16:52 +03003138void kvm_mmu_pte_write(struct kvm_vcpu *vcpu, gpa_t gpa,
Marcelo Tosattiad218f82008-12-01 22:32:05 -02003139 const u8 *new, int bytes,
3140 bool guest_initiated)
Avi Kivityda4a00f2007-01-05 16:36:44 -08003141{
Avi Kivity9b7a0322007-01-05 16:36:45 -08003142 gfn_t gfn = gpa >> PAGE_SHIFT;
Xiao Guangrongfa1de2b2010-07-16 11:19:51 +08003143 union kvm_mmu_page_role mask = { .word = 0 };
Avi Kivity4db35312007-11-21 15:28:32 +02003144 struct kvm_mmu_page *sp;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08003145 struct hlist_node *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003146 LIST_HEAD(invalid_list);
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08003147 u64 entry, gentry, *spte;
3148 unsigned pte_size, page_offset, misaligned, quadrant, offset;
3149 int level, npte, invlpg_counter, r, flooded = 0;
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003150 bool remote_flush, local_flush, zap_page;
3151
Xiao Guangrong332b2072011-05-15 23:20:27 +08003152 /*
3153 * If we don't have indirect shadow pages, it means no page is
3154 * write-protected, so we can exit simply.
3155 */
3156 if (!ACCESS_ONCE(vcpu->kvm->arch.indirect_shadow_pages))
3157 return;
3158
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003159 zap_page = remote_flush = local_flush = false;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08003160 offset = offset_in_page(gpa);
Avi Kivity9b7a0322007-01-05 16:36:45 -08003161
Harvey Harrisonb8688d52008-03-03 12:59:56 -08003162 pgprintk("%s: gpa %llx bytes %d\n", __func__, gpa, bytes);
Avi Kivity72016f32010-03-15 13:59:53 +02003163
Avi Kivity08e850c2010-03-15 13:59:57 +02003164 invlpg_counter = atomic_read(&vcpu->kvm->arch.invlpg_counter);
3165
3166 /*
3167 * Assume that the pte write on a page table of the same type
Xiao Guangrong49b26e22011-03-04 19:00:00 +08003168 * as the current vcpu paging mode since we update the sptes only
3169 * when they have the same mode.
Avi Kivity08e850c2010-03-15 13:59:57 +02003170 */
3171 if ((is_pae(vcpu) && bytes == 4) || !new) {
3172 /* Handle a 32-bit guest writing two halves of a 64-bit gpte */
3173 if (is_pae(vcpu)) {
3174 gpa &= ~(gpa_t)7;
3175 bytes = 8;
3176 }
3177 r = kvm_read_guest(vcpu->kvm, gpa, &gentry, min(bytes, 8));
3178 if (r)
3179 gentry = 0;
3180 new = (const u8 *)&gentry;
3181 }
3182
Avi Kivity72016f32010-03-15 13:59:53 +02003183 switch (bytes) {
3184 case 4:
3185 gentry = *(const u32 *)new;
3186 break;
3187 case 8:
3188 gentry = *(const u64 *)new;
3189 break;
3190 default:
3191 gentry = 0;
3192 break;
3193 }
3194
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003195 spin_lock(&vcpu->kvm->mmu_lock);
Avi Kivity08e850c2010-03-15 13:59:57 +02003196 if (atomic_read(&vcpu->kvm->arch.invlpg_counter) != invlpg_counter)
3197 gentry = 0;
Avi Kivityeb787d12007-12-31 15:27:49 +02003198 kvm_mmu_free_some_pages(vcpu);
Avi Kivity4cee5762007-11-18 16:37:07 +02003199 ++vcpu->kvm->stat.mmu_pte_write;
Xiao Guangrong8b1fe172010-08-30 18:22:53 +08003200 trace_kvm_mmu_audit(vcpu, AUDIT_PRE_PTE_WRITE);
Marcelo Tosattiad218f82008-12-01 22:32:05 -02003201 if (guest_initiated) {
Xiao Guangrong1b7fd452011-03-04 18:58:02 +08003202 kvm_mmu_access_page(vcpu, gfn);
Marcelo Tosattiad218f82008-12-01 22:32:05 -02003203 if (gfn == vcpu->arch.last_pt_write_gfn
3204 && !last_updated_pte_accessed(vcpu)) {
3205 ++vcpu->arch.last_pt_write_count;
3206 if (vcpu->arch.last_pt_write_count >= 3)
3207 flooded = 1;
3208 } else {
3209 vcpu->arch.last_pt_write_gfn = gfn;
3210 vcpu->arch.last_pt_write_count = 1;
3211 vcpu->arch.last_pte_updated = NULL;
3212 }
Avi Kivity86a5ba02007-01-05 16:36:50 -08003213 }
Xiao Guangrong3246af02010-04-16 16:35:54 +08003214
Xiao Guangrongfa1de2b2010-07-16 11:19:51 +08003215 mask.cr0_wp = mask.cr4_pae = mask.nxe = 1;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08003216 for_each_gfn_indirect_valid_sp(vcpu->kvm, sp, gfn, node) {
Avi Kivity5b7e0102010-04-14 19:20:03 +03003217 pte_size = sp->role.cr4_pae ? 8 : 4;
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08003218 misaligned = (offset ^ (offset + bytes - 1)) & ~(pte_size - 1);
Avi Kivitye925c5b2007-04-30 14:47:02 +03003219 misaligned |= bytes < 4;
Avi Kivity86a5ba02007-01-05 16:36:50 -08003220 if (misaligned || flooded) {
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08003221 /*
3222 * Misaligned accesses are too much trouble to fix
3223 * up; also, they usually indicate a page is not used
3224 * as a page table.
Avi Kivity86a5ba02007-01-05 16:36:50 -08003225 *
3226 * If we're seeing too many writes to a page,
3227 * it may no longer be a page table, or we may be
3228 * forking, in which case it is better to unmap the
3229 * page.
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08003230 */
3231 pgprintk("misaligned: gpa %llx bytes %d role %x\n",
Avi Kivity4db35312007-11-21 15:28:32 +02003232 gpa, bytes, sp->role.word);
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003233 zap_page |= !!kvm_mmu_prepare_zap_page(vcpu->kvm, sp,
Xiao Guangrongf41d3352010-06-04 21:56:11 +08003234 &invalid_list);
Avi Kivity4cee5762007-11-18 16:37:07 +02003235 ++vcpu->kvm->stat.mmu_flooded;
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08003236 continue;
3237 }
Avi Kivity9b7a0322007-01-05 16:36:45 -08003238 page_offset = offset;
Avi Kivity4db35312007-11-21 15:28:32 +02003239 level = sp->role.level;
Avi Kivityac1b7142007-03-08 17:13:32 +02003240 npte = 1;
Avi Kivity5b7e0102010-04-14 19:20:03 +03003241 if (!sp->role.cr4_pae) {
Avi Kivityac1b7142007-03-08 17:13:32 +02003242 page_offset <<= 1; /* 32->64 */
3243 /*
3244 * A 32-bit pde maps 4MB while the shadow pdes map
3245 * only 2MB. So we need to double the offset again
3246 * and zap two pdes instead of one.
3247 */
3248 if (level == PT32_ROOT_LEVEL) {
Avi Kivity6b8d0f92007-04-18 11:18:18 +03003249 page_offset &= ~7; /* kill rounding error */
Avi Kivityac1b7142007-03-08 17:13:32 +02003250 page_offset <<= 1;
3251 npte = 2;
3252 }
Avi Kivityfce06572007-05-01 16:44:05 +03003253 quadrant = page_offset >> PAGE_SHIFT;
Avi Kivity9b7a0322007-01-05 16:36:45 -08003254 page_offset &= ~PAGE_MASK;
Avi Kivity4db35312007-11-21 15:28:32 +02003255 if (quadrant != sp->role.quadrant)
Avi Kivityfce06572007-05-01 16:44:05 +03003256 continue;
Avi Kivity9b7a0322007-01-05 16:36:45 -08003257 }
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003258 local_flush = true;
Avi Kivity4db35312007-11-21 15:28:32 +02003259 spte = &sp->spt[page_offset / sizeof(*spte)];
Avi Kivityac1b7142007-03-08 17:13:32 +02003260 while (npte--) {
Avi Kivity79539ce2007-11-21 02:06:21 +02003261 entry = *spte;
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08003262 mmu_page_zap_pte(vcpu->kvm, sp, spte);
Xiao Guangrongfa1de2b2010-07-16 11:19:51 +08003263 if (gentry &&
3264 !((sp->role.word ^ vcpu->arch.mmu.base_role.word)
3265 & mask.word))
Xiao Guangrong7c562522011-03-28 10:29:27 +08003266 mmu_pte_write_new_pte(vcpu, sp, spte, &gentry);
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003267 if (!remote_flush && need_remote_flush(entry, *spte))
3268 remote_flush = true;
Avi Kivityac1b7142007-03-08 17:13:32 +02003269 ++spte;
Avi Kivity9b7a0322007-01-05 16:36:45 -08003270 }
Avi Kivity9b7a0322007-01-05 16:36:45 -08003271 }
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003272 mmu_pte_write_flush_tlb(vcpu, zap_page, remote_flush, local_flush);
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003273 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Xiao Guangrong8b1fe172010-08-30 18:22:53 +08003274 trace_kvm_mmu_audit(vcpu, AUDIT_POST_PTE_WRITE);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003275 spin_unlock(&vcpu->kvm->mmu_lock);
Avi Kivityda4a00f2007-01-05 16:36:44 -08003276}
3277
Avi Kivitya4360362007-01-05 16:36:45 -08003278int kvm_mmu_unprotect_page_virt(struct kvm_vcpu *vcpu, gva_t gva)
3279{
Marcelo Tosatti10589a42007-12-20 19:18:22 -05003280 gpa_t gpa;
3281 int r;
Avi Kivitya4360362007-01-05 16:36:45 -08003282
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02003283 if (vcpu->arch.mmu.direct_map)
Avi Kivity60f24782009-08-27 13:37:06 +03003284 return 0;
3285
Gleb Natapov1871c602010-02-10 14:21:32 +02003286 gpa = kvm_mmu_gva_to_gpa_read(vcpu, gva, NULL);
Marcelo Tosatti10589a42007-12-20 19:18:22 -05003287
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003288 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti10589a42007-12-20 19:18:22 -05003289 r = kvm_mmu_unprotect_page(vcpu->kvm, gpa >> PAGE_SHIFT);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003290 spin_unlock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti10589a42007-12-20 19:18:22 -05003291 return r;
Avi Kivitya4360362007-01-05 16:36:45 -08003292}
Avi Kivity577bdc42008-07-19 08:57:05 +03003293EXPORT_SYMBOL_GPL(kvm_mmu_unprotect_page_virt);
Avi Kivitya4360362007-01-05 16:36:45 -08003294
Avi Kivity22d95b12007-09-14 20:26:06 +03003295void __kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu)
Avi Kivityebeace82007-01-05 16:36:47 -08003296{
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003297 LIST_HEAD(invalid_list);
Xiao Guangrong103ad252010-06-04 21:54:38 +08003298
Dave Hansene0df7b92010-08-19 18:11:05 -07003299 while (kvm_mmu_available_pages(vcpu->kvm) < KVM_REFILL_PAGES &&
Izik Eidus3b80fff2009-07-28 15:26:58 -03003300 !list_empty(&vcpu->kvm->arch.active_mmu_pages)) {
Avi Kivity4db35312007-11-21 15:28:32 +02003301 struct kvm_mmu_page *sp;
Avi Kivityebeace82007-01-05 16:36:47 -08003302
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08003303 sp = container_of(vcpu->kvm->arch.active_mmu_pages.prev,
Avi Kivity4db35312007-11-21 15:28:32 +02003304 struct kvm_mmu_page, link);
Dave Hansene0df7b92010-08-19 18:11:05 -07003305 kvm_mmu_prepare_zap_page(vcpu->kvm, sp, &invalid_list);
Xiaotian Feng80b63fa2010-08-24 10:31:07 +08003306 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Avi Kivity4cee5762007-11-18 16:37:07 +02003307 ++vcpu->kvm->stat.mmu_recycled;
Avi Kivityebeace82007-01-05 16:36:47 -08003308 }
3309}
Avi Kivityebeace82007-01-05 16:36:47 -08003310
Andre Przywaradc25e892010-12-21 11:12:07 +01003311int kvm_mmu_page_fault(struct kvm_vcpu *vcpu, gva_t cr2, u32 error_code,
3312 void *insn, int insn_len)
Avi Kivity30677142007-10-28 18:48:59 +02003313{
3314 int r;
3315 enum emulation_result er;
3316
Gleb Natapov56028d02010-10-17 18:13:42 +02003317 r = vcpu->arch.mmu.page_fault(vcpu, cr2, error_code, false);
Avi Kivity30677142007-10-28 18:48:59 +02003318 if (r < 0)
3319 goto out;
3320
3321 if (!r) {
3322 r = 1;
3323 goto out;
3324 }
3325
Avi Kivityb733bfb2007-10-28 18:52:05 +02003326 r = mmu_topup_memory_caches(vcpu);
3327 if (r)
3328 goto out;
3329
Andre Przywaradc25e892010-12-21 11:12:07 +01003330 er = x86_emulate_instruction(vcpu, cr2, 0, insn, insn_len);
Avi Kivity30677142007-10-28 18:48:59 +02003331
3332 switch (er) {
3333 case EMULATE_DONE:
3334 return 1;
3335 case EMULATE_DO_MMIO:
3336 ++vcpu->stat.mmio_exits;
Gleb Natapov6d77dbf2010-05-10 11:16:56 +03003337 /* fall through */
Avi Kivity30677142007-10-28 18:48:59 +02003338 case EMULATE_FAIL:
Avi Kivity3f5d18a2009-06-11 15:43:28 +03003339 return 0;
Avi Kivity30677142007-10-28 18:48:59 +02003340 default:
3341 BUG();
3342 }
3343out:
Avi Kivity30677142007-10-28 18:48:59 +02003344 return r;
3345}
3346EXPORT_SYMBOL_GPL(kvm_mmu_page_fault);
3347
Marcelo Tosattia7052892008-09-23 13:18:35 -03003348void kvm_mmu_invlpg(struct kvm_vcpu *vcpu, gva_t gva)
3349{
Marcelo Tosattia7052892008-09-23 13:18:35 -03003350 vcpu->arch.mmu.invlpg(vcpu, gva);
Marcelo Tosattia7052892008-09-23 13:18:35 -03003351 kvm_mmu_flush_tlb(vcpu);
3352 ++vcpu->stat.invlpg;
3353}
3354EXPORT_SYMBOL_GPL(kvm_mmu_invlpg);
3355
Joerg Roedel18552672008-02-07 13:47:41 +01003356void kvm_enable_tdp(void)
3357{
3358 tdp_enabled = true;
3359}
3360EXPORT_SYMBOL_GPL(kvm_enable_tdp);
3361
Joerg Roedel5f4cb662008-07-14 20:36:36 +02003362void kvm_disable_tdp(void)
3363{
3364 tdp_enabled = false;
3365}
3366EXPORT_SYMBOL_GPL(kvm_disable_tdp);
3367
Avi Kivity6aa8b732006-12-10 02:21:36 -08003368static void free_mmu_pages(struct kvm_vcpu *vcpu)
3369{
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003370 free_page((unsigned long)vcpu->arch.mmu.pae_root);
Joerg Roedel81407ca2010-09-10 17:31:00 +02003371 if (vcpu->arch.mmu.lm_root != NULL)
3372 free_page((unsigned long)vcpu->arch.mmu.lm_root);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003373}
3374
3375static int alloc_mmu_pages(struct kvm_vcpu *vcpu)
3376{
Avi Kivity17ac10a2007-01-05 16:36:40 -08003377 struct page *page;
Avi Kivity6aa8b732006-12-10 02:21:36 -08003378 int i;
3379
3380 ASSERT(vcpu);
3381
Avi Kivity17ac10a2007-01-05 16:36:40 -08003382 /*
3383 * When emulating 32-bit mode, cr3 is only 32 bits even on x86_64.
3384 * Therefore we need to allocate shadow page tables in the first
3385 * 4GB of memory, which happens to fit the DMA32 zone.
3386 */
3387 page = alloc_page(GFP_KERNEL | __GFP_DMA32);
3388 if (!page)
Wei Yongjund7fa6ab2010-01-22 16:55:05 +08003389 return -ENOMEM;
3390
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003391 vcpu->arch.mmu.pae_root = page_address(page);
Avi Kivity17ac10a2007-01-05 16:36:40 -08003392 for (i = 0; i < 4; ++i)
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003393 vcpu->arch.mmu.pae_root[i] = INVALID_PAGE;
Avi Kivity17ac10a2007-01-05 16:36:40 -08003394
Avi Kivity6aa8b732006-12-10 02:21:36 -08003395 return 0;
Avi Kivity6aa8b732006-12-10 02:21:36 -08003396}
3397
Ingo Molnar8018c272006-12-29 16:50:01 -08003398int kvm_mmu_create(struct kvm_vcpu *vcpu)
Avi Kivity6aa8b732006-12-10 02:21:36 -08003399{
Avi Kivity6aa8b732006-12-10 02:21:36 -08003400 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003401 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity6aa8b732006-12-10 02:21:36 -08003402
Ingo Molnar8018c272006-12-29 16:50:01 -08003403 return alloc_mmu_pages(vcpu);
3404}
Avi Kivity6aa8b732006-12-10 02:21:36 -08003405
Ingo Molnar8018c272006-12-29 16:50:01 -08003406int kvm_mmu_setup(struct kvm_vcpu *vcpu)
3407{
3408 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003409 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity2c264952006-12-22 01:05:28 -08003410
Ingo Molnar8018c272006-12-29 16:50:01 -08003411 return init_kvm_mmu(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003412}
3413
Avi Kivity90cb0522007-07-17 13:04:56 +03003414void kvm_mmu_slot_remove_write_access(struct kvm *kvm, int slot)
Avi Kivity6aa8b732006-12-10 02:21:36 -08003415{
Avi Kivity4db35312007-11-21 15:28:32 +02003416 struct kvm_mmu_page *sp;
Avi Kivity6aa8b732006-12-10 02:21:36 -08003417
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08003418 list_for_each_entry(sp, &kvm->arch.active_mmu_pages, link) {
Avi Kivity6aa8b732006-12-10 02:21:36 -08003419 int i;
3420 u64 *pt;
3421
Sheng Yang291f26b2008-10-16 17:30:57 +08003422 if (!test_bit(slot, sp->slot_bitmap))
Avi Kivity6aa8b732006-12-10 02:21:36 -08003423 continue;
3424
Avi Kivity4db35312007-11-21 15:28:32 +02003425 pt = sp->spt;
Avi Kivity8234b222010-12-27 12:08:45 +02003426 for (i = 0; i < PT64_ENT_PER_PAGE; ++i) {
Xiao Guangrongda8dc752011-03-04 18:56:41 +08003427 if (!is_shadow_present_pte(pt[i]) ||
3428 !is_last_spte(pt[i], sp->role.level))
3429 continue;
3430
3431 if (is_large_pte(pt[i])) {
Avi Kivity8234b222010-12-27 12:08:45 +02003432 drop_spte(kvm, &pt[i],
3433 shadow_trap_nonpresent_pte);
3434 --kvm->stat.lpages;
Xiao Guangrongda8dc752011-03-04 18:56:41 +08003435 continue;
Avi Kivity8234b222010-12-27 12:08:45 +02003436 }
Xiao Guangrongda8dc752011-03-04 18:56:41 +08003437
Avi Kivity6aa8b732006-12-10 02:21:36 -08003438 /* avoid RMW */
Gui Jianfeng01c168a2010-05-27 16:09:48 +08003439 if (is_writable_pte(pt[i]))
Takuya Yoshikawa700e1b12010-12-06 01:11:33 +09003440 update_spte(&pt[i], pt[i] & ~PT_WRITABLE_MASK);
Avi Kivity8234b222010-12-27 12:08:45 +02003441 }
Avi Kivity6aa8b732006-12-10 02:21:36 -08003442 }
Avi Kivity171d5952008-08-27 16:40:51 +03003443 kvm_flush_remote_tlbs(kvm);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003444}
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003445
Avi Kivity90cb0522007-07-17 13:04:56 +03003446void kvm_mmu_zap_all(struct kvm *kvm)
Dor Laore0fa8262007-03-30 13:06:33 +03003447{
Avi Kivity4db35312007-11-21 15:28:32 +02003448 struct kvm_mmu_page *sp, *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003449 LIST_HEAD(invalid_list);
Dor Laore0fa8262007-03-30 13:06:33 +03003450
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003451 spin_lock(&kvm->mmu_lock);
Xiao Guangrong3246af02010-04-16 16:35:54 +08003452restart:
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08003453 list_for_each_entry_safe(sp, node, &kvm->arch.active_mmu_pages, link)
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003454 if (kvm_mmu_prepare_zap_page(kvm, sp, &invalid_list))
Xiao Guangrong3246af02010-04-16 16:35:54 +08003455 goto restart;
3456
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003457 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003458 spin_unlock(&kvm->mmu_lock);
Dor Laore0fa8262007-03-30 13:06:33 +03003459}
3460
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003461static int kvm_mmu_remove_some_alloc_mmu_pages(struct kvm *kvm,
3462 struct list_head *invalid_list)
Izik Eidus3ee16c82008-03-30 15:17:21 +03003463{
3464 struct kvm_mmu_page *page;
3465
3466 page = container_of(kvm->arch.active_mmu_pages.prev,
3467 struct kvm_mmu_page, link);
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003468 return kvm_mmu_prepare_zap_page(kvm, page, invalid_list);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003469}
3470
Ying Han1495f232011-05-24 17:12:27 -07003471static int mmu_shrink(struct shrinker *shrink, struct shrink_control *sc)
Izik Eidus3ee16c82008-03-30 15:17:21 +03003472{
3473 struct kvm *kvm;
3474 struct kvm *kvm_freed = NULL;
Ying Han1495f232011-05-24 17:12:27 -07003475 int nr_to_scan = sc->nr_to_scan;
Dave Hansen45221ab2010-08-19 18:11:37 -07003476
3477 if (nr_to_scan == 0)
3478 goto out;
Izik Eidus3ee16c82008-03-30 15:17:21 +03003479
Jan Kiszkae935b832011-02-08 12:55:33 +01003480 raw_spin_lock(&kvm_lock);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003481
3482 list_for_each_entry(kvm, &vm_list, vm_list) {
Dave Hansen45221ab2010-08-19 18:11:37 -07003483 int idx, freed_pages;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003484 LIST_HEAD(invalid_list);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003485
Marcelo Tosattif656ce02009-12-23 14:35:25 -02003486 idx = srcu_read_lock(&kvm->srcu);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003487 spin_lock(&kvm->mmu_lock);
Dave Hansen45221ab2010-08-19 18:11:37 -07003488 if (!kvm_freed && nr_to_scan > 0 &&
3489 kvm->arch.n_used_mmu_pages > 0) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003490 freed_pages = kvm_mmu_remove_some_alloc_mmu_pages(kvm,
3491 &invalid_list);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003492 kvm_freed = kvm;
3493 }
3494 nr_to_scan--;
3495
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003496 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003497 spin_unlock(&kvm->mmu_lock);
Marcelo Tosattif656ce02009-12-23 14:35:25 -02003498 srcu_read_unlock(&kvm->srcu, idx);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003499 }
3500 if (kvm_freed)
3501 list_move_tail(&kvm_freed->vm_list, &vm_list);
3502
Jan Kiszkae935b832011-02-08 12:55:33 +01003503 raw_spin_unlock(&kvm_lock);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003504
Dave Hansen45221ab2010-08-19 18:11:37 -07003505out:
3506 return percpu_counter_read_positive(&kvm_total_used_mmu_pages);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003507}
3508
3509static struct shrinker mmu_shrinker = {
3510 .shrink = mmu_shrink,
3511 .seeks = DEFAULT_SEEKS * 10,
3512};
3513
Ingo Molnar2ddfd202008-05-22 10:37:48 +02003514static void mmu_destroy_caches(void)
Avi Kivityb5a33a72007-04-15 16:31:09 +03003515{
Xiao Guangrong53c07b12011-05-15 23:26:20 +08003516 if (pte_list_desc_cache)
3517 kmem_cache_destroy(pte_list_desc_cache);
Avi Kivityd3d25b02007-05-30 12:34:53 +03003518 if (mmu_page_header_cache)
3519 kmem_cache_destroy(mmu_page_header_cache);
Avi Kivityb5a33a72007-04-15 16:31:09 +03003520}
3521
3522int kvm_mmu_module_init(void)
3523{
Xiao Guangrong53c07b12011-05-15 23:26:20 +08003524 pte_list_desc_cache = kmem_cache_create("pte_list_desc",
3525 sizeof(struct pte_list_desc),
Paul Mundt20c2df82007-07-20 10:11:58 +09003526 0, 0, NULL);
Xiao Guangrong53c07b12011-05-15 23:26:20 +08003527 if (!pte_list_desc_cache)
Avi Kivityb5a33a72007-04-15 16:31:09 +03003528 goto nomem;
3529
Avi Kivityd3d25b02007-05-30 12:34:53 +03003530 mmu_page_header_cache = kmem_cache_create("kvm_mmu_page_header",
3531 sizeof(struct kvm_mmu_page),
Paul Mundt20c2df82007-07-20 10:11:58 +09003532 0, 0, NULL);
Avi Kivityd3d25b02007-05-30 12:34:53 +03003533 if (!mmu_page_header_cache)
3534 goto nomem;
3535
Wei Yongjun45bf21a2010-08-23 16:13:15 +08003536 if (percpu_counter_init(&kvm_total_used_mmu_pages, 0))
3537 goto nomem;
3538
Izik Eidus3ee16c82008-03-30 15:17:21 +03003539 register_shrinker(&mmu_shrinker);
3540
Avi Kivityb5a33a72007-04-15 16:31:09 +03003541 return 0;
3542
3543nomem:
Izik Eidus3ee16c82008-03-30 15:17:21 +03003544 mmu_destroy_caches();
Avi Kivityb5a33a72007-04-15 16:31:09 +03003545 return -ENOMEM;
3546}
3547
Zhang Xiantao3ad82a72007-11-20 13:11:38 +08003548/*
3549 * Caculate mmu pages needed for kvm.
3550 */
3551unsigned int kvm_mmu_calculate_mmu_pages(struct kvm *kvm)
3552{
3553 int i;
3554 unsigned int nr_mmu_pages;
3555 unsigned int nr_pages = 0;
Marcelo Tosattibc6678a2009-12-23 14:35:21 -02003556 struct kvm_memslots *slots;
Zhang Xiantao3ad82a72007-11-20 13:11:38 +08003557
Lai Jiangshan90d83dc2010-04-19 17:41:23 +08003558 slots = kvm_memslots(kvm);
3559
Marcelo Tosattibc6678a2009-12-23 14:35:21 -02003560 for (i = 0; i < slots->nmemslots; i++)
3561 nr_pages += slots->memslots[i].npages;
Zhang Xiantao3ad82a72007-11-20 13:11:38 +08003562
3563 nr_mmu_pages = nr_pages * KVM_PERMILLE_MMU_PAGES / 1000;
3564 nr_mmu_pages = max(nr_mmu_pages,
3565 (unsigned int) KVM_MIN_ALLOC_MMU_PAGES);
3566
3567 return nr_mmu_pages;
3568}
3569
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003570static void *pv_mmu_peek_buffer(struct kvm_pv_mmu_op_buffer *buffer,
3571 unsigned len)
3572{
3573 if (len > buffer->len)
3574 return NULL;
3575 return buffer->ptr;
3576}
3577
3578static void *pv_mmu_read_buffer(struct kvm_pv_mmu_op_buffer *buffer,
3579 unsigned len)
3580{
3581 void *ret;
3582
3583 ret = pv_mmu_peek_buffer(buffer, len);
3584 if (!ret)
3585 return ret;
3586 buffer->ptr += len;
3587 buffer->len -= len;
3588 buffer->processed += len;
3589 return ret;
3590}
3591
3592static int kvm_pv_mmu_write(struct kvm_vcpu *vcpu,
3593 gpa_t addr, gpa_t value)
3594{
3595 int bytes = 8;
3596 int r;
3597
3598 if (!is_long_mode(vcpu) && !is_pae(vcpu))
3599 bytes = 4;
3600
3601 r = mmu_topup_memory_caches(vcpu);
3602 if (r)
3603 return r;
3604
Marcelo Tosatti3200f402008-03-29 20:17:59 -03003605 if (!emulator_write_phys(vcpu, addr, &value, bytes))
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003606 return -EFAULT;
3607
3608 return 1;
3609}
3610
3611static int kvm_pv_mmu_flush_tlb(struct kvm_vcpu *vcpu)
3612{
Avi Kivity9f8fe502010-12-05 17:30:00 +02003613 (void)kvm_set_cr3(vcpu, kvm_read_cr3(vcpu));
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003614 return 1;
3615}
3616
3617static int kvm_pv_mmu_release_pt(struct kvm_vcpu *vcpu, gpa_t addr)
3618{
3619 spin_lock(&vcpu->kvm->mmu_lock);
3620 mmu_unshadow(vcpu->kvm, addr >> PAGE_SHIFT);
3621 spin_unlock(&vcpu->kvm->mmu_lock);
3622 return 1;
3623}
3624
3625static int kvm_pv_mmu_op_one(struct kvm_vcpu *vcpu,
3626 struct kvm_pv_mmu_op_buffer *buffer)
3627{
3628 struct kvm_mmu_op_header *header;
3629
3630 header = pv_mmu_peek_buffer(buffer, sizeof *header);
3631 if (!header)
3632 return 0;
3633 switch (header->op) {
3634 case KVM_MMU_OP_WRITE_PTE: {
3635 struct kvm_mmu_op_write_pte *wpte;
3636
3637 wpte = pv_mmu_read_buffer(buffer, sizeof *wpte);
3638 if (!wpte)
3639 return 0;
3640 return kvm_pv_mmu_write(vcpu, wpte->pte_phys,
3641 wpte->pte_val);
3642 }
3643 case KVM_MMU_OP_FLUSH_TLB: {
3644 struct kvm_mmu_op_flush_tlb *ftlb;
3645
3646 ftlb = pv_mmu_read_buffer(buffer, sizeof *ftlb);
3647 if (!ftlb)
3648 return 0;
3649 return kvm_pv_mmu_flush_tlb(vcpu);
3650 }
3651 case KVM_MMU_OP_RELEASE_PT: {
3652 struct kvm_mmu_op_release_pt *rpt;
3653
3654 rpt = pv_mmu_read_buffer(buffer, sizeof *rpt);
3655 if (!rpt)
3656 return 0;
3657 return kvm_pv_mmu_release_pt(vcpu, rpt->pt_phys);
3658 }
3659 default: return 0;
3660 }
3661}
3662
3663int kvm_pv_mmu_op(struct kvm_vcpu *vcpu, unsigned long bytes,
3664 gpa_t addr, unsigned long *ret)
3665{
3666 int r;
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003667 struct kvm_pv_mmu_op_buffer *buffer = &vcpu->arch.mmu_op_buffer;
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003668
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003669 buffer->ptr = buffer->buf;
3670 buffer->len = min_t(unsigned long, bytes, sizeof buffer->buf);
3671 buffer->processed = 0;
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003672
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003673 r = kvm_read_guest(vcpu->kvm, addr, buffer->buf, buffer->len);
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003674 if (r)
3675 goto out;
3676
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003677 while (buffer->len) {
3678 r = kvm_pv_mmu_op_one(vcpu, buffer);
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003679 if (r < 0)
3680 goto out;
3681 if (r == 0)
3682 break;
3683 }
3684
3685 r = 1;
3686out:
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003687 *ret = buffer->processed;
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003688 return r;
3689}
3690
Marcelo Tosatti94d8b052009-06-11 12:07:42 -03003691int kvm_mmu_get_spte_hierarchy(struct kvm_vcpu *vcpu, u64 addr, u64 sptes[4])
3692{
3693 struct kvm_shadow_walk_iterator iterator;
3694 int nr_sptes = 0;
3695
3696 spin_lock(&vcpu->kvm->mmu_lock);
3697 for_each_shadow_entry(vcpu, addr, iterator) {
3698 sptes[iterator.level-1] = *iterator.sptep;
3699 nr_sptes++;
3700 if (!is_shadow_present_pte(*iterator.sptep))
3701 break;
3702 }
3703 spin_unlock(&vcpu->kvm->mmu_lock);
3704
3705 return nr_sptes;
3706}
3707EXPORT_SYMBOL_GPL(kvm_mmu_get_spte_hierarchy);
3708
Xiao Guangrongc42fffe2010-09-27 18:07:07 +08003709void kvm_mmu_destroy(struct kvm_vcpu *vcpu)
3710{
3711 ASSERT(vcpu);
3712
3713 destroy_kvm_mmu(vcpu);
3714 free_mmu_pages(vcpu);
3715 mmu_free_memory_caches(vcpu);
Xiao Guangrongb034cf02010-12-23 16:08:35 +08003716}
3717
3718#ifdef CONFIG_KVM_MMU_AUDIT
3719#include "mmu_audit.c"
3720#else
3721static void mmu_audit_disable(void) { }
3722#endif
3723
3724void kvm_mmu_module_exit(void)
3725{
3726 mmu_destroy_caches();
3727 percpu_counter_destroy(&kvm_total_used_mmu_pages);
3728 unregister_shrinker(&mmu_shrinker);
Xiao Guangrongc42fffe2010-09-27 18:07:07 +08003729 mmu_audit_disable();
3730}