blob: da0f3b0810765e04de2eda2cd167d693f9f35a55 [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 Kivity3dbe1412010-05-12 11:48:18 +0300220static bool is_write_protection(struct kvm_vcpu *vcpu)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800221{
Avi Kivity4d4ec082009-12-29 18:07:30 +0200222 return kvm_read_cr0_bits(vcpu, X86_CR0_WP);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800223}
224
225static int is_cpuid_PSE36(void)
226{
227 return 1;
228}
229
Avi Kivity73b10872007-01-26 00:56:41 -0800230static int is_nx(struct kvm_vcpu *vcpu)
231{
Avi Kivityf6801df2010-01-21 15:31:50 +0200232 return vcpu->arch.efer & EFER_NX;
Avi Kivity73b10872007-01-26 00:56:41 -0800233}
234
Avi Kivityc7addb92007-09-16 18:58:32 +0200235static int is_shadow_present_pte(u64 pte)
236{
Avi Kivityc7addb92007-09-16 18:58:32 +0200237 return pte != shadow_trap_nonpresent_pte
238 && pte != shadow_notrap_nonpresent_pte;
239}
240
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300241static int is_large_pte(u64 pte)
242{
243 return pte & PT_PAGE_SIZE_MASK;
244}
245
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +0900246static int is_writable_pte(unsigned long pte)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800247{
248 return pte & PT_WRITABLE_MASK;
249}
250
Avi Kivity43a37952009-06-10 14:12:05 +0300251static int is_dirty_gpte(unsigned long pte)
Avi Kivitye3c5e7ec2007-10-11 12:32:30 +0200252{
Avi Kivity439e2182009-06-10 12:56:54 +0300253 return pte & PT_DIRTY_MASK;
Avi Kivitye3c5e7ec2007-10-11 12:32:30 +0200254}
255
Avi Kivity43a37952009-06-10 14:12:05 +0300256static int is_rmap_spte(u64 pte)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800257{
Avi Kivity4b1a80f2008-03-23 12:18:19 +0200258 return is_shadow_present_pte(pte);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800259}
260
Marcelo Tosatti776e6632009-06-10 12:27:03 -0300261static int is_last_spte(u64 pte, int level)
262{
263 if (level == PT_PAGE_TABLE_LEVEL)
264 return 1;
Joerg Roedel852e3c12009-07-27 16:30:44 +0200265 if (is_large_pte(pte))
Marcelo Tosatti776e6632009-06-10 12:27:03 -0300266 return 1;
267 return 0;
268}
269
Anthony Liguori35149e22008-04-02 14:46:56 -0500270static pfn_t spte_to_pfn(u64 pte)
Avi Kivity0b49ea82008-03-23 15:06:23 +0200271{
Anthony Liguori35149e22008-04-02 14:46:56 -0500272 return (pte & PT64_BASE_ADDR_MASK) >> PAGE_SHIFT;
Avi Kivity0b49ea82008-03-23 15:06:23 +0200273}
274
Avi Kivityda928522007-11-21 13:54:47 +0200275static gfn_t pse36_gfn_delta(u32 gpte)
276{
277 int shift = 32 - PT32_DIR_PSE36_SHIFT - PAGE_SHIFT;
278
279 return (gpte & PT32_DIR_PSE36_MASK) << shift;
280}
281
Avi Kivityd555c332009-06-10 14:24:23 +0300282static void __set_spte(u64 *sptep, u64 spte)
Avi Kivitye663ee62007-05-31 15:46:04 +0300283{
H. Peter Anvin7645e432010-08-06 12:18:11 -0700284 set_64bit(sptep, spte);
Avi Kivitye663ee62007-05-31 15:46:04 +0300285}
286
Avi Kivitya9221dd2010-06-06 14:48:06 +0300287static u64 __xchg_spte(u64 *sptep, u64 new_spte)
288{
289#ifdef CONFIG_X86_64
290 return xchg(sptep, new_spte);
291#else
292 u64 old_spte;
293
294 do {
295 old_spte = *sptep;
296 } while (cmpxchg64(sptep, old_spte, new_spte) != old_spte);
297
298 return old_spte;
299#endif
300}
301
Xiao Guangrong8672b722010-08-02 16:14:04 +0800302static bool spte_has_volatile_bits(u64 spte)
303{
304 if (!shadow_accessed_mask)
305 return false;
306
307 if (!is_shadow_present_pte(spte))
308 return false;
309
Xiao Guangrong41327792010-08-02 16:15:08 +0800310 if ((spte & shadow_accessed_mask) &&
311 (!is_writable_pte(spte) || (spte & shadow_dirty_mask)))
Xiao Guangrong8672b722010-08-02 16:14:04 +0800312 return false;
313
314 return true;
315}
316
Xiao Guangrong41327792010-08-02 16:15:08 +0800317static bool spte_is_bit_cleared(u64 old_spte, u64 new_spte, u64 bit_mask)
318{
319 return (old_spte & bit_mask) && !(new_spte & bit_mask);
320}
321
Avi Kivityb79b93f2010-06-06 15:46:44 +0300322static void update_spte(u64 *sptep, u64 new_spte)
323{
Xiao Guangrong41327792010-08-02 16:15:08 +0800324 u64 mask, old_spte = *sptep;
Avi Kivityb79b93f2010-06-06 15:46:44 +0300325
Xiao Guangrong41327792010-08-02 16:15:08 +0800326 WARN_ON(!is_rmap_spte(new_spte));
327
328 new_spte |= old_spte & shadow_dirty_mask;
329
330 mask = shadow_accessed_mask;
331 if (is_writable_pte(old_spte))
332 mask |= shadow_dirty_mask;
333
334 if (!spte_has_volatile_bits(old_spte) || (new_spte & mask) == mask)
Avi Kivityb79b93f2010-06-06 15:46:44 +0300335 __set_spte(sptep, new_spte);
Xiao Guangrong41327792010-08-02 16:15:08 +0800336 else
Avi Kivityb79b93f2010-06-06 15:46:44 +0300337 old_spte = __xchg_spte(sptep, new_spte);
Xiao Guangrong41327792010-08-02 16:15:08 +0800338
339 if (!shadow_accessed_mask)
340 return;
341
342 if (spte_is_bit_cleared(old_spte, new_spte, shadow_accessed_mask))
343 kvm_set_pfn_accessed(spte_to_pfn(old_spte));
344 if (spte_is_bit_cleared(old_spte, new_spte, shadow_dirty_mask))
345 kvm_set_pfn_dirty(spte_to_pfn(old_spte));
Avi Kivityb79b93f2010-06-06 15:46:44 +0300346}
347
Avi Kivitye2dec932007-01-05 16:36:54 -0800348static int mmu_topup_memory_cache(struct kvm_mmu_memory_cache *cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300349 struct kmem_cache *base_cache, int min)
Avi Kivity714b93d2007-01-05 16:36:53 -0800350{
351 void *obj;
352
353 if (cache->nobjs >= min)
Avi Kivitye2dec932007-01-05 16:36:54 -0800354 return 0;
Avi Kivity714b93d2007-01-05 16:36:53 -0800355 while (cache->nobjs < ARRAY_SIZE(cache->objects)) {
Avi Kivity2e3e5882007-09-10 11:28:17 +0300356 obj = kmem_cache_zalloc(base_cache, GFP_KERNEL);
Avi Kivity714b93d2007-01-05 16:36:53 -0800357 if (!obj)
Avi Kivitye2dec932007-01-05 16:36:54 -0800358 return -ENOMEM;
Avi Kivity714b93d2007-01-05 16:36:53 -0800359 cache->objects[cache->nobjs++] = obj;
360 }
Avi Kivitye2dec932007-01-05 16:36:54 -0800361 return 0;
Avi Kivity714b93d2007-01-05 16:36:53 -0800362}
363
Xiao Guangronge8ad9a72010-05-13 10:06:02 +0800364static void mmu_free_memory_cache(struct kvm_mmu_memory_cache *mc,
365 struct kmem_cache *cache)
Avi Kivity714b93d2007-01-05 16:36:53 -0800366{
367 while (mc->nobjs)
Xiao Guangronge8ad9a72010-05-13 10:06:02 +0800368 kmem_cache_free(cache, mc->objects[--mc->nobjs]);
Avi Kivity714b93d2007-01-05 16:36:53 -0800369}
370
Avi Kivityc1158e62007-07-20 08:18:27 +0300371static int mmu_topup_memory_cache_page(struct kvm_mmu_memory_cache *cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300372 int min)
Avi Kivityc1158e62007-07-20 08:18:27 +0300373{
Xiao Guangrong842f22e2011-03-04 19:01:10 +0800374 void *page;
Avi Kivityc1158e62007-07-20 08:18:27 +0300375
376 if (cache->nobjs >= min)
377 return 0;
378 while (cache->nobjs < ARRAY_SIZE(cache->objects)) {
Xiao Guangrong842f22e2011-03-04 19:01:10 +0800379 page = (void *)__get_free_page(GFP_KERNEL);
Avi Kivityc1158e62007-07-20 08:18:27 +0300380 if (!page)
381 return -ENOMEM;
Xiao Guangrong842f22e2011-03-04 19:01:10 +0800382 cache->objects[cache->nobjs++] = page;
Avi Kivityc1158e62007-07-20 08:18:27 +0300383 }
384 return 0;
385}
386
387static void mmu_free_memory_cache_page(struct kvm_mmu_memory_cache *mc)
388{
389 while (mc->nobjs)
Avi Kivityc4d198d2007-07-21 09:06:46 +0300390 free_page((unsigned long)mc->objects[--mc->nobjs]);
Avi Kivityc1158e62007-07-20 08:18:27 +0300391}
392
Avi Kivity8c438502007-04-16 11:53:17 +0300393static int mmu_topup_memory_caches(struct kvm_vcpu *vcpu)
394{
395 int r;
396
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800397 r = mmu_topup_memory_cache(&vcpu->arch.mmu_pte_list_desc_cache,
Xiao Guangrong67052b32011-05-15 23:27:08 +0800398 pte_list_desc_cache, 8 + PTE_PREFETCH_NUM);
Avi Kivity2e3e5882007-09-10 11:28:17 +0300399 if (r)
400 goto out;
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800401 r = mmu_topup_memory_cache_page(&vcpu->arch.mmu_page_cache, 8);
Avi Kivity2e3e5882007-09-10 11:28:17 +0300402 if (r)
403 goto out;
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800404 r = mmu_topup_memory_cache(&vcpu->arch.mmu_page_header_cache,
Avi Kivity2e3e5882007-09-10 11:28:17 +0300405 mmu_page_header_cache, 4);
406out:
Avi Kivity8c438502007-04-16 11:53:17 +0300407 return r;
408}
409
Avi Kivity714b93d2007-01-05 16:36:53 -0800410static void mmu_free_memory_caches(struct kvm_vcpu *vcpu)
411{
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800412 mmu_free_memory_cache(&vcpu->arch.mmu_pte_list_desc_cache,
413 pte_list_desc_cache);
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800414 mmu_free_memory_cache_page(&vcpu->arch.mmu_page_cache);
Xiao Guangronge8ad9a72010-05-13 10:06:02 +0800415 mmu_free_memory_cache(&vcpu->arch.mmu_page_header_cache,
416 mmu_page_header_cache);
Avi Kivity714b93d2007-01-05 16:36:53 -0800417}
418
419static void *mmu_memory_cache_alloc(struct kvm_mmu_memory_cache *mc,
420 size_t size)
421{
422 void *p;
423
424 BUG_ON(!mc->nobjs);
425 p = mc->objects[--mc->nobjs];
Avi Kivity714b93d2007-01-05 16:36:53 -0800426 return p;
427}
428
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800429static struct pte_list_desc *mmu_alloc_pte_list_desc(struct kvm_vcpu *vcpu)
Avi Kivity714b93d2007-01-05 16:36:53 -0800430{
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800431 return mmu_memory_cache_alloc(&vcpu->arch.mmu_pte_list_desc_cache,
432 sizeof(struct pte_list_desc));
Avi Kivity714b93d2007-01-05 16:36:53 -0800433}
434
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800435static void mmu_free_pte_list_desc(struct pte_list_desc *pte_list_desc)
Avi Kivity714b93d2007-01-05 16:36:53 -0800436{
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800437 kmem_cache_free(pte_list_desc_cache, pte_list_desc);
Avi Kivity714b93d2007-01-05 16:36:53 -0800438}
439
Lai Jiangshan2032a932010-05-26 16:49:59 +0800440static gfn_t kvm_mmu_page_get_gfn(struct kvm_mmu_page *sp, int index)
441{
442 if (!sp->role.direct)
443 return sp->gfns[index];
444
445 return sp->gfn + (index << ((sp->role.level - 1) * PT64_LEVEL_BITS));
446}
447
448static void kvm_mmu_page_set_gfn(struct kvm_mmu_page *sp, int index, gfn_t gfn)
449{
450 if (sp->role.direct)
451 BUG_ON(gfn != kvm_mmu_page_get_gfn(sp, index));
452 else
453 sp->gfns[index] = gfn;
454}
455
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800456/*
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900457 * Return the pointer to the large page information for a given gfn,
458 * handling slots that are not large page aligned.
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300459 */
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900460static struct kvm_lpage_info *lpage_info_slot(gfn_t gfn,
461 struct kvm_memory_slot *slot,
462 int level)
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300463{
464 unsigned long idx;
465
Joerg Roedel82855412010-07-01 16:00:11 +0200466 idx = (gfn >> KVM_HPAGE_GFN_SHIFT(level)) -
467 (slot->base_gfn >> KVM_HPAGE_GFN_SHIFT(level));
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900468 return &slot->lpage_info[level - 2][idx];
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300469}
470
471static void account_shadowed(struct kvm *kvm, gfn_t gfn)
472{
Joerg Roedeld25797b2009-07-27 16:30:43 +0200473 struct kvm_memory_slot *slot;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900474 struct kvm_lpage_info *linfo;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200475 int i;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300476
Avi Kivitya1f4d392010-06-21 11:44:20 +0300477 slot = gfn_to_memslot(kvm, gfn);
Joerg Roedeld25797b2009-07-27 16:30:43 +0200478 for (i = PT_DIRECTORY_LEVEL;
479 i < PT_PAGE_TABLE_LEVEL + KVM_NR_PAGE_SIZES; ++i) {
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900480 linfo = lpage_info_slot(gfn, slot, i);
481 linfo->write_count += 1;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200482 }
Xiao Guangrong332b2072011-05-15 23:20:27 +0800483 kvm->arch.indirect_shadow_pages++;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300484}
485
486static void unaccount_shadowed(struct kvm *kvm, gfn_t gfn)
487{
Joerg Roedeld25797b2009-07-27 16:30:43 +0200488 struct kvm_memory_slot *slot;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900489 struct kvm_lpage_info *linfo;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200490 int i;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300491
Avi Kivitya1f4d392010-06-21 11:44:20 +0300492 slot = gfn_to_memslot(kvm, gfn);
Joerg Roedeld25797b2009-07-27 16:30:43 +0200493 for (i = PT_DIRECTORY_LEVEL;
494 i < PT_PAGE_TABLE_LEVEL + KVM_NR_PAGE_SIZES; ++i) {
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900495 linfo = lpage_info_slot(gfn, slot, i);
496 linfo->write_count -= 1;
497 WARN_ON(linfo->write_count < 0);
Joerg Roedeld25797b2009-07-27 16:30:43 +0200498 }
Xiao Guangrong332b2072011-05-15 23:20:27 +0800499 kvm->arch.indirect_shadow_pages--;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300500}
501
Joerg Roedeld25797b2009-07-27 16:30:43 +0200502static int has_wrprotected_page(struct kvm *kvm,
503 gfn_t gfn,
504 int level)
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300505{
Izik Eidus28430992008-10-03 17:40:32 +0300506 struct kvm_memory_slot *slot;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900507 struct kvm_lpage_info *linfo;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300508
Avi Kivitya1f4d392010-06-21 11:44:20 +0300509 slot = gfn_to_memslot(kvm, gfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300510 if (slot) {
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900511 linfo = lpage_info_slot(gfn, slot, level);
512 return linfo->write_count;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300513 }
514
515 return 1;
516}
517
Joerg Roedeld25797b2009-07-27 16:30:43 +0200518static int host_mapping_level(struct kvm *kvm, gfn_t gfn)
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300519{
Joerg Roedel8f0b1ab2010-01-28 12:37:56 +0100520 unsigned long page_size;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200521 int i, ret = 0;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300522
Joerg Roedel8f0b1ab2010-01-28 12:37:56 +0100523 page_size = kvm_host_page_size(kvm, gfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300524
Joerg Roedeld25797b2009-07-27 16:30:43 +0200525 for (i = PT_PAGE_TABLE_LEVEL;
526 i < (PT_PAGE_TABLE_LEVEL + KVM_NR_PAGE_SIZES); ++i) {
527 if (page_size >= KVM_HPAGE_SIZE(i))
528 ret = i;
529 else
530 break;
531 }
532
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -0300533 return ret;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300534}
535
Xiao Guangrong5d163b12011-03-09 15:43:00 +0800536static struct kvm_memory_slot *
537gfn_to_memslot_dirty_bitmap(struct kvm_vcpu *vcpu, gfn_t gfn,
538 bool no_dirty_log)
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300539{
540 struct kvm_memory_slot *slot;
Xiao Guangrong5d163b12011-03-09 15:43:00 +0800541
542 slot = gfn_to_memslot(vcpu->kvm, gfn);
543 if (!slot || slot->flags & KVM_MEMSLOT_INVALID ||
544 (no_dirty_log && slot->dirty_bitmap))
545 slot = NULL;
546
547 return slot;
548}
549
550static bool mapping_level_dirty_bitmap(struct kvm_vcpu *vcpu, gfn_t large_gfn)
551{
Stevea0a8eab2011-06-17 10:25:39 +0800552 return !gfn_to_memslot_dirty_bitmap(vcpu, large_gfn, true);
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -0800553}
554
555static int mapping_level(struct kvm_vcpu *vcpu, gfn_t large_gfn)
556{
557 int host_level, level, max_level;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300558
Joerg Roedeld25797b2009-07-27 16:30:43 +0200559 host_level = host_mapping_level(vcpu->kvm, large_gfn);
560
561 if (host_level == PT_PAGE_TABLE_LEVEL)
562 return host_level;
563
Sheng Yang878403b2010-01-05 19:02:29 +0800564 max_level = kvm_x86_ops->get_lpage_level() < host_level ?
565 kvm_x86_ops->get_lpage_level() : host_level;
566
567 for (level = PT_DIRECTORY_LEVEL; level <= max_level; ++level)
Joerg Roedeld25797b2009-07-27 16:30:43 +0200568 if (has_wrprotected_page(vcpu->kvm, large_gfn, level))
569 break;
Joerg Roedeld25797b2009-07-27 16:30:43 +0200570
571 return level - 1;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300572}
573
574/*
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800575 * Pte mapping structures:
576 *
577 * If pte_list bit zero is zero, then pte_list point to the spte.
578 *
579 * If pte_list bit zero is one, (then pte_list & ~1) points to a struct
580 * pte_list_desc containing more mappings.
581 *
582 * Returns the number of pte entries before the spte was added or zero if
583 * the spte was not added.
584 *
585 */
586static int pte_list_add(struct kvm_vcpu *vcpu, u64 *spte,
587 unsigned long *pte_list)
588{
589 struct pte_list_desc *desc;
590 int i, count = 0;
591
592 if (!*pte_list) {
593 rmap_printk("pte_list_add: %p %llx 0->1\n", spte, *spte);
594 *pte_list = (unsigned long)spte;
595 } else if (!(*pte_list & 1)) {
596 rmap_printk("pte_list_add: %p %llx 1->many\n", spte, *spte);
597 desc = mmu_alloc_pte_list_desc(vcpu);
598 desc->sptes[0] = (u64 *)*pte_list;
599 desc->sptes[1] = spte;
600 *pte_list = (unsigned long)desc | 1;
601 ++count;
602 } else {
603 rmap_printk("pte_list_add: %p %llx many->many\n", spte, *spte);
604 desc = (struct pte_list_desc *)(*pte_list & ~1ul);
605 while (desc->sptes[PTE_LIST_EXT-1] && desc->more) {
606 desc = desc->more;
607 count += PTE_LIST_EXT;
608 }
609 if (desc->sptes[PTE_LIST_EXT-1]) {
610 desc->more = mmu_alloc_pte_list_desc(vcpu);
611 desc = desc->more;
612 }
613 for (i = 0; desc->sptes[i]; ++i)
614 ++count;
615 desc->sptes[i] = spte;
616 }
617 return count;
618}
619
620static u64 *pte_list_next(unsigned long *pte_list, u64 *spte)
621{
622 struct pte_list_desc *desc;
623 u64 *prev_spte;
624 int i;
625
626 if (!*pte_list)
627 return NULL;
628 else if (!(*pte_list & 1)) {
629 if (!spte)
630 return (u64 *)*pte_list;
631 return NULL;
632 }
633 desc = (struct pte_list_desc *)(*pte_list & ~1ul);
634 prev_spte = NULL;
635 while (desc) {
636 for (i = 0; i < PTE_LIST_EXT && desc->sptes[i]; ++i) {
637 if (prev_spte == spte)
638 return desc->sptes[i];
639 prev_spte = desc->sptes[i];
640 }
641 desc = desc->more;
642 }
643 return NULL;
644}
645
646static void
647pte_list_desc_remove_entry(unsigned long *pte_list, struct pte_list_desc *desc,
648 int i, struct pte_list_desc *prev_desc)
649{
650 int j;
651
652 for (j = PTE_LIST_EXT - 1; !desc->sptes[j] && j > i; --j)
653 ;
654 desc->sptes[i] = desc->sptes[j];
655 desc->sptes[j] = NULL;
656 if (j != 0)
657 return;
658 if (!prev_desc && !desc->more)
659 *pte_list = (unsigned long)desc->sptes[0];
660 else
661 if (prev_desc)
662 prev_desc->more = desc->more;
663 else
664 *pte_list = (unsigned long)desc->more | 1;
665 mmu_free_pte_list_desc(desc);
666}
667
668static void pte_list_remove(u64 *spte, unsigned long *pte_list)
669{
670 struct pte_list_desc *desc;
671 struct pte_list_desc *prev_desc;
672 int i;
673
674 if (!*pte_list) {
675 printk(KERN_ERR "pte_list_remove: %p 0->BUG\n", spte);
676 BUG();
677 } else if (!(*pte_list & 1)) {
678 rmap_printk("pte_list_remove: %p 1->0\n", spte);
679 if ((u64 *)*pte_list != spte) {
680 printk(KERN_ERR "pte_list_remove: %p 1->BUG\n", spte);
681 BUG();
682 }
683 *pte_list = 0;
684 } else {
685 rmap_printk("pte_list_remove: %p many->many\n", spte);
686 desc = (struct pte_list_desc *)(*pte_list & ~1ul);
687 prev_desc = NULL;
688 while (desc) {
689 for (i = 0; i < PTE_LIST_EXT && desc->sptes[i]; ++i)
690 if (desc->sptes[i] == spte) {
691 pte_list_desc_remove_entry(pte_list,
692 desc, i,
693 prev_desc);
694 return;
695 }
696 prev_desc = desc;
697 desc = desc->more;
698 }
699 pr_err("pte_list_remove: %p many->many\n", spte);
700 BUG();
701 }
702}
703
Xiao Guangrong67052b32011-05-15 23:27:08 +0800704typedef void (*pte_list_walk_fn) (u64 *spte);
705static void pte_list_walk(unsigned long *pte_list, pte_list_walk_fn fn)
706{
707 struct pte_list_desc *desc;
708 int i;
709
710 if (!*pte_list)
711 return;
712
713 if (!(*pte_list & 1))
714 return fn((u64 *)*pte_list);
715
716 desc = (struct pte_list_desc *)(*pte_list & ~1ul);
717 while (desc) {
718 for (i = 0; i < PTE_LIST_EXT && desc->sptes[i]; ++i)
719 fn(desc->sptes[i]);
720 desc = desc->more;
721 }
722}
723
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800724/*
Izik Eidus290fc382007-09-27 14:11:22 +0200725 * Take gfn and return the reverse mapping to it.
Izik Eidus290fc382007-09-27 14:11:22 +0200726 */
Joerg Roedel44ad9942009-07-27 16:30:42 +0200727static unsigned long *gfn_to_rmap(struct kvm *kvm, gfn_t gfn, int level)
Izik Eidus290fc382007-09-27 14:11:22 +0200728{
729 struct kvm_memory_slot *slot;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900730 struct kvm_lpage_info *linfo;
Izik Eidus290fc382007-09-27 14:11:22 +0200731
732 slot = gfn_to_memslot(kvm, gfn);
Joerg Roedel44ad9942009-07-27 16:30:42 +0200733 if (likely(level == PT_PAGE_TABLE_LEVEL))
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300734 return &slot->rmap[gfn - slot->base_gfn];
735
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900736 linfo = lpage_info_slot(gfn, slot, level);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300737
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900738 return &linfo->rmap_pde;
Izik Eidus290fc382007-09-27 14:11:22 +0200739}
740
Joerg Roedel44ad9942009-07-27 16:30:42 +0200741static int rmap_add(struct kvm_vcpu *vcpu, u64 *spte, gfn_t gfn)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800742{
Avi Kivity4db35312007-11-21 15:28:32 +0200743 struct kvm_mmu_page *sp;
Izik Eidus290fc382007-09-27 14:11:22 +0200744 unsigned long *rmapp;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800745
Avi Kivity43a37952009-06-10 14:12:05 +0300746 if (!is_rmap_spte(*spte))
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800747 return 0;
748
Avi Kivity4db35312007-11-21 15:28:32 +0200749 sp = page_header(__pa(spte));
Lai Jiangshan2032a932010-05-26 16:49:59 +0800750 kvm_mmu_page_set_gfn(sp, spte - sp->spt, gfn);
Joerg Roedel44ad9942009-07-27 16:30:42 +0200751 rmapp = gfn_to_rmap(vcpu->kvm, gfn, sp->role.level);
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800752 return pte_list_add(vcpu, spte, rmapp);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800753}
754
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800755static u64 *rmap_next(struct kvm *kvm, unsigned long *rmapp, u64 *spte)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800756{
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800757 return pte_list_next(rmapp, spte);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800758}
759
Izik Eidus290fc382007-09-27 14:11:22 +0200760static void rmap_remove(struct kvm *kvm, u64 *spte)
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800761{
Avi Kivity4db35312007-11-21 15:28:32 +0200762 struct kvm_mmu_page *sp;
Lai Jiangshan2032a932010-05-26 16:49:59 +0800763 gfn_t gfn;
Izik Eidus290fc382007-09-27 14:11:22 +0200764 unsigned long *rmapp;
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800765
Avi Kivity4db35312007-11-21 15:28:32 +0200766 sp = page_header(__pa(spte));
Lai Jiangshan2032a932010-05-26 16:49:59 +0800767 gfn = kvm_mmu_page_get_gfn(sp, spte - sp->spt);
768 rmapp = gfn_to_rmap(kvm, gfn, sp->role.level);
Xiao Guangrong53c07b12011-05-15 23:26:20 +0800769 pte_list_remove(spte, rmapp);
Avi Kivitycd4a4e52007-01-05 16:36:38 -0800770}
771
Marcelo Tosattieb45fda2010-10-25 11:58:22 -0200772static int set_spte_track_bits(u64 *sptep, u64 new_spte)
Avi Kivitybe38d272010-06-06 14:31:27 +0300773{
Avi Kivityce061862010-06-06 14:38:12 +0300774 pfn_t pfn;
Xiao Guangrong9a3aad72010-07-16 11:30:18 +0800775 u64 old_spte = *sptep;
Avi Kivityce061862010-06-06 14:38:12 +0300776
Xiao Guangrong8672b722010-08-02 16:14:04 +0800777 if (!spte_has_volatile_bits(old_spte))
Xiao Guangrong9a3aad72010-07-16 11:30:18 +0800778 __set_spte(sptep, new_spte);
Xiao Guangrong8672b722010-08-02 16:14:04 +0800779 else
Xiao Guangrong9a3aad72010-07-16 11:30:18 +0800780 old_spte = __xchg_spte(sptep, new_spte);
781
Avi Kivitya9221dd2010-06-06 14:48:06 +0300782 if (!is_rmap_spte(old_spte))
Marcelo Tosattieb45fda2010-10-25 11:58:22 -0200783 return 0;
Xiao Guangrong8672b722010-08-02 16:14:04 +0800784
Avi Kivitya9221dd2010-06-06 14:48:06 +0300785 pfn = spte_to_pfn(old_spte);
Xiao Guangrongdaa3db62010-07-16 11:23:04 +0800786 if (!shadow_accessed_mask || old_spte & shadow_accessed_mask)
Avi Kivityce061862010-06-06 14:38:12 +0300787 kvm_set_pfn_accessed(pfn);
Xiao Guangrong41327792010-08-02 16:15:08 +0800788 if (!shadow_dirty_mask || (old_spte & shadow_dirty_mask))
Avi Kivityce061862010-06-06 14:38:12 +0300789 kvm_set_pfn_dirty(pfn);
Marcelo Tosattieb45fda2010-10-25 11:58:22 -0200790 return 1;
Xiao Guangronge4b502e2010-07-16 11:28:09 +0800791}
792
793static void drop_spte(struct kvm *kvm, u64 *sptep, u64 new_spte)
794{
Marcelo Tosattieb45fda2010-10-25 11:58:22 -0200795 if (set_spte_track_bits(sptep, new_spte))
796 rmap_remove(kvm, sptep);
Avi Kivitybe38d272010-06-06 14:31:27 +0300797}
798
Marcelo Tosattib1a36822008-12-01 22:32:03 -0200799static int rmap_write_protect(struct kvm *kvm, u64 gfn)
Izik Eidus98348e92007-10-16 14:42:30 +0200800{
Izik Eidus290fc382007-09-27 14:11:22 +0200801 unsigned long *rmapp;
Avi Kivity374cbac2007-01-05 16:36:43 -0800802 u64 *spte;
Joerg Roedel44ad9942009-07-27 16:30:42 +0200803 int i, write_protected = 0;
Avi Kivity374cbac2007-01-05 16:36:43 -0800804
Joerg Roedel44ad9942009-07-27 16:30:42 +0200805 rmapp = gfn_to_rmap(kvm, gfn, PT_PAGE_TABLE_LEVEL);
Avi Kivity374cbac2007-01-05 16:36:43 -0800806
Izik Eidus98348e92007-10-16 14:42:30 +0200807 spte = rmap_next(kvm, rmapp, NULL);
808 while (spte) {
Avi Kivity374cbac2007-01-05 16:36:43 -0800809 BUG_ON(!spte);
Avi Kivity374cbac2007-01-05 16:36:43 -0800810 BUG_ON(!(*spte & PT_PRESENT_MASK));
Avi Kivity374cbac2007-01-05 16:36:43 -0800811 rmap_printk("rmap_write_protect: spte %p %llx\n", spte, *spte);
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +0900812 if (is_writable_pte(*spte)) {
Avi Kivityb79b93f2010-06-06 15:46:44 +0300813 update_spte(spte, *spte & ~PT_WRITABLE_MASK);
Eddie Dongcaa5b8a2007-12-18 06:08:27 +0800814 write_protected = 1;
815 }
Izik Eidus9647c142007-10-16 14:43:46 +0200816 spte = rmap_next(kvm, rmapp, spte);
Avi Kivity374cbac2007-01-05 16:36:43 -0800817 }
Izik Eidus855149a2008-03-20 18:17:24 +0200818
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300819 /* check for huge page mappings */
Joerg Roedel44ad9942009-07-27 16:30:42 +0200820 for (i = PT_DIRECTORY_LEVEL;
821 i < PT_PAGE_TABLE_LEVEL + KVM_NR_PAGE_SIZES; ++i) {
822 rmapp = gfn_to_rmap(kvm, gfn, i);
823 spte = rmap_next(kvm, rmapp, NULL);
824 while (spte) {
825 BUG_ON(!spte);
826 BUG_ON(!(*spte & PT_PRESENT_MASK));
827 BUG_ON((*spte & (PT_PAGE_SIZE_MASK|PT_PRESENT_MASK)) != (PT_PAGE_SIZE_MASK|PT_PRESENT_MASK));
828 pgprintk("rmap_write_protect(large): spte %p %llx %lld\n", spte, *spte, gfn);
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +0900829 if (is_writable_pte(*spte)) {
Avi Kivitybe38d272010-06-06 14:31:27 +0300830 drop_spte(kvm, spte,
831 shadow_trap_nonpresent_pte);
Joerg Roedel44ad9942009-07-27 16:30:42 +0200832 --kvm->stat.lpages;
Joerg Roedel44ad9942009-07-27 16:30:42 +0200833 spte = NULL;
834 write_protected = 1;
835 }
836 spte = rmap_next(kvm, rmapp, spte);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300837 }
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300838 }
839
Marcelo Tosattib1a36822008-12-01 22:32:03 -0200840 return write_protected;
Avi Kivity374cbac2007-01-05 16:36:43 -0800841}
842
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000843static int kvm_unmap_rmapp(struct kvm *kvm, unsigned long *rmapp,
844 unsigned long data)
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200845{
846 u64 *spte;
847 int need_tlb_flush = 0;
848
849 while ((spte = rmap_next(kvm, rmapp, NULL))) {
850 BUG_ON(!(*spte & PT_PRESENT_MASK));
851 rmap_printk("kvm_rmap_unmap_hva: spte %p %llx\n", spte, *spte);
Avi Kivitybe38d272010-06-06 14:31:27 +0300852 drop_spte(kvm, spte, shadow_trap_nonpresent_pte);
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200853 need_tlb_flush = 1;
854 }
855 return need_tlb_flush;
856}
857
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000858static int kvm_set_pte_rmapp(struct kvm *kvm, unsigned long *rmapp,
859 unsigned long data)
Izik Eidus3da0dd42009-09-23 21:47:18 +0300860{
861 int need_flush = 0;
Xiao Guangronge4b502e2010-07-16 11:28:09 +0800862 u64 *spte, new_spte;
Izik Eidus3da0dd42009-09-23 21:47:18 +0300863 pte_t *ptep = (pte_t *)data;
864 pfn_t new_pfn;
865
866 WARN_ON(pte_huge(*ptep));
867 new_pfn = pte_pfn(*ptep);
868 spte = rmap_next(kvm, rmapp, NULL);
869 while (spte) {
870 BUG_ON(!is_shadow_present_pte(*spte));
871 rmap_printk("kvm_set_pte_rmapp: spte %p %llx\n", spte, *spte);
872 need_flush = 1;
873 if (pte_write(*ptep)) {
Avi Kivitybe38d272010-06-06 14:31:27 +0300874 drop_spte(kvm, spte, shadow_trap_nonpresent_pte);
Izik Eidus3da0dd42009-09-23 21:47:18 +0300875 spte = rmap_next(kvm, rmapp, NULL);
876 } else {
877 new_spte = *spte &~ (PT64_BASE_ADDR_MASK);
878 new_spte |= (u64)new_pfn << PAGE_SHIFT;
879
880 new_spte &= ~PT_WRITABLE_MASK;
881 new_spte &= ~SPTE_HOST_WRITEABLE;
Avi Kivityb79b93f2010-06-06 15:46:44 +0300882 new_spte &= ~shadow_accessed_mask;
Xiao Guangronge4b502e2010-07-16 11:28:09 +0800883 set_spte_track_bits(spte, new_spte);
Izik Eidus3da0dd42009-09-23 21:47:18 +0300884 spte = rmap_next(kvm, rmapp, spte);
885 }
886 }
887 if (need_flush)
888 kvm_flush_remote_tlbs(kvm);
889
890 return 0;
891}
892
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000893static int kvm_handle_hva(struct kvm *kvm, unsigned long hva,
894 unsigned long data,
Izik Eidus3da0dd42009-09-23 21:47:18 +0300895 int (*handler)(struct kvm *kvm, unsigned long *rmapp,
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000896 unsigned long data))
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200897{
Joerg Roedel852e3c12009-07-27 16:30:44 +0200898 int i, j;
Avi Kivity90bb6fc2009-12-31 12:10:16 +0200899 int ret;
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200900 int retval = 0;
Marcelo Tosattibc6678a2009-12-23 14:35:21 -0200901 struct kvm_memslots *slots;
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200902
Lai Jiangshan90d83dc2010-04-19 17:41:23 +0800903 slots = kvm_memslots(kvm);
Marcelo Tosattibc6678a2009-12-23 14:35:21 -0200904
Marcelo Tosatti46a26bf2009-12-23 14:35:16 -0200905 for (i = 0; i < slots->nmemslots; i++) {
906 struct kvm_memory_slot *memslot = &slots->memslots[i];
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200907 unsigned long start = memslot->userspace_addr;
908 unsigned long end;
909
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200910 end = start + (memslot->npages << PAGE_SHIFT);
911 if (hva >= start && hva < end) {
912 gfn_t gfn_offset = (hva - start) >> PAGE_SHIFT;
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900913 gfn_t gfn = memslot->base_gfn + gfn_offset;
Joerg Roedel852e3c12009-07-27 16:30:44 +0200914
Avi Kivity90bb6fc2009-12-31 12:10:16 +0200915 ret = handler(kvm, &memslot->rmap[gfn_offset], data);
Joerg Roedel852e3c12009-07-27 16:30:44 +0200916
917 for (j = 0; j < KVM_NR_PAGE_SIZES - 1; ++j) {
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900918 struct kvm_lpage_info *linfo;
Andrea Arcangeli6e3e2432010-07-16 11:52:55 +0200919
Takuya Yoshikawad4dbf472010-12-07 12:59:07 +0900920 linfo = lpage_info_slot(gfn, memslot,
921 PT_DIRECTORY_LEVEL + j);
922 ret |= handler(kvm, &linfo->rmap_pde, data);
Joerg Roedel852e3c12009-07-27 16:30:44 +0200923 }
Avi Kivity90bb6fc2009-12-31 12:10:16 +0200924 trace_kvm_age_page(hva, memslot, ret);
925 retval |= ret;
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200926 }
927 }
928
929 return retval;
930}
931
932int kvm_unmap_hva(struct kvm *kvm, unsigned long hva)
933{
Izik Eidus3da0dd42009-09-23 21:47:18 +0300934 return kvm_handle_hva(kvm, hva, 0, kvm_unmap_rmapp);
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200935}
936
Izik Eidus3da0dd42009-09-23 21:47:18 +0300937void kvm_set_spte_hva(struct kvm *kvm, unsigned long hva, pte_t pte)
938{
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000939 kvm_handle_hva(kvm, hva, (unsigned long)&pte, kvm_set_pte_rmapp);
Izik Eidus3da0dd42009-09-23 21:47:18 +0300940}
941
Frederik Deweerdt8a8365c2009-10-09 11:42:56 +0000942static int kvm_age_rmapp(struct kvm *kvm, unsigned long *rmapp,
943 unsigned long data)
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200944{
945 u64 *spte;
946 int young = 0;
947
Rik van Riel6316e1c2010-02-03 16:11:03 -0500948 /*
949 * Emulate the accessed bit for EPT, by checking if this page has
950 * an EPT mapping, and clearing it if it does. On the next access,
951 * a new EPT mapping will be established.
952 * This has some overhead, but not as much as the cost of swapping
953 * out actively used pages or breaking up actively used hugepages.
954 */
Sheng Yang534e38b2008-09-08 15:12:30 +0800955 if (!shadow_accessed_mask)
Rik van Riel6316e1c2010-02-03 16:11:03 -0500956 return kvm_unmap_rmapp(kvm, rmapp, data);
Sheng Yang534e38b2008-09-08 15:12:30 +0800957
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200958 spte = rmap_next(kvm, rmapp, NULL);
959 while (spte) {
960 int _young;
961 u64 _spte = *spte;
962 BUG_ON(!(_spte & PT_PRESENT_MASK));
963 _young = _spte & PT_ACCESSED_MASK;
964 if (_young) {
965 young = 1;
966 clear_bit(PT_ACCESSED_SHIFT, (unsigned long *)spte);
967 }
968 spte = rmap_next(kvm, rmapp, spte);
969 }
970 return young;
971}
972
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800973static int kvm_test_age_rmapp(struct kvm *kvm, unsigned long *rmapp,
974 unsigned long data)
975{
976 u64 *spte;
977 int young = 0;
978
979 /*
980 * If there's no access bit in the secondary pte set by the
981 * hardware it's up to gup-fast/gup to set the access bit in
982 * the primary pte or in the page structure.
983 */
984 if (!shadow_accessed_mask)
985 goto out;
986
987 spte = rmap_next(kvm, rmapp, NULL);
988 while (spte) {
989 u64 _spte = *spte;
990 BUG_ON(!(_spte & PT_PRESENT_MASK));
991 young = _spte & PT_ACCESSED_MASK;
992 if (young) {
993 young = 1;
994 break;
995 }
996 spte = rmap_next(kvm, rmapp, spte);
997 }
998out:
999 return young;
1000}
1001
Marcelo Tosatti53a27b32009-08-05 15:43:58 -03001002#define RMAP_RECYCLE_THRESHOLD 1000
1003
Joerg Roedel852e3c12009-07-27 16:30:44 +02001004static void rmap_recycle(struct kvm_vcpu *vcpu, u64 *spte, gfn_t gfn)
Marcelo Tosatti53a27b32009-08-05 15:43:58 -03001005{
1006 unsigned long *rmapp;
Joerg Roedel852e3c12009-07-27 16:30:44 +02001007 struct kvm_mmu_page *sp;
1008
1009 sp = page_header(__pa(spte));
Marcelo Tosatti53a27b32009-08-05 15:43:58 -03001010
Joerg Roedel852e3c12009-07-27 16:30:44 +02001011 rmapp = gfn_to_rmap(vcpu->kvm, gfn, sp->role.level);
Marcelo Tosatti53a27b32009-08-05 15:43:58 -03001012
Izik Eidus3da0dd42009-09-23 21:47:18 +03001013 kvm_unmap_rmapp(vcpu->kvm, rmapp, 0);
Marcelo Tosatti53a27b32009-08-05 15:43:58 -03001014 kvm_flush_remote_tlbs(vcpu->kvm);
1015}
1016
Andrea Arcangelie930bff2008-07-25 16:24:52 +02001017int kvm_age_hva(struct kvm *kvm, unsigned long hva)
1018{
Izik Eidus3da0dd42009-09-23 21:47:18 +03001019 return kvm_handle_hva(kvm, hva, 0, kvm_age_rmapp);
Andrea Arcangelie930bff2008-07-25 16:24:52 +02001020}
1021
Andrea Arcangeli8ee53822011-01-13 15:47:10 -08001022int kvm_test_age_hva(struct kvm *kvm, unsigned long hva)
1023{
1024 return kvm_handle_hva(kvm, hva, 0, kvm_test_age_rmapp);
1025}
1026
Yaozu Dongd6c69ee2007-04-25 14:17:25 +08001027#ifdef MMU_DEBUG
Avi Kivity47ad8e62007-05-06 15:50:58 +03001028static int is_empty_shadow_page(u64 *spt)
Avi Kivity6aa8b732006-12-10 02:21:36 -08001029{
Avi Kivity139bdb22007-01-05 16:36:50 -08001030 u64 *pos;
1031 u64 *end;
1032
Avi Kivity47ad8e62007-05-06 15:50:58 +03001033 for (pos = spt, end = pos + PAGE_SIZE / sizeof(u64); pos != end; pos++)
Avi Kivity3c915512008-05-20 16:21:13 +03001034 if (is_shadow_present_pte(*pos)) {
Harvey Harrisonb8688d52008-03-03 12:59:56 -08001035 printk(KERN_ERR "%s: %p %llx\n", __func__,
Avi Kivity139bdb22007-01-05 16:36:50 -08001036 pos, *pos);
Avi Kivity6aa8b732006-12-10 02:21:36 -08001037 return 0;
Avi Kivity139bdb22007-01-05 16:36:50 -08001038 }
Avi Kivity6aa8b732006-12-10 02:21:36 -08001039 return 1;
1040}
Yaozu Dongd6c69ee2007-04-25 14:17:25 +08001041#endif
Avi Kivity6aa8b732006-12-10 02:21:36 -08001042
Dave Hansen45221ab2010-08-19 18:11:37 -07001043/*
1044 * This value is the sum of all of the kvm instances's
1045 * kvm->arch.n_used_mmu_pages values. We need a global,
1046 * aggregate version in order to make the slab shrinker
1047 * faster
1048 */
1049static inline void kvm_mod_used_mmu_pages(struct kvm *kvm, int nr)
1050{
1051 kvm->arch.n_used_mmu_pages += nr;
1052 percpu_counter_add(&kvm_total_used_mmu_pages, nr);
1053}
1054
Avi Kivity4db35312007-11-21 15:28:32 +02001055static void kvm_mmu_free_page(struct kvm *kvm, struct kvm_mmu_page *sp)
Avi Kivity260746c2007-01-05 16:36:49 -08001056{
Avi Kivity4db35312007-11-21 15:28:32 +02001057 ASSERT(is_empty_shadow_page(sp->spt));
Xiao Guangrong77758342010-06-04 21:53:54 +08001058 hlist_del(&sp->hash_link);
Avi Kivity4db35312007-11-21 15:28:32 +02001059 list_del(&sp->link);
Xiao Guangrong842f22e2011-03-04 19:01:10 +08001060 free_page((unsigned long)sp->spt);
Lai Jiangshan2032a932010-05-26 16:49:59 +08001061 if (!sp->role.direct)
Xiao Guangrong842f22e2011-03-04 19:01:10 +08001062 free_page((unsigned long)sp->gfns);
Xiao Guangronge8ad9a72010-05-13 10:06:02 +08001063 kmem_cache_free(mmu_page_header_cache, sp);
Dave Hansen45221ab2010-08-19 18:11:37 -07001064 kvm_mod_used_mmu_pages(kvm, -1);
Avi Kivity260746c2007-01-05 16:36:49 -08001065}
1066
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001067static unsigned kvm_page_table_hashfn(gfn_t gfn)
1068{
Dong, Eddie1ae0a132008-01-07 13:20:25 +02001069 return gfn & ((1 << KVM_MMU_HASH_SHIFT) - 1);
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001070}
1071
Xiao Guangrong67052b32011-05-15 23:27:08 +08001072static void mmu_page_add_parent_pte(struct kvm_vcpu *vcpu,
1073 struct kvm_mmu_page *sp, u64 *parent_pte)
1074{
1075 if (!parent_pte)
1076 return;
1077
1078 pte_list_add(vcpu, parent_pte, &sp->parent_ptes);
1079}
1080
1081static void mmu_page_remove_parent_pte(struct kvm_mmu_page *sp,
1082 u64 *parent_pte)
1083{
1084 pte_list_remove(parent_pte, &sp->parent_ptes);
1085}
1086
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001087static void drop_parent_pte(struct kvm_mmu_page *sp,
1088 u64 *parent_pte)
1089{
1090 mmu_page_remove_parent_pte(sp, parent_pte);
1091 __set_spte(parent_pte, shadow_trap_nonpresent_pte);
1092}
1093
Avi Kivity25c0de22007-01-05 16:36:42 -08001094static struct kvm_mmu_page *kvm_mmu_alloc_page(struct kvm_vcpu *vcpu,
Lai Jiangshan2032a932010-05-26 16:49:59 +08001095 u64 *parent_pte, int direct)
Avi Kivity6aa8b732006-12-10 02:21:36 -08001096{
Avi Kivity4db35312007-11-21 15:28:32 +02001097 struct kvm_mmu_page *sp;
Xiao Guangrong67052b32011-05-15 23:27:08 +08001098 sp = mmu_memory_cache_alloc(&vcpu->arch.mmu_page_header_cache,
1099 sizeof *sp);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08001100 sp->spt = mmu_memory_cache_alloc(&vcpu->arch.mmu_page_cache, PAGE_SIZE);
Lai Jiangshan2032a932010-05-26 16:49:59 +08001101 if (!direct)
1102 sp->gfns = mmu_memory_cache_alloc(&vcpu->arch.mmu_page_cache,
1103 PAGE_SIZE);
Avi Kivity4db35312007-11-21 15:28:32 +02001104 set_page_private(virt_to_page(sp->spt), (unsigned long)sp);
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001105 list_add(&sp->link, &vcpu->kvm->arch.active_mmu_pages);
Sheng Yang291f26b2008-10-16 17:30:57 +08001106 bitmap_zero(sp->slot_bitmap, KVM_MEMORY_SLOTS + KVM_PRIVATE_MEM_SLOTS);
Xiao Guangrong67052b32011-05-15 23:27:08 +08001107 sp->parent_ptes = 0;
1108 mmu_page_add_parent_pte(vcpu, sp, parent_pte);
Dave Hansen45221ab2010-08-19 18:11:37 -07001109 kvm_mod_used_mmu_pages(vcpu->kvm, +1);
Avi Kivity4db35312007-11-21 15:28:32 +02001110 return sp;
Avi Kivity6aa8b732006-12-10 02:21:36 -08001111}
1112
Xiao Guangrong67052b32011-05-15 23:27:08 +08001113static void mark_unsync(u64 *spte);
Xiao Guangrong6b184932010-04-16 21:29:17 +08001114static void kvm_mmu_mark_parents_unsync(struct kvm_mmu_page *sp)
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001115{
Xiao Guangrong67052b32011-05-15 23:27:08 +08001116 pte_list_walk(&sp->parent_ptes, mark_unsync);
Xiao Guangrong1047df12010-06-11 21:35:15 +08001117}
1118
Xiao Guangrong67052b32011-05-15 23:27:08 +08001119static void mark_unsync(u64 *spte)
Xiao Guangrong1047df12010-06-11 21:35:15 +08001120{
Xiao Guangrong67052b32011-05-15 23:27:08 +08001121 struct kvm_mmu_page *sp;
Xiao Guangrong1047df12010-06-11 21:35:15 +08001122 unsigned int index;
1123
Xiao Guangrong67052b32011-05-15 23:27:08 +08001124 sp = page_header(__pa(spte));
Xiao Guangrong1047df12010-06-11 21:35:15 +08001125 index = spte - sp->spt;
1126 if (__test_and_set_bit(index, sp->unsync_child_bitmap))
1127 return;
1128 if (sp->unsync_children++)
1129 return;
1130 kvm_mmu_mark_parents_unsync(sp);
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001131}
1132
Avi Kivityd761a502008-05-29 14:55:03 +03001133static void nonpaging_prefetch_page(struct kvm_vcpu *vcpu,
1134 struct kvm_mmu_page *sp)
1135{
1136 int i;
1137
1138 for (i = 0; i < PT64_ENT_PER_PAGE; ++i)
1139 sp->spt[i] = shadow_trap_nonpresent_pte;
1140}
1141
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03001142static int nonpaging_sync_page(struct kvm_vcpu *vcpu,
Xiao Guangronga4a8e6f2010-11-19 17:04:03 +08001143 struct kvm_mmu_page *sp)
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03001144{
1145 return 1;
1146}
1147
Marcelo Tosattia7052892008-09-23 13:18:35 -03001148static void nonpaging_invlpg(struct kvm_vcpu *vcpu, gva_t gva)
1149{
1150}
1151
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08001152static void nonpaging_update_pte(struct kvm_vcpu *vcpu,
1153 struct kvm_mmu_page *sp, u64 *spte,
Xiao Guangrong7c562522011-03-28 10:29:27 +08001154 const void *pte)
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08001155{
1156 WARN_ON(1);
1157}
1158
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001159#define KVM_PAGE_ARRAY_NR 16
1160
1161struct kvm_mmu_pages {
1162 struct mmu_page_and_offset {
1163 struct kvm_mmu_page *sp;
1164 unsigned int idx;
1165 } page[KVM_PAGE_ARRAY_NR];
1166 unsigned int nr;
1167};
1168
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001169#define for_each_unsync_children(bitmap, idx) \
1170 for (idx = find_first_bit(bitmap, 512); \
1171 idx < 512; \
1172 idx = find_next_bit(bitmap, 512, idx+1))
1173
Hannes Edercded19f2009-02-21 02:19:13 +01001174static int mmu_pages_add(struct kvm_mmu_pages *pvec, struct kvm_mmu_page *sp,
1175 int idx)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001176{
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001177 int i;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001178
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001179 if (sp->unsync)
1180 for (i=0; i < pvec->nr; i++)
1181 if (pvec->page[i].sp == sp)
1182 return 0;
1183
1184 pvec->page[pvec->nr].sp = sp;
1185 pvec->page[pvec->nr].idx = idx;
1186 pvec->nr++;
1187 return (pvec->nr == KVM_PAGE_ARRAY_NR);
1188}
1189
1190static int __mmu_unsync_walk(struct kvm_mmu_page *sp,
1191 struct kvm_mmu_pages *pvec)
1192{
1193 int i, ret, nr_unsync_leaf = 0;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001194
Marcelo Tosatti0074ff62008-09-23 13:18:40 -03001195 for_each_unsync_children(sp->unsync_child_bitmap, i) {
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001196 struct kvm_mmu_page *child;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001197 u64 ent = sp->spt[i];
1198
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001199 if (!is_shadow_present_pte(ent) || is_large_pte(ent))
1200 goto clear_child_bitmap;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001201
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001202 child = page_header(ent & PT64_BASE_ADDR_MASK);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001203
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001204 if (child->unsync_children) {
1205 if (mmu_pages_add(pvec, child, i))
1206 return -ENOSPC;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001207
Xiao Guangrong7a8f1a72010-06-11 21:34:04 +08001208 ret = __mmu_unsync_walk(child, pvec);
1209 if (!ret)
1210 goto clear_child_bitmap;
1211 else if (ret > 0)
1212 nr_unsync_leaf += ret;
1213 else
1214 return ret;
1215 } else if (child->unsync) {
1216 nr_unsync_leaf++;
1217 if (mmu_pages_add(pvec, child, i))
1218 return -ENOSPC;
1219 } else
1220 goto clear_child_bitmap;
1221
1222 continue;
1223
1224clear_child_bitmap:
1225 __clear_bit(i, sp->unsync_child_bitmap);
1226 sp->unsync_children--;
1227 WARN_ON((int)sp->unsync_children < 0);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001228 }
1229
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001230
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001231 return nr_unsync_leaf;
1232}
1233
1234static int mmu_unsync_walk(struct kvm_mmu_page *sp,
1235 struct kvm_mmu_pages *pvec)
1236{
1237 if (!sp->unsync_children)
1238 return 0;
1239
1240 mmu_pages_add(pvec, sp, 0);
1241 return __mmu_unsync_walk(sp, pvec);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001242}
1243
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001244static void kvm_unlink_unsync_page(struct kvm *kvm, struct kvm_mmu_page *sp)
1245{
1246 WARN_ON(!sp->unsync);
Xiao Guangrong5e1b3dd2010-04-28 11:55:06 +08001247 trace_kvm_mmu_sync_page(sp);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001248 sp->unsync = 0;
1249 --kvm->stat.mmu_unsync;
1250}
1251
Xiao Guangrong77758342010-06-04 21:53:54 +08001252static int kvm_mmu_prepare_zap_page(struct kvm *kvm, struct kvm_mmu_page *sp,
1253 struct list_head *invalid_list);
1254static void kvm_mmu_commit_zap_page(struct kvm *kvm,
1255 struct list_head *invalid_list);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001256
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001257#define for_each_gfn_sp(kvm, sp, gfn, pos) \
1258 hlist_for_each_entry(sp, pos, \
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001259 &(kvm)->arch.mmu_page_hash[kvm_page_table_hashfn(gfn)], hash_link) \
1260 if ((sp)->gfn != (gfn)) {} else
1261
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001262#define for_each_gfn_indirect_valid_sp(kvm, sp, gfn, pos) \
1263 hlist_for_each_entry(sp, pos, \
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001264 &(kvm)->arch.mmu_page_hash[kvm_page_table_hashfn(gfn)], hash_link) \
1265 if ((sp)->gfn != (gfn) || (sp)->role.direct || \
1266 (sp)->role.invalid) {} else
1267
Xiao Guangrongf918b442010-06-11 21:30:36 +08001268/* @sp->gfn should be write-protected at the call site */
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001269static int __kvm_sync_page(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp,
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001270 struct list_head *invalid_list, bool clear_unsync)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001271{
Avi Kivity5b7e0102010-04-14 19:20:03 +03001272 if (sp->role.cr4_pae != !!is_pae(vcpu)) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001273 kvm_mmu_prepare_zap_page(vcpu->kvm, sp, invalid_list);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001274 return 1;
1275 }
1276
Xiao Guangrongf918b442010-06-11 21:30:36 +08001277 if (clear_unsync)
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001278 kvm_unlink_unsync_page(vcpu->kvm, sp);
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001279
Xiao Guangronga4a8e6f2010-11-19 17:04:03 +08001280 if (vcpu->arch.mmu.sync_page(vcpu, sp)) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001281 kvm_mmu_prepare_zap_page(vcpu->kvm, sp, invalid_list);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001282 return 1;
1283 }
1284
1285 kvm_mmu_flush_tlb(vcpu);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001286 return 0;
1287}
1288
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001289static int kvm_sync_page_transient(struct kvm_vcpu *vcpu,
1290 struct kvm_mmu_page *sp)
1291{
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001292 LIST_HEAD(invalid_list);
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001293 int ret;
1294
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001295 ret = __kvm_sync_page(vcpu, sp, &invalid_list, false);
Xiao Guangrongbe71e062010-06-11 21:31:38 +08001296 if (ret)
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001297 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
1298
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001299 return ret;
1300}
1301
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001302static int kvm_sync_page(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp,
1303 struct list_head *invalid_list)
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001304{
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001305 return __kvm_sync_page(vcpu, sp, invalid_list, true);
Xiao Guangrong1d9dc7e2010-05-15 18:51:24 +08001306}
1307
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001308/* @gfn should be write-protected at the call site */
1309static void kvm_sync_pages(struct kvm_vcpu *vcpu, gfn_t gfn)
1310{
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001311 struct kvm_mmu_page *s;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001312 struct hlist_node *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001313 LIST_HEAD(invalid_list);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001314 bool flush = false;
1315
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001316 for_each_gfn_indirect_valid_sp(vcpu->kvm, s, gfn, node) {
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001317 if (!s->unsync)
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001318 continue;
1319
1320 WARN_ON(s->role.level != PT_PAGE_TABLE_LEVEL);
Xiao Guangronga4a8e6f2010-11-19 17:04:03 +08001321 kvm_unlink_unsync_page(vcpu->kvm, s);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001322 if ((s->role.cr4_pae != !!is_pae(vcpu)) ||
Xiao Guangronga4a8e6f2010-11-19 17:04:03 +08001323 (vcpu->arch.mmu.sync_page(vcpu, s))) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001324 kvm_mmu_prepare_zap_page(vcpu->kvm, s, &invalid_list);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001325 continue;
1326 }
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001327 flush = true;
1328 }
1329
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001330 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001331 if (flush)
1332 kvm_mmu_flush_tlb(vcpu);
1333}
1334
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001335struct mmu_page_path {
1336 struct kvm_mmu_page *parent[PT64_ROOT_LEVEL-1];
1337 unsigned int idx[PT64_ROOT_LEVEL-1];
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001338};
1339
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001340#define for_each_sp(pvec, sp, parents, i) \
1341 for (i = mmu_pages_next(&pvec, &parents, -1), \
1342 sp = pvec.page[i].sp; \
1343 i < pvec.nr && ({ sp = pvec.page[i].sp; 1;}); \
1344 i = mmu_pages_next(&pvec, &parents, i))
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001345
Hannes Edercded19f2009-02-21 02:19:13 +01001346static int mmu_pages_next(struct kvm_mmu_pages *pvec,
1347 struct mmu_page_path *parents,
1348 int i)
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001349{
1350 int n;
1351
1352 for (n = i+1; n < pvec->nr; n++) {
1353 struct kvm_mmu_page *sp = pvec->page[n].sp;
1354
1355 if (sp->role.level == PT_PAGE_TABLE_LEVEL) {
1356 parents->idx[0] = pvec->page[n].idx;
1357 return n;
1358 }
1359
1360 parents->parent[sp->role.level-2] = sp;
1361 parents->idx[sp->role.level-1] = pvec->page[n].idx;
1362 }
1363
1364 return n;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001365}
1366
Hannes Edercded19f2009-02-21 02:19:13 +01001367static void mmu_pages_clear_parents(struct mmu_page_path *parents)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001368{
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001369 struct kvm_mmu_page *sp;
1370 unsigned int level = 0;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001371
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001372 do {
1373 unsigned int idx = parents->idx[level];
1374
1375 sp = parents->parent[level];
1376 if (!sp)
1377 return;
1378
1379 --sp->unsync_children;
1380 WARN_ON((int)sp->unsync_children < 0);
1381 __clear_bit(idx, sp->unsync_child_bitmap);
1382 level++;
1383 } while (level < PT64_ROOT_LEVEL-1 && !sp->unsync_children);
1384}
1385
1386static void kvm_mmu_pages_init(struct kvm_mmu_page *parent,
1387 struct mmu_page_path *parents,
1388 struct kvm_mmu_pages *pvec)
1389{
1390 parents->parent[parent->role.level-1] = NULL;
1391 pvec->nr = 0;
1392}
1393
1394static void mmu_sync_children(struct kvm_vcpu *vcpu,
1395 struct kvm_mmu_page *parent)
1396{
1397 int i;
1398 struct kvm_mmu_page *sp;
1399 struct mmu_page_path parents;
1400 struct kvm_mmu_pages pages;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001401 LIST_HEAD(invalid_list);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001402
1403 kvm_mmu_pages_init(parent, &parents, &pages);
1404 while (mmu_unsync_walk(parent, &pages)) {
Marcelo Tosattib1a36822008-12-01 22:32:03 -02001405 int protected = 0;
1406
1407 for_each_sp(pages, sp, parents, i)
1408 protected |= rmap_write_protect(vcpu->kvm, sp->gfn);
1409
1410 if (protected)
1411 kvm_flush_remote_tlbs(vcpu->kvm);
1412
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001413 for_each_sp(pages, sp, parents, i) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001414 kvm_sync_page(vcpu, sp, &invalid_list);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001415 mmu_pages_clear_parents(&parents);
1416 }
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001417 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001418 cond_resched_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001419 kvm_mmu_pages_init(parent, &parents, &pages);
1420 }
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001421}
1422
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001423static struct kvm_mmu_page *kvm_mmu_get_page(struct kvm_vcpu *vcpu,
1424 gfn_t gfn,
1425 gva_t gaddr,
1426 unsigned level,
Avi Kivityf6e2c022009-01-11 13:02:10 +02001427 int direct,
Avi Kivity41074d02007-12-09 17:00:02 +02001428 unsigned access,
Avi Kivityf7d9c7b2008-02-26 22:12:10 +02001429 u64 *parent_pte)
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001430{
1431 union kvm_mmu_page_role role;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001432 unsigned quadrant;
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001433 struct kvm_mmu_page *sp;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001434 struct hlist_node *node;
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001435 bool need_sync = false;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001436
Avi Kivitya770f6f2008-12-21 19:20:09 +02001437 role = vcpu->arch.mmu.base_role;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001438 role.level = level;
Avi Kivityf6e2c022009-01-11 13:02:10 +02001439 role.direct = direct;
Avi Kivity84b0c8c2010-03-14 10:16:40 +02001440 if (role.direct)
Avi Kivity5b7e0102010-04-14 19:20:03 +03001441 role.cr4_pae = 0;
Avi Kivity41074d02007-12-09 17:00:02 +02001442 role.access = access;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02001443 if (!vcpu->arch.mmu.direct_map
1444 && vcpu->arch.mmu.root_level <= PT32_ROOT_LEVEL) {
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001445 quadrant = gaddr >> (PAGE_SHIFT + (PT64_PT_BITS * level));
1446 quadrant &= (1 << ((PT32_PT_BITS - PT64_PT_BITS) * level)) - 1;
1447 role.quadrant = quadrant;
1448 }
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001449 for_each_gfn_sp(vcpu->kvm, sp, gfn, node) {
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001450 if (!need_sync && sp->unsync)
1451 need_sync = true;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001452
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001453 if (sp->role.word != role.word)
1454 continue;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001455
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001456 if (sp->unsync && kvm_sync_page_transient(vcpu, sp))
1457 break;
Xiao Guangronge02aa902010-05-15 18:52:34 +08001458
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001459 mmu_page_add_parent_pte(vcpu, sp, parent_pte);
1460 if (sp->unsync_children) {
Avi Kivitya8eeb042010-05-10 12:34:53 +03001461 kvm_make_request(KVM_REQ_MMU_SYNC, vcpu);
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001462 kvm_mmu_mark_parents_unsync(sp);
1463 } else if (sp->unsync)
1464 kvm_mmu_mark_parents_unsync(sp);
Xiao Guangronge02aa902010-05-15 18:52:34 +08001465
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001466 trace_kvm_mmu_get_page(sp, false);
1467 return sp;
1468 }
Avi Kivitydfc5aa02007-12-18 19:47:18 +02001469 ++vcpu->kvm->stat.mmu_cache_miss;
Lai Jiangshan2032a932010-05-26 16:49:59 +08001470 sp = kvm_mmu_alloc_page(vcpu, parent_pte, direct);
Avi Kivity4db35312007-11-21 15:28:32 +02001471 if (!sp)
1472 return sp;
Avi Kivity4db35312007-11-21 15:28:32 +02001473 sp->gfn = gfn;
1474 sp->role = role;
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001475 hlist_add_head(&sp->hash_link,
1476 &vcpu->kvm->arch.mmu_page_hash[kvm_page_table_hashfn(gfn)]);
Avi Kivityf6e2c022009-01-11 13:02:10 +02001477 if (!direct) {
Marcelo Tosattib1a36822008-12-01 22:32:03 -02001478 if (rmap_write_protect(vcpu->kvm, gfn))
1479 kvm_flush_remote_tlbs(vcpu->kvm);
Xiao Guangrong9f1a1222010-05-24 15:41:33 +08001480 if (level > PT_PAGE_TABLE_LEVEL && need_sync)
1481 kvm_sync_pages(vcpu, gfn);
1482
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001483 account_shadowed(vcpu->kvm, gfn);
1484 }
Avi Kivity131d8272008-05-29 14:56:28 +03001485 if (shadow_trap_nonpresent_pte != shadow_notrap_nonpresent_pte)
1486 vcpu->arch.mmu.prefetch_page(vcpu, sp);
1487 else
1488 nonpaging_prefetch_page(vcpu, sp);
Avi Kivityf691fe12009-07-06 15:58:14 +03001489 trace_kvm_mmu_get_page(sp, true);
Avi Kivity4db35312007-11-21 15:28:32 +02001490 return sp;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001491}
1492
Avi Kivity2d111232008-12-25 14:39:47 +02001493static void shadow_walk_init(struct kvm_shadow_walk_iterator *iterator,
1494 struct kvm_vcpu *vcpu, u64 addr)
1495{
1496 iterator->addr = addr;
1497 iterator->shadow_addr = vcpu->arch.mmu.root_hpa;
1498 iterator->level = vcpu->arch.mmu.shadow_root_level;
Joerg Roedel81407ca2010-09-10 17:31:00 +02001499
1500 if (iterator->level == PT64_ROOT_LEVEL &&
1501 vcpu->arch.mmu.root_level < PT64_ROOT_LEVEL &&
1502 !vcpu->arch.mmu.direct_map)
1503 --iterator->level;
1504
Avi Kivity2d111232008-12-25 14:39:47 +02001505 if (iterator->level == PT32E_ROOT_LEVEL) {
1506 iterator->shadow_addr
1507 = vcpu->arch.mmu.pae_root[(addr >> 30) & 3];
1508 iterator->shadow_addr &= PT64_BASE_ADDR_MASK;
1509 --iterator->level;
1510 if (!iterator->shadow_addr)
1511 iterator->level = 0;
1512 }
1513}
1514
1515static bool shadow_walk_okay(struct kvm_shadow_walk_iterator *iterator)
1516{
1517 if (iterator->level < PT_PAGE_TABLE_LEVEL)
1518 return false;
Marcelo Tosatti4d889542009-06-11 12:07:41 -03001519
1520 if (iterator->level == PT_PAGE_TABLE_LEVEL)
1521 if (is_large_pte(*iterator->sptep))
1522 return false;
1523
Avi Kivity2d111232008-12-25 14:39:47 +02001524 iterator->index = SHADOW_PT_INDEX(iterator->addr, iterator->level);
1525 iterator->sptep = ((u64 *)__va(iterator->shadow_addr)) + iterator->index;
1526 return true;
1527}
1528
1529static void shadow_walk_next(struct kvm_shadow_walk_iterator *iterator)
1530{
1531 iterator->shadow_addr = *iterator->sptep & PT64_BASE_ADDR_MASK;
1532 --iterator->level;
1533}
1534
Avi Kivity32ef26a2010-07-13 14:27:04 +03001535static void link_shadow_page(u64 *sptep, struct kvm_mmu_page *sp)
1536{
1537 u64 spte;
1538
1539 spte = __pa(sp->spt)
1540 | PT_PRESENT_MASK | PT_ACCESSED_MASK
1541 | PT_WRITABLE_MASK | PT_USER_MASK;
Avi Kivity121eee92010-07-13 14:27:05 +03001542 __set_spte(sptep, spte);
Avi Kivity32ef26a2010-07-13 14:27:04 +03001543}
1544
Avi Kivitya3aa51c2010-07-13 14:27:06 +03001545static void drop_large_spte(struct kvm_vcpu *vcpu, u64 *sptep)
1546{
1547 if (is_large_pte(*sptep)) {
1548 drop_spte(vcpu->kvm, sptep, shadow_trap_nonpresent_pte);
1549 kvm_flush_remote_tlbs(vcpu->kvm);
1550 }
1551}
1552
Avi Kivitya357bd22010-07-13 14:27:07 +03001553static void validate_direct_spte(struct kvm_vcpu *vcpu, u64 *sptep,
1554 unsigned direct_access)
1555{
1556 if (is_shadow_present_pte(*sptep) && !is_large_pte(*sptep)) {
1557 struct kvm_mmu_page *child;
1558
1559 /*
1560 * For the direct sp, if the guest pte's dirty bit
1561 * changed form clean to dirty, it will corrupt the
1562 * sp's access: allow writable in the read-only sp,
1563 * so we should update the spte at this point to get
1564 * a new sp with the correct access.
1565 */
1566 child = page_header(*sptep & PT64_BASE_ADDR_MASK);
1567 if (child->role.access == direct_access)
1568 return;
1569
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001570 drop_parent_pte(child, sptep);
Avi Kivitya357bd22010-07-13 14:27:07 +03001571 kvm_flush_remote_tlbs(vcpu->kvm);
1572 }
1573}
1574
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08001575static void mmu_page_zap_pte(struct kvm *kvm, struct kvm_mmu_page *sp,
1576 u64 *spte)
1577{
1578 u64 pte;
1579 struct kvm_mmu_page *child;
1580
1581 pte = *spte;
1582 if (is_shadow_present_pte(pte)) {
1583 if (is_last_spte(pte, sp->role.level))
1584 drop_spte(kvm, spte, shadow_trap_nonpresent_pte);
1585 else {
1586 child = page_header(pte & PT64_BASE_ADDR_MASK);
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001587 drop_parent_pte(child, spte);
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08001588 }
1589 }
1590 __set_spte(spte, shadow_trap_nonpresent_pte);
1591 if (is_large_pte(pte))
1592 --kvm->stat.lpages;
1593}
1594
Avi Kivity90cb0522007-07-17 13:04:56 +03001595static void kvm_mmu_page_unlink_children(struct kvm *kvm,
Avi Kivity4db35312007-11-21 15:28:32 +02001596 struct kvm_mmu_page *sp)
Avi Kivitya4360362007-01-05 16:36:45 -08001597{
Avi Kivity697fe2e2007-01-05 16:36:46 -08001598 unsigned i;
Avi Kivity697fe2e2007-01-05 16:36:46 -08001599
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08001600 for (i = 0; i < PT64_ENT_PER_PAGE; ++i)
1601 mmu_page_zap_pte(kvm, sp, sp->spt + i);
Avi Kivitya4360362007-01-05 16:36:45 -08001602}
1603
Avi Kivity4db35312007-11-21 15:28:32 +02001604static void kvm_mmu_put_page(struct kvm_mmu_page *sp, u64 *parent_pte)
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001605{
Avi Kivity4db35312007-11-21 15:28:32 +02001606 mmu_page_remove_parent_pte(sp, parent_pte);
Avi Kivitya4360362007-01-05 16:36:45 -08001607}
1608
Avi Kivity12b7d282007-09-23 14:10:49 +02001609static void kvm_mmu_reset_last_pte_updated(struct kvm *kvm)
1610{
1611 int i;
Gleb Natapov988a2ca2009-06-09 15:56:29 +03001612 struct kvm_vcpu *vcpu;
Avi Kivity12b7d282007-09-23 14:10:49 +02001613
Gleb Natapov988a2ca2009-06-09 15:56:29 +03001614 kvm_for_each_vcpu(i, vcpu, kvm)
1615 vcpu->arch.last_pte_updated = NULL;
Avi Kivity12b7d282007-09-23 14:10:49 +02001616}
1617
Avi Kivity31aa2b42008-07-11 17:59:46 +03001618static void kvm_mmu_unlink_parents(struct kvm *kvm, struct kvm_mmu_page *sp)
Avi Kivitya4360362007-01-05 16:36:45 -08001619{
1620 u64 *parent_pte;
1621
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08001622 while ((parent_pte = pte_list_next(&sp->parent_ptes, NULL)))
1623 drop_parent_pte(sp, parent_pte);
Avi Kivity31aa2b42008-07-11 17:59:46 +03001624}
1625
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001626static int mmu_zap_unsync_children(struct kvm *kvm,
Xiao Guangrong77758342010-06-04 21:53:54 +08001627 struct kvm_mmu_page *parent,
1628 struct list_head *invalid_list)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001629{
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001630 int i, zapped = 0;
1631 struct mmu_page_path parents;
1632 struct kvm_mmu_pages pages;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001633
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001634 if (parent->role.level == PT_PAGE_TABLE_LEVEL)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001635 return 0;
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001636
1637 kvm_mmu_pages_init(parent, &parents, &pages);
1638 while (mmu_unsync_walk(parent, &pages)) {
1639 struct kvm_mmu_page *sp;
1640
1641 for_each_sp(pages, sp, parents, i) {
Xiao Guangrong77758342010-06-04 21:53:54 +08001642 kvm_mmu_prepare_zap_page(kvm, sp, invalid_list);
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001643 mmu_pages_clear_parents(&parents);
Xiao Guangrong77662e02010-04-16 16:34:42 +08001644 zapped++;
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001645 }
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -02001646 kvm_mmu_pages_init(parent, &parents, &pages);
1647 }
1648
1649 return zapped;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001650}
1651
Xiao Guangrong77758342010-06-04 21:53:54 +08001652static int kvm_mmu_prepare_zap_page(struct kvm *kvm, struct kvm_mmu_page *sp,
1653 struct list_head *invalid_list)
Avi Kivity31aa2b42008-07-11 17:59:46 +03001654{
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001655 int ret;
Avi Kivityf691fe12009-07-06 15:58:14 +03001656
Xiao Guangrong77758342010-06-04 21:53:54 +08001657 trace_kvm_mmu_prepare_zap_page(sp);
Avi Kivity31aa2b42008-07-11 17:59:46 +03001658 ++kvm->stat.mmu_shadow_zapped;
Xiao Guangrong77758342010-06-04 21:53:54 +08001659 ret = mmu_zap_unsync_children(kvm, sp, invalid_list);
Avi Kivity4db35312007-11-21 15:28:32 +02001660 kvm_mmu_page_unlink_children(kvm, sp);
Avi Kivity31aa2b42008-07-11 17:59:46 +03001661 kvm_mmu_unlink_parents(kvm, sp);
Avi Kivityf6e2c022009-01-11 13:02:10 +02001662 if (!sp->role.invalid && !sp->role.direct)
Avi Kivity5b5c6a52008-07-11 18:07:26 +03001663 unaccount_shadowed(kvm, sp->gfn);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001664 if (sp->unsync)
1665 kvm_unlink_unsync_page(kvm, sp);
Avi Kivity4db35312007-11-21 15:28:32 +02001666 if (!sp->root_count) {
Gui Jianfeng54a4f022010-05-05 09:03:49 +08001667 /* Count self */
1668 ret++;
Xiao Guangrong77758342010-06-04 21:53:54 +08001669 list_move(&sp->link, invalid_list);
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05001670 } else {
Avi Kivity5b5c6a52008-07-11 18:07:26 +03001671 list_move(&sp->link, &kvm->arch.active_mmu_pages);
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05001672 kvm_reload_remote_mmus(kvm);
1673 }
Xiao Guangrong77758342010-06-04 21:53:54 +08001674
1675 sp->role.invalid = 1;
Avi Kivity12b7d282007-09-23 14:10:49 +02001676 kvm_mmu_reset_last_pte_updated(kvm);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001677 return ret;
Avi Kivitya4360362007-01-05 16:36:45 -08001678}
1679
Xiao Guangrong77758342010-06-04 21:53:54 +08001680static void kvm_mmu_commit_zap_page(struct kvm *kvm,
1681 struct list_head *invalid_list)
1682{
1683 struct kvm_mmu_page *sp;
1684
1685 if (list_empty(invalid_list))
1686 return;
1687
1688 kvm_flush_remote_tlbs(kvm);
1689
1690 do {
1691 sp = list_first_entry(invalid_list, struct kvm_mmu_page, link);
1692 WARN_ON(!sp->role.invalid || sp->root_count);
1693 kvm_mmu_free_page(kvm, sp);
1694 } while (!list_empty(invalid_list));
1695
1696}
1697
Izik Eidus82ce2c92007-10-02 18:52:55 +02001698/*
1699 * Changing the number of mmu pages allocated to the vm
Dave Hansen49d5ca22010-08-19 18:11:28 -07001700 * Note: if goal_nr_mmu_pages is too small, you will get dead lock
Izik Eidus82ce2c92007-10-02 18:52:55 +02001701 */
Dave Hansen49d5ca22010-08-19 18:11:28 -07001702void kvm_mmu_change_mmu_pages(struct kvm *kvm, unsigned int goal_nr_mmu_pages)
Izik Eidus82ce2c92007-10-02 18:52:55 +02001703{
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001704 LIST_HEAD(invalid_list);
Izik Eidus82ce2c92007-10-02 18:52:55 +02001705 /*
1706 * If we set the number of mmu pages to be smaller be than the
1707 * number of actived pages , we must to free some mmu pages before we
1708 * change the value
1709 */
1710
Dave Hansen49d5ca22010-08-19 18:11:28 -07001711 if (kvm->arch.n_used_mmu_pages > goal_nr_mmu_pages) {
1712 while (kvm->arch.n_used_mmu_pages > goal_nr_mmu_pages &&
Xiao Guangrong77662e02010-04-16 16:34:42 +08001713 !list_empty(&kvm->arch.active_mmu_pages)) {
Izik Eidus82ce2c92007-10-02 18:52:55 +02001714 struct kvm_mmu_page *page;
1715
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08001716 page = container_of(kvm->arch.active_mmu_pages.prev,
Izik Eidus82ce2c92007-10-02 18:52:55 +02001717 struct kvm_mmu_page, link);
Xiaotian Feng80b63fa2010-08-24 10:31:07 +08001718 kvm_mmu_prepare_zap_page(kvm, page, &invalid_list);
1719 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Izik Eidus82ce2c92007-10-02 18:52:55 +02001720 }
Dave Hansen49d5ca22010-08-19 18:11:28 -07001721 goal_nr_mmu_pages = kvm->arch.n_used_mmu_pages;
Izik Eidus82ce2c92007-10-02 18:52:55 +02001722 }
Izik Eidus82ce2c92007-10-02 18:52:55 +02001723
Dave Hansen49d5ca22010-08-19 18:11:28 -07001724 kvm->arch.n_max_mmu_pages = goal_nr_mmu_pages;
Izik Eidus82ce2c92007-10-02 18:52:55 +02001725}
1726
Anthony Liguorif67a46f2007-10-10 19:25:50 -05001727static int kvm_mmu_unprotect_page(struct kvm *kvm, gfn_t gfn)
Avi Kivitya4360362007-01-05 16:36:45 -08001728{
Avi Kivity4db35312007-11-21 15:28:32 +02001729 struct kvm_mmu_page *sp;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001730 struct hlist_node *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001731 LIST_HEAD(invalid_list);
Avi Kivitya4360362007-01-05 16:36:45 -08001732 int r;
1733
Xiao Guangrong9ad17b12010-08-28 19:19:42 +08001734 pgprintk("%s: looking for gfn %llx\n", __func__, gfn);
Avi Kivitya4360362007-01-05 16:36:45 -08001735 r = 0;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001736
1737 for_each_gfn_indirect_valid_sp(kvm, sp, gfn, node) {
Xiao Guangrong9ad17b12010-08-28 19:19:42 +08001738 pgprintk("%s: gfn %llx role %x\n", __func__, gfn,
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001739 sp->role.word);
1740 r = 1;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001741 kvm_mmu_prepare_zap_page(kvm, sp, &invalid_list);
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001742 }
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001743 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Avi Kivitya4360362007-01-05 16:36:45 -08001744 return r;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08001745}
1746
Anthony Liguorif67a46f2007-10-10 19:25:50 -05001747static void mmu_unshadow(struct kvm *kvm, gfn_t gfn)
Avi Kivity97a0a012007-05-31 15:08:29 +03001748{
Avi Kivity4db35312007-11-21 15:28:32 +02001749 struct kvm_mmu_page *sp;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001750 struct hlist_node *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001751 LIST_HEAD(invalid_list);
Avi Kivity97a0a012007-05-31 15:08:29 +03001752
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001753 for_each_gfn_indirect_valid_sp(kvm, sp, gfn, node) {
Xiao Guangrong9ad17b12010-08-28 19:19:42 +08001754 pgprintk("%s: zap %llx %x\n",
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001755 __func__, gfn, sp->role.word);
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001756 kvm_mmu_prepare_zap_page(kvm, sp, &invalid_list);
Avi Kivity97a0a012007-05-31 15:08:29 +03001757 }
Xiao Guangrongd98ba052010-06-04 21:55:29 +08001758 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Avi Kivity97a0a012007-05-31 15:08:29 +03001759}
1760
Avi Kivity38c335f2007-11-21 14:20:22 +02001761static void page_header_update_slot(struct kvm *kvm, void *pte, gfn_t gfn)
Avi Kivity6aa8b732006-12-10 02:21:36 -08001762{
Marcelo Tosattibc6678a2009-12-23 14:35:21 -02001763 int slot = memslot_id(kvm, gfn);
Avi Kivity4db35312007-11-21 15:28:32 +02001764 struct kvm_mmu_page *sp = page_header(__pa(pte));
Avi Kivity6aa8b732006-12-10 02:21:36 -08001765
Sheng Yang291f26b2008-10-16 17:30:57 +08001766 __set_bit(slot, sp->slot_bitmap);
Avi Kivity6aa8b732006-12-10 02:21:36 -08001767}
1768
Marcelo Tosatti6844dec2008-09-23 13:18:38 -03001769static void mmu_convert_notrap(struct kvm_mmu_page *sp)
1770{
1771 int i;
1772 u64 *pt = sp->spt;
1773
1774 if (shadow_trap_nonpresent_pte == shadow_notrap_nonpresent_pte)
1775 return;
1776
1777 for (i = 0; i < PT64_ENT_PER_PAGE; ++i) {
1778 if (pt[i] == shadow_notrap_nonpresent_pte)
Avi Kivityd555c332009-06-10 14:24:23 +03001779 __set_spte(&pt[i], shadow_trap_nonpresent_pte);
Marcelo Tosatti6844dec2008-09-23 13:18:38 -03001780 }
1781}
1782
Sheng Yang74be52e2008-10-09 16:01:56 +08001783/*
1784 * The function is based on mtrr_type_lookup() in
1785 * arch/x86/kernel/cpu/mtrr/generic.c
1786 */
1787static int get_mtrr_type(struct mtrr_state_type *mtrr_state,
1788 u64 start, u64 end)
1789{
1790 int i;
1791 u64 base, mask;
1792 u8 prev_match, curr_match;
1793 int num_var_ranges = KVM_NR_VAR_MTRR;
1794
1795 if (!mtrr_state->enabled)
1796 return 0xFF;
1797
1798 /* Make end inclusive end, instead of exclusive */
1799 end--;
1800
1801 /* Look in fixed ranges. Just return the type as per start */
1802 if (mtrr_state->have_fixed && (start < 0x100000)) {
1803 int idx;
1804
1805 if (start < 0x80000) {
1806 idx = 0;
1807 idx += (start >> 16);
1808 return mtrr_state->fixed_ranges[idx];
1809 } else if (start < 0xC0000) {
1810 idx = 1 * 8;
1811 idx += ((start - 0x80000) >> 14);
1812 return mtrr_state->fixed_ranges[idx];
1813 } else if (start < 0x1000000) {
1814 idx = 3 * 8;
1815 idx += ((start - 0xC0000) >> 12);
1816 return mtrr_state->fixed_ranges[idx];
1817 }
1818 }
1819
1820 /*
1821 * Look in variable ranges
1822 * Look of multiple ranges matching this address and pick type
1823 * as per MTRR precedence
1824 */
1825 if (!(mtrr_state->enabled & 2))
1826 return mtrr_state->def_type;
1827
1828 prev_match = 0xFF;
1829 for (i = 0; i < num_var_ranges; ++i) {
1830 unsigned short start_state, end_state;
1831
1832 if (!(mtrr_state->var_ranges[i].mask_lo & (1 << 11)))
1833 continue;
1834
1835 base = (((u64)mtrr_state->var_ranges[i].base_hi) << 32) +
1836 (mtrr_state->var_ranges[i].base_lo & PAGE_MASK);
1837 mask = (((u64)mtrr_state->var_ranges[i].mask_hi) << 32) +
1838 (mtrr_state->var_ranges[i].mask_lo & PAGE_MASK);
1839
1840 start_state = ((start & mask) == (base & mask));
1841 end_state = ((end & mask) == (base & mask));
1842 if (start_state != end_state)
1843 return 0xFE;
1844
1845 if ((start & mask) != (base & mask))
1846 continue;
1847
1848 curr_match = mtrr_state->var_ranges[i].base_lo & 0xff;
1849 if (prev_match == 0xFF) {
1850 prev_match = curr_match;
1851 continue;
1852 }
1853
1854 if (prev_match == MTRR_TYPE_UNCACHABLE ||
1855 curr_match == MTRR_TYPE_UNCACHABLE)
1856 return MTRR_TYPE_UNCACHABLE;
1857
1858 if ((prev_match == MTRR_TYPE_WRBACK &&
1859 curr_match == MTRR_TYPE_WRTHROUGH) ||
1860 (prev_match == MTRR_TYPE_WRTHROUGH &&
1861 curr_match == MTRR_TYPE_WRBACK)) {
1862 prev_match = MTRR_TYPE_WRTHROUGH;
1863 curr_match = MTRR_TYPE_WRTHROUGH;
1864 }
1865
1866 if (prev_match != curr_match)
1867 return MTRR_TYPE_UNCACHABLE;
1868 }
1869
1870 if (prev_match != 0xFF)
1871 return prev_match;
1872
1873 return mtrr_state->def_type;
1874}
1875
Sheng Yang4b12f0d2009-04-27 20:35:42 +08001876u8 kvm_get_guest_memory_type(struct kvm_vcpu *vcpu, gfn_t gfn)
Sheng Yang74be52e2008-10-09 16:01:56 +08001877{
1878 u8 mtrr;
1879
1880 mtrr = get_mtrr_type(&vcpu->arch.mtrr_state, gfn << PAGE_SHIFT,
1881 (gfn << PAGE_SHIFT) + PAGE_SIZE);
1882 if (mtrr == 0xfe || mtrr == 0xff)
1883 mtrr = MTRR_TYPE_WRBACK;
1884 return mtrr;
1885}
Sheng Yang4b12f0d2009-04-27 20:35:42 +08001886EXPORT_SYMBOL_GPL(kvm_get_guest_memory_type);
Sheng Yang74be52e2008-10-09 16:01:56 +08001887
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001888static void __kvm_unsync_page(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001889{
Xiao Guangrong5e1b3dd2010-04-28 11:55:06 +08001890 trace_kvm_mmu_unsync_page(sp);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001891 ++vcpu->kvm->stat.mmu_unsync;
1892 sp->unsync = 1;
Marcelo Tosatti6cffe8c2008-12-01 22:32:04 -02001893
Xiao Guangrong6b184932010-04-16 21:29:17 +08001894 kvm_mmu_mark_parents_unsync(sp);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001895 mmu_convert_notrap(sp);
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001896}
1897
1898static void kvm_unsync_pages(struct kvm_vcpu *vcpu, gfn_t gfn)
1899{
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001900 struct kvm_mmu_page *s;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001901 struct hlist_node *node;
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001902
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001903 for_each_gfn_indirect_valid_sp(vcpu->kvm, s, gfn, node) {
Xiao Guangrong7ae680e2010-06-04 21:53:07 +08001904 if (s->unsync)
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001905 continue;
1906 WARN_ON(s->role.level != PT_PAGE_TABLE_LEVEL);
1907 __kvm_unsync_page(vcpu, s);
1908 }
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001909}
1910
1911static int mmu_need_write_protect(struct kvm_vcpu *vcpu, gfn_t gfn,
1912 bool can_unsync)
1913{
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001914 struct kvm_mmu_page *s;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001915 struct hlist_node *node;
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001916 bool need_unsync = false;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001917
Xiao Guangrongf41d3352010-06-04 21:56:11 +08001918 for_each_gfn_indirect_valid_sp(vcpu->kvm, s, gfn, node) {
Xiao Guangrong36a2e672010-06-30 16:02:02 +08001919 if (!can_unsync)
1920 return 1;
1921
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001922 if (s->role.level != PT_PAGE_TABLE_LEVEL)
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001923 return 1;
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001924
1925 if (!need_unsync && !s->unsync) {
Xiao Guangrong36a2e672010-06-30 16:02:02 +08001926 if (!oos_shadow)
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001927 return 1;
1928 need_unsync = true;
1929 }
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001930 }
Xiao Guangrong9cf5cf52010-05-24 15:40:07 +08001931 if (need_unsync)
1932 kvm_unsync_pages(vcpu, gfn);
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03001933 return 0;
1934}
1935
Avi Kivityd555c332009-06-10 14:24:23 +03001936static int set_spte(struct kvm_vcpu *vcpu, u64 *sptep,
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001937 unsigned pte_access, int user_fault,
Joerg Roedel852e3c12009-07-27 16:30:44 +02001938 int write_fault, int dirty, int level,
Marcelo Tosattic2d0ee42009-04-05 14:54:47 -03001939 gfn_t gfn, pfn_t pfn, bool speculative,
Lai Jiangshan9bdbba12010-11-19 17:03:22 +08001940 bool can_unsync, bool host_writable)
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001941{
Xiao Guangrongb330aa02010-11-19 17:02:35 +08001942 u64 spte, entry = *sptep;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03001943 int ret = 0;
Sheng Yang64d4d522008-10-09 16:01:57 +08001944
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001945 /*
1946 * We don't set the accessed bit, since we sometimes want to see
1947 * whether the guest actually used the pte (in order to detect
1948 * demand paging).
1949 */
Marcelo Tosatti982c2562010-10-22 14:18:16 -02001950 spte = PT_PRESENT_MASK;
Avi Kivity947da532008-03-18 11:05:52 +02001951 if (!speculative)
Avi Kivity3201b5d2008-08-27 20:01:04 +03001952 spte |= shadow_accessed_mask;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001953 if (!dirty)
1954 pte_access &= ~ACC_WRITE_MASK;
Sheng Yang7b523452008-04-25 21:13:50 +08001955 if (pte_access & ACC_EXEC_MASK)
1956 spte |= shadow_x_mask;
1957 else
1958 spte |= shadow_nx_mask;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001959 if (pte_access & ACC_USER_MASK)
Sheng Yang7b523452008-04-25 21:13:50 +08001960 spte |= shadow_user_mask;
Joerg Roedel852e3c12009-07-27 16:30:44 +02001961 if (level > PT_PAGE_TABLE_LEVEL)
Marcelo Tosatti05da4552008-02-23 11:44:30 -03001962 spte |= PT_PAGE_SIZE_MASK;
Avi Kivityb0bc3ee2010-09-13 16:45:28 +02001963 if (tdp_enabled)
Sheng Yang4b12f0d2009-04-27 20:35:42 +08001964 spte |= kvm_x86_ops->get_mt_mask(vcpu, gfn,
1965 kvm_is_mmio_pfn(pfn));
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001966
Lai Jiangshan9bdbba12010-11-19 17:03:22 +08001967 if (host_writable)
Izik Eidus14032832009-09-23 21:47:17 +03001968 spte |= SPTE_HOST_WRITEABLE;
Xiao Guangrongf8e453b2010-12-23 16:09:29 +08001969 else
1970 pte_access &= ~ACC_WRITE_MASK;
Izik Eidus14032832009-09-23 21:47:17 +03001971
Anthony Liguori35149e22008-04-02 14:46:56 -05001972 spte |= (u64)pfn << PAGE_SHIFT;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001973
1974 if ((pte_access & ACC_WRITE_MASK)
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02001975 || (!vcpu->arch.mmu.direct_map && write_fault
1976 && !is_write_protection(vcpu) && !user_fault)) {
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001977
Joerg Roedel852e3c12009-07-27 16:30:44 +02001978 if (level > PT_PAGE_TABLE_LEVEL &&
1979 has_wrprotected_page(vcpu->kvm, gfn, level)) {
Marcelo Tosatti38187c82008-09-23 13:18:32 -03001980 ret = 1;
Avi Kivitybe38d272010-06-06 14:31:27 +03001981 drop_spte(vcpu->kvm, sptep, shadow_trap_nonpresent_pte);
1982 goto done;
Marcelo Tosatti38187c82008-09-23 13:18:32 -03001983 }
1984
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001985 spte |= PT_WRITABLE_MASK;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02001986
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02001987 if (!vcpu->arch.mmu.direct_map
Avi Kivity411c5882011-06-06 16:11:54 +03001988 && !(pte_access & ACC_WRITE_MASK)) {
Avi Kivity69325a12010-05-27 14:35:58 +03001989 spte &= ~PT_USER_MASK;
Avi Kivity411c5882011-06-06 16:11:54 +03001990 /*
1991 * If we converted a user page to a kernel page,
1992 * so that the kernel can write to it when cr0.wp=0,
1993 * then we should prevent the kernel from executing it
1994 * if SMEP is enabled.
1995 */
1996 if (kvm_read_cr4_bits(vcpu, X86_CR4_SMEP))
1997 spte |= PT64_NX_MASK;
1998 }
Avi Kivity69325a12010-05-27 14:35:58 +03001999
Marcelo Tosattiecc55892008-11-25 15:58:07 +01002000 /*
2001 * Optimization: for pte sync, if spte was writable the hash
2002 * lookup is unnecessary (and expensive). Write protection
2003 * is responsibility of mmu_get_page / kvm_sync_page.
2004 * Same reasoning can be applied to dirty page accounting.
2005 */
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +09002006 if (!can_unsync && is_writable_pte(*sptep))
Marcelo Tosattiecc55892008-11-25 15:58:07 +01002007 goto set_pte;
2008
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -03002009 if (mmu_need_write_protect(vcpu, gfn, can_unsync)) {
Xiao Guangrong9ad17b12010-08-28 19:19:42 +08002010 pgprintk("%s: found shadow page for %llx, marking ro\n",
Harvey Harrisonb8688d52008-03-03 12:59:56 -08002011 __func__, gfn);
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002012 ret = 1;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002013 pte_access &= ~ACC_WRITE_MASK;
Takuya Yoshikawa8dae4442010-01-18 18:45:10 +09002014 if (is_writable_pte(spte))
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002015 spte &= ~PT_WRITABLE_MASK;
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002016 }
2017 }
2018
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002019 if (pte_access & ACC_WRITE_MASK)
2020 mark_page_dirty(vcpu->kvm, gfn);
2021
Marcelo Tosatti38187c82008-09-23 13:18:32 -03002022set_pte:
Avi Kivityb79b93f2010-06-06 15:46:44 +03002023 update_spte(sptep, spte);
Xiao Guangrongb330aa02010-11-19 17:02:35 +08002024 /*
2025 * If we overwrite a writable spte with a read-only one we
2026 * should flush remote TLBs. Otherwise rmap_write_protect
2027 * will find a read-only spte, even though the writable spte
2028 * might be cached on a CPU's TLB.
2029 */
2030 if (is_writable_pte(entry) && !is_writable_pte(*sptep))
2031 kvm_flush_remote_tlbs(vcpu->kvm);
Avi Kivitybe38d272010-06-06 14:31:27 +03002032done:
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002033 return ret;
2034}
2035
Avi Kivityd555c332009-06-10 14:24:23 +03002036static void mmu_set_spte(struct kvm_vcpu *vcpu, u64 *sptep,
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002037 unsigned pt_access, unsigned pte_access,
2038 int user_fault, int write_fault, int dirty,
Joerg Roedel852e3c12009-07-27 16:30:44 +02002039 int *ptwrite, int level, gfn_t gfn,
Izik Eidus14032832009-09-23 21:47:17 +03002040 pfn_t pfn, bool speculative,
Lai Jiangshan9bdbba12010-11-19 17:03:22 +08002041 bool host_writable)
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002042{
2043 int was_rmapped = 0;
Marcelo Tosatti53a27b32009-08-05 15:43:58 -03002044 int rmap_count;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002045
2046 pgprintk("%s: spte %llx access %x write_fault %d"
Xiao Guangrong9ad17b12010-08-28 19:19:42 +08002047 " user_fault %d gfn %llx\n",
Avi Kivityd555c332009-06-10 14:24:23 +03002048 __func__, *sptep, pt_access,
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002049 write_fault, user_fault, gfn);
2050
Avi Kivityd555c332009-06-10 14:24:23 +03002051 if (is_rmap_spte(*sptep)) {
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002052 /*
2053 * If we overwrite a PTE page pointer with a 2MB PMD, unlink
2054 * the parent of the now unreachable PTE.
2055 */
Joerg Roedel852e3c12009-07-27 16:30:44 +02002056 if (level > PT_PAGE_TABLE_LEVEL &&
2057 !is_large_pte(*sptep)) {
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002058 struct kvm_mmu_page *child;
Avi Kivityd555c332009-06-10 14:24:23 +03002059 u64 pte = *sptep;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002060
2061 child = page_header(pte & PT64_BASE_ADDR_MASK);
Xiao Guangrongbcdd9a92011-05-15 23:28:29 +08002062 drop_parent_pte(child, sptep);
Marcelo Tosatti3be22642010-05-28 09:44:59 -03002063 kvm_flush_remote_tlbs(vcpu->kvm);
Avi Kivityd555c332009-06-10 14:24:23 +03002064 } else if (pfn != spte_to_pfn(*sptep)) {
Xiao Guangrong9ad17b12010-08-28 19:19:42 +08002065 pgprintk("hfn old %llx new %llx\n",
Avi Kivityd555c332009-06-10 14:24:23 +03002066 spte_to_pfn(*sptep), pfn);
Avi Kivitybe38d272010-06-06 14:31:27 +03002067 drop_spte(vcpu->kvm, sptep, shadow_trap_nonpresent_pte);
Xiao Guangrong91546352010-06-30 16:04:06 +08002068 kvm_flush_remote_tlbs(vcpu->kvm);
Joerg Roedel6bed6b92009-02-18 14:08:59 +01002069 } else
2070 was_rmapped = 1;
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002071 }
Joerg Roedel852e3c12009-07-27 16:30:44 +02002072
Avi Kivityd555c332009-06-10 14:24:23 +03002073 if (set_spte(vcpu, sptep, pte_access, user_fault, write_fault,
Izik Eidus14032832009-09-23 21:47:17 +03002074 dirty, level, gfn, pfn, speculative, true,
Lai Jiangshan9bdbba12010-11-19 17:03:22 +08002075 host_writable)) {
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002076 if (write_fault)
2077 *ptwrite = 1;
Xiao Guangrong5304efd2010-06-08 20:05:57 +08002078 kvm_mmu_flush_tlb(vcpu);
Marcelo Tosattia378b4e2008-09-23 13:18:31 -03002079 }
Marcelo Tosatti1e73f9d2008-09-23 13:18:30 -03002080
Avi Kivityd555c332009-06-10 14:24:23 +03002081 pgprintk("%s: setting spte %llx\n", __func__, *sptep);
Xiao Guangrong9ad17b12010-08-28 19:19:42 +08002082 pgprintk("instantiating %s PTE (%s) at %llx (%llx) addr %p\n",
Avi Kivityd555c332009-06-10 14:24:23 +03002083 is_large_pte(*sptep)? "2MB" : "4kB",
Joerg Roedela205bc12009-07-09 16:36:01 +02002084 *sptep & PT_PRESENT_MASK ?"RW":"R", gfn,
2085 *sptep, sptep);
Avi Kivityd555c332009-06-10 14:24:23 +03002086 if (!was_rmapped && is_large_pte(*sptep))
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002087 ++vcpu->kvm->stat.lpages;
2088
Avi Kivityd555c332009-06-10 14:24:23 +03002089 page_header_update_slot(vcpu->kvm, sptep, gfn);
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002090 if (!was_rmapped) {
Joerg Roedel44ad9942009-07-27 16:30:42 +02002091 rmap_count = rmap_add(vcpu, sptep, gfn);
Marcelo Tosatti53a27b32009-08-05 15:43:58 -03002092 if (rmap_count > RMAP_RECYCLE_THRESHOLD)
Joerg Roedel852e3c12009-07-27 16:30:44 +02002093 rmap_recycle(vcpu, sptep, gfn);
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002094 }
Xiao Guangrong9ed55202010-07-16 11:25:17 +08002095 kvm_release_pfn_clean(pfn);
Avi Kivity1b7fcd32008-05-15 13:51:35 +03002096 if (speculative) {
Avi Kivityd555c332009-06-10 14:24:23 +03002097 vcpu->arch.last_pte_updated = sptep;
Avi Kivity1b7fcd32008-05-15 13:51:35 +03002098 vcpu->arch.last_pte_gfn = gfn;
2099 }
Avi Kivity1c4f1fd2007-12-09 17:40:31 +02002100}
2101
Avi Kivity6aa8b732006-12-10 02:21:36 -08002102static void nonpaging_new_cr3(struct kvm_vcpu *vcpu)
2103{
2104}
2105
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002106static pfn_t pte_prefetch_gfn_to_pfn(struct kvm_vcpu *vcpu, gfn_t gfn,
2107 bool no_dirty_log)
2108{
2109 struct kvm_memory_slot *slot;
2110 unsigned long hva;
2111
Xiao Guangrong5d163b12011-03-09 15:43:00 +08002112 slot = gfn_to_memslot_dirty_bitmap(vcpu, gfn, no_dirty_log);
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002113 if (!slot) {
2114 get_page(bad_page);
2115 return page_to_pfn(bad_page);
2116 }
2117
2118 hva = gfn_to_hva_memslot(slot, gfn);
2119
2120 return hva_to_pfn_atomic(vcpu->kvm, hva);
2121}
2122
2123static int direct_pte_prefetch_many(struct kvm_vcpu *vcpu,
2124 struct kvm_mmu_page *sp,
2125 u64 *start, u64 *end)
2126{
2127 struct page *pages[PTE_PREFETCH_NUM];
2128 unsigned access = sp->role.access;
2129 int i, ret;
2130 gfn_t gfn;
2131
2132 gfn = kvm_mmu_page_get_gfn(sp, start - sp->spt);
Xiao Guangrong5d163b12011-03-09 15:43:00 +08002133 if (!gfn_to_memslot_dirty_bitmap(vcpu, gfn, access & ACC_WRITE_MASK))
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002134 return -1;
2135
2136 ret = gfn_to_page_many_atomic(vcpu->kvm, gfn, pages, end - start);
2137 if (ret <= 0)
2138 return -1;
2139
2140 for (i = 0; i < ret; i++, gfn++, start++)
2141 mmu_set_spte(vcpu, start, ACC_ALL,
2142 access, 0, 0, 1, NULL,
2143 sp->role.level, gfn,
2144 page_to_pfn(pages[i]), true, true);
2145
2146 return 0;
2147}
2148
2149static void __direct_pte_prefetch(struct kvm_vcpu *vcpu,
2150 struct kvm_mmu_page *sp, u64 *sptep)
2151{
2152 u64 *spte, *start = NULL;
2153 int i;
2154
2155 WARN_ON(!sp->role.direct);
2156
2157 i = (sptep - sp->spt) & ~(PTE_PREFETCH_NUM - 1);
2158 spte = sp->spt + i;
2159
2160 for (i = 0; i < PTE_PREFETCH_NUM; i++, spte++) {
2161 if (*spte != shadow_trap_nonpresent_pte || spte == sptep) {
2162 if (!start)
2163 continue;
2164 if (direct_pte_prefetch_many(vcpu, sp, start, spte) < 0)
2165 break;
2166 start = NULL;
2167 } else if (!start)
2168 start = spte;
2169 }
2170}
2171
2172static void direct_pte_prefetch(struct kvm_vcpu *vcpu, u64 *sptep)
2173{
2174 struct kvm_mmu_page *sp;
2175
2176 /*
2177 * Since it's no accessed bit on EPT, it's no way to
2178 * distinguish between actually accessed translations
2179 * and prefetched, so disable pte prefetch if EPT is
2180 * enabled.
2181 */
2182 if (!shadow_accessed_mask)
2183 return;
2184
2185 sp = page_header(__pa(sptep));
2186 if (sp->role.level > PT_PAGE_TABLE_LEVEL)
2187 return;
2188
2189 __direct_pte_prefetch(vcpu, sp, sptep);
2190}
2191
Joerg Roedel4d9976b2008-02-07 13:47:42 +01002192static int __direct_map(struct kvm_vcpu *vcpu, gpa_t v, int write,
Xiao Guangrong2ec47392010-12-07 10:34:42 +08002193 int map_writable, int level, gfn_t gfn, pfn_t pfn,
2194 bool prefault)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002195{
Avi Kivity9f652d22008-12-25 14:54:25 +02002196 struct kvm_shadow_walk_iterator iterator;
2197 struct kvm_mmu_page *sp;
2198 int pt_write = 0;
2199 gfn_t pseudo_gfn;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002200
Avi Kivity9f652d22008-12-25 14:54:25 +02002201 for_each_shadow_entry(vcpu, (u64)gfn << PAGE_SHIFT, iterator) {
Joerg Roedel852e3c12009-07-27 16:30:44 +02002202 if (iterator.level == level) {
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002203 unsigned pte_access = ACC_ALL;
2204
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002205 mmu_set_spte(vcpu, iterator.sptep, ACC_ALL, pte_access,
Avi Kivity9f652d22008-12-25 14:54:25 +02002206 0, write, 1, &pt_write,
Xiao Guangrong2ec47392010-12-07 10:34:42 +08002207 level, gfn, pfn, prefault, map_writable);
Xiao Guangrong957ed9e2010-08-22 19:12:48 +08002208 direct_pte_prefetch(vcpu, iterator.sptep);
Avi Kivity9f652d22008-12-25 14:54:25 +02002209 ++vcpu->stat.pf_fixed;
2210 break;
2211 }
2212
2213 if (*iterator.sptep == shadow_trap_nonpresent_pte) {
Lai Jiangshanc9fa0b32010-05-26 16:48:25 +08002214 u64 base_addr = iterator.addr;
2215
2216 base_addr &= PT64_LVL_ADDR_MASK(iterator.level);
2217 pseudo_gfn = base_addr >> PAGE_SHIFT;
Avi Kivity9f652d22008-12-25 14:54:25 +02002218 sp = kvm_mmu_get_page(vcpu, pseudo_gfn, iterator.addr,
2219 iterator.level - 1,
2220 1, ACC_ALL, iterator.sptep);
2221 if (!sp) {
2222 pgprintk("nonpaging_map: ENOMEM\n");
2223 kvm_release_pfn_clean(pfn);
2224 return -ENOMEM;
2225 }
2226
Avi Kivityd555c332009-06-10 14:24:23 +03002227 __set_spte(iterator.sptep,
2228 __pa(sp->spt)
2229 | PT_PRESENT_MASK | PT_WRITABLE_MASK
Xiao Guangrong33f91ed2010-09-27 18:05:00 +08002230 | shadow_user_mask | shadow_x_mask
2231 | shadow_accessed_mask);
Avi Kivity9f652d22008-12-25 14:54:25 +02002232 }
2233 }
2234 return pt_write;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002235}
2236
Huang Ying77db5cb2010-10-08 16:24:15 +08002237static void kvm_send_hwpoison_signal(unsigned long address, struct task_struct *tsk)
Huang Yingbf998152010-05-31 14:28:19 +08002238{
Huang Ying77db5cb2010-10-08 16:24:15 +08002239 siginfo_t info;
Huang Yingbf998152010-05-31 14:28:19 +08002240
Huang Ying77db5cb2010-10-08 16:24:15 +08002241 info.si_signo = SIGBUS;
2242 info.si_errno = 0;
2243 info.si_code = BUS_MCEERR_AR;
2244 info.si_addr = (void __user *)address;
2245 info.si_addr_lsb = PAGE_SHIFT;
2246
2247 send_sig_info(SIGBUS, &info, tsk);
Huang Yingbf998152010-05-31 14:28:19 +08002248}
2249
2250static int kvm_handle_bad_page(struct kvm *kvm, gfn_t gfn, pfn_t pfn)
2251{
2252 kvm_release_pfn_clean(pfn);
2253 if (is_hwpoison_pfn(pfn)) {
Huang Ying77db5cb2010-10-08 16:24:15 +08002254 kvm_send_hwpoison_signal(gfn_to_hva(kvm, gfn), current);
Huang Yingbf998152010-05-31 14:28:19 +08002255 return 0;
Gleb Natapovedba23e2010-07-07 20:16:45 +03002256 } else if (is_fault_pfn(pfn))
2257 return -EFAULT;
2258
Huang Yingbf998152010-05-31 14:28:19 +08002259 return 1;
2260}
2261
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002262static void transparent_hugepage_adjust(struct kvm_vcpu *vcpu,
2263 gfn_t *gfnp, pfn_t *pfnp, int *levelp)
2264{
2265 pfn_t pfn = *pfnp;
2266 gfn_t gfn = *gfnp;
2267 int level = *levelp;
2268
2269 /*
2270 * Check if it's a transparent hugepage. If this would be an
2271 * hugetlbfs page, level wouldn't be set to
2272 * PT_PAGE_TABLE_LEVEL and there would be no adjustment done
2273 * here.
2274 */
2275 if (!is_error_pfn(pfn) && !kvm_is_mmio_pfn(pfn) &&
2276 level == PT_PAGE_TABLE_LEVEL &&
2277 PageTransCompound(pfn_to_page(pfn)) &&
2278 !has_wrprotected_page(vcpu->kvm, gfn, PT_DIRECTORY_LEVEL)) {
2279 unsigned long mask;
2280 /*
2281 * mmu_notifier_retry was successful and we hold the
2282 * mmu_lock here, so the pmd can't become splitting
2283 * from under us, and in turn
2284 * __split_huge_page_refcount() can't run from under
2285 * us and we can safely transfer the refcount from
2286 * PG_tail to PG_head as we switch the pfn to tail to
2287 * head.
2288 */
2289 *levelp = level = PT_DIRECTORY_LEVEL;
2290 mask = KVM_PAGES_PER_HPAGE(level) - 1;
2291 VM_BUG_ON((gfn & mask) != (pfn & mask));
2292 if (pfn & mask) {
2293 gfn &= ~mask;
2294 *gfnp = gfn;
2295 kvm_release_pfn_clean(pfn);
2296 pfn &= ~mask;
2297 if (!get_page_unless_zero(pfn_to_page(pfn)))
2298 BUG();
2299 *pfnp = pfn;
2300 }
2301 }
2302}
2303
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002304static bool try_async_pf(struct kvm_vcpu *vcpu, bool prefault, gfn_t gfn,
Xiao Guangrong060c2ab2010-11-12 14:49:11 +08002305 gva_t gva, pfn_t *pfn, bool write, bool *writable);
2306
2307static int nonpaging_map(struct kvm_vcpu *vcpu, gva_t v, int write, gfn_t gfn,
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002308 bool prefault)
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002309{
2310 int r;
Joerg Roedel852e3c12009-07-27 16:30:44 +02002311 int level;
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002312 int force_pt_level;
Anthony Liguori35149e22008-04-02 14:46:56 -05002313 pfn_t pfn;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002314 unsigned long mmu_seq;
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002315 bool map_writable;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002316
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002317 force_pt_level = mapping_level_dirty_bitmap(vcpu, gfn);
2318 if (likely(!force_pt_level)) {
2319 level = mapping_level(vcpu, gfn);
2320 /*
2321 * This path builds a PAE pagetable - so we can map
2322 * 2mb pages at maximum. Therefore check if the level
2323 * is larger than that.
2324 */
2325 if (level > PT_DIRECTORY_LEVEL)
2326 level = PT_DIRECTORY_LEVEL;
Joerg Roedel852e3c12009-07-27 16:30:44 +02002327
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002328 gfn &= ~(KVM_PAGES_PER_HPAGE(level) - 1);
2329 } else
2330 level = PT_PAGE_TABLE_LEVEL;
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002331
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002332 mmu_seq = vcpu->kvm->mmu_notifier_seq;
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -03002333 smp_rmb();
Xiao Guangrong060c2ab2010-11-12 14:49:11 +08002334
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002335 if (try_async_pf(vcpu, prefault, gfn, v, &pfn, write, &map_writable))
Xiao Guangrong060c2ab2010-11-12 14:49:11 +08002336 return 0;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002337
Avi Kivityd196e342008-01-24 11:44:11 +02002338 /* mmio */
Huang Yingbf998152010-05-31 14:28:19 +08002339 if (is_error_pfn(pfn))
2340 return kvm_handle_bad_page(vcpu->kvm, gfn, pfn);
Avi Kivityd196e342008-01-24 11:44:11 +02002341
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002342 spin_lock(&vcpu->kvm->mmu_lock);
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002343 if (mmu_notifier_retry(vcpu, mmu_seq))
2344 goto out_unlock;
Avi Kivityeb787d12007-12-31 15:27:49 +02002345 kvm_mmu_free_some_pages(vcpu);
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002346 if (likely(!force_pt_level))
2347 transparent_hugepage_adjust(vcpu, &gfn, &pfn, &level);
Xiao Guangrong2ec47392010-12-07 10:34:42 +08002348 r = __direct_map(vcpu, v, write, map_writable, level, gfn, pfn,
2349 prefault);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002350 spin_unlock(&vcpu->kvm->mmu_lock);
2351
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002352
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002353 return r;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002354
2355out_unlock:
2356 spin_unlock(&vcpu->kvm->mmu_lock);
2357 kvm_release_pfn_clean(pfn);
2358 return 0;
Marcelo Tosatti10589a42007-12-20 19:18:22 -05002359}
2360
2361
Avi Kivity17ac10a2007-01-05 16:36:40 -08002362static void mmu_free_roots(struct kvm_vcpu *vcpu)
2363{
2364 int i;
Avi Kivity4db35312007-11-21 15:28:32 +02002365 struct kvm_mmu_page *sp;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08002366 LIST_HEAD(invalid_list);
Avi Kivity17ac10a2007-01-05 16:36:40 -08002367
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002368 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))
Avi Kivity7b53aa52007-06-05 12:17:03 +03002369 return;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002370 spin_lock(&vcpu->kvm->mmu_lock);
Joerg Roedel81407ca2010-09-10 17:31:00 +02002371 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL &&
2372 (vcpu->arch.mmu.root_level == PT64_ROOT_LEVEL ||
2373 vcpu->arch.mmu.direct_map)) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002374 hpa_t root = vcpu->arch.mmu.root_hpa;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002375
Avi Kivity4db35312007-11-21 15:28:32 +02002376 sp = page_header(root);
2377 --sp->root_count;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08002378 if (!sp->root_count && sp->role.invalid) {
2379 kvm_mmu_prepare_zap_page(vcpu->kvm, sp, &invalid_list);
2380 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
2381 }
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002382 vcpu->arch.mmu.root_hpa = INVALID_PAGE;
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002383 spin_unlock(&vcpu->kvm->mmu_lock);
Avi Kivity17ac10a2007-01-05 16:36:40 -08002384 return;
2385 }
Avi Kivity17ac10a2007-01-05 16:36:40 -08002386 for (i = 0; i < 4; ++i) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002387 hpa_t root = vcpu->arch.mmu.pae_root[i];
Avi Kivity17ac10a2007-01-05 16:36:40 -08002388
Avi Kivity417726a2007-04-12 17:35:58 +03002389 if (root) {
Avi Kivity417726a2007-04-12 17:35:58 +03002390 root &= PT64_BASE_ADDR_MASK;
Avi Kivity4db35312007-11-21 15:28:32 +02002391 sp = page_header(root);
2392 --sp->root_count;
Marcelo Tosatti2e53d632008-02-20 14:47:24 -05002393 if (!sp->root_count && sp->role.invalid)
Xiao Guangrongd98ba052010-06-04 21:55:29 +08002394 kvm_mmu_prepare_zap_page(vcpu->kvm, sp,
2395 &invalid_list);
Avi Kivity417726a2007-04-12 17:35:58 +03002396 }
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002397 vcpu->arch.mmu.pae_root[i] = INVALID_PAGE;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002398 }
Xiao Guangrongd98ba052010-06-04 21:55:29 +08002399 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05002400 spin_unlock(&vcpu->kvm->mmu_lock);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002401 vcpu->arch.mmu.root_hpa = INVALID_PAGE;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002402}
2403
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002404static int mmu_check_root(struct kvm_vcpu *vcpu, gfn_t root_gfn)
2405{
2406 int ret = 0;
2407
2408 if (!kvm_is_visible_gfn(vcpu->kvm, root_gfn)) {
Avi Kivitya8eeb042010-05-10 12:34:53 +03002409 kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002410 ret = 1;
2411 }
2412
2413 return ret;
2414}
2415
Joerg Roedel651dd372010-09-10 17:30:59 +02002416static int mmu_alloc_direct_roots(struct kvm_vcpu *vcpu)
2417{
2418 struct kvm_mmu_page *sp;
Avi Kivity7ebaf152010-10-03 18:51:39 +02002419 unsigned i;
Joerg Roedel651dd372010-09-10 17:30:59 +02002420
2421 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL) {
2422 spin_lock(&vcpu->kvm->mmu_lock);
2423 kvm_mmu_free_some_pages(vcpu);
2424 sp = kvm_mmu_get_page(vcpu, 0, 0, PT64_ROOT_LEVEL,
2425 1, ACC_ALL, NULL);
2426 ++sp->root_count;
2427 spin_unlock(&vcpu->kvm->mmu_lock);
2428 vcpu->arch.mmu.root_hpa = __pa(sp->spt);
2429 } else if (vcpu->arch.mmu.shadow_root_level == PT32E_ROOT_LEVEL) {
2430 for (i = 0; i < 4; ++i) {
2431 hpa_t root = vcpu->arch.mmu.pae_root[i];
2432
2433 ASSERT(!VALID_PAGE(root));
2434 spin_lock(&vcpu->kvm->mmu_lock);
2435 kvm_mmu_free_some_pages(vcpu);
Avi Kivity649497d2010-12-28 12:09:07 +02002436 sp = kvm_mmu_get_page(vcpu, i << (30 - PAGE_SHIFT),
2437 i << 30,
Joerg Roedel651dd372010-09-10 17:30:59 +02002438 PT32_ROOT_LEVEL, 1, ACC_ALL,
2439 NULL);
2440 root = __pa(sp->spt);
2441 ++sp->root_count;
2442 spin_unlock(&vcpu->kvm->mmu_lock);
2443 vcpu->arch.mmu.pae_root[i] = root | PT_PRESENT_MASK;
Joerg Roedel651dd372010-09-10 17:30:59 +02002444 }
Xiao Guangrong62927572010-09-27 18:02:12 +08002445 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root);
Joerg Roedel651dd372010-09-10 17:30:59 +02002446 } else
2447 BUG();
2448
2449 return 0;
2450}
2451
2452static int mmu_alloc_shadow_roots(struct kvm_vcpu *vcpu)
Avi Kivity17ac10a2007-01-05 16:36:40 -08002453{
Avi Kivity4db35312007-11-21 15:28:32 +02002454 struct kvm_mmu_page *sp;
Joerg Roedel81407ca2010-09-10 17:31:00 +02002455 u64 pdptr, pm_mask;
2456 gfn_t root_gfn;
2457 int i;
Avi Kivity3bb65a22007-01-05 16:36:51 -08002458
Joerg Roedel5777ed32010-09-10 17:30:42 +02002459 root_gfn = vcpu->arch.mmu.get_cr3(vcpu) >> PAGE_SHIFT;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002460
Joerg Roedel651dd372010-09-10 17:30:59 +02002461 if (mmu_check_root(vcpu, root_gfn))
2462 return 1;
2463
2464 /*
2465 * Do we shadow a long mode page table? If so we need to
2466 * write-protect the guests page table root.
2467 */
2468 if (vcpu->arch.mmu.root_level == PT64_ROOT_LEVEL) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002469 hpa_t root = vcpu->arch.mmu.root_hpa;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002470
2471 ASSERT(!VALID_PAGE(root));
Joerg Roedel651dd372010-09-10 17:30:59 +02002472
Avi Kivity8facbbf2010-05-04 12:58:32 +03002473 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti24955b62010-05-12 21:00:35 -03002474 kvm_mmu_free_some_pages(vcpu);
Joerg Roedel651dd372010-09-10 17:30:59 +02002475 sp = kvm_mmu_get_page(vcpu, root_gfn, 0, PT64_ROOT_LEVEL,
2476 0, ACC_ALL, NULL);
Avi Kivity4db35312007-11-21 15:28:32 +02002477 root = __pa(sp->spt);
2478 ++sp->root_count;
Avi Kivity8facbbf2010-05-04 12:58:32 +03002479 spin_unlock(&vcpu->kvm->mmu_lock);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002480 vcpu->arch.mmu.root_hpa = root;
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002481 return 0;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002482 }
Joerg Roedelf87f9282010-09-02 17:29:45 +02002483
Joerg Roedel651dd372010-09-10 17:30:59 +02002484 /*
2485 * We shadow a 32 bit page table. This may be a legacy 2-level
Joerg Roedel81407ca2010-09-10 17:31:00 +02002486 * or a PAE 3-level page table. In either case we need to be aware that
2487 * the shadow page table may be a PAE or a long mode page table.
Joerg Roedel651dd372010-09-10 17:30:59 +02002488 */
Joerg Roedel81407ca2010-09-10 17:31:00 +02002489 pm_mask = PT_PRESENT_MASK;
2490 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL)
2491 pm_mask |= PT_ACCESSED_MASK | PT_WRITABLE_MASK | PT_USER_MASK;
2492
Avi Kivity17ac10a2007-01-05 16:36:40 -08002493 for (i = 0; i < 4; ++i) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002494 hpa_t root = vcpu->arch.mmu.pae_root[i];
Avi Kivity17ac10a2007-01-05 16:36:40 -08002495
2496 ASSERT(!VALID_PAGE(root));
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002497 if (vcpu->arch.mmu.root_level == PT32E_ROOT_LEVEL) {
Joerg Roedeld41d1892010-09-10 17:30:58 +02002498 pdptr = kvm_pdptr_read_mmu(vcpu, &vcpu->arch.mmu, i);
Avi Kivity43a37952009-06-10 14:12:05 +03002499 if (!is_present_gpte(pdptr)) {
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002500 vcpu->arch.mmu.pae_root[i] = 0;
Avi Kivity417726a2007-04-12 17:35:58 +03002501 continue;
2502 }
Avi Kivity6de4f3a2009-05-31 22:58:47 +03002503 root_gfn = pdptr >> PAGE_SHIFT;
Joerg Roedelf87f9282010-09-02 17:29:45 +02002504 if (mmu_check_root(vcpu, root_gfn))
2505 return 1;
Eric Northup5a7388c2010-04-26 17:00:05 -07002506 }
Avi Kivity8facbbf2010-05-04 12:58:32 +03002507 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti24955b62010-05-12 21:00:35 -03002508 kvm_mmu_free_some_pages(vcpu);
Avi Kivity4db35312007-11-21 15:28:32 +02002509 sp = kvm_mmu_get_page(vcpu, root_gfn, i << 30,
Joerg Roedel651dd372010-09-10 17:30:59 +02002510 PT32_ROOT_LEVEL, 0,
Avi Kivityf7d9c7b2008-02-26 22:12:10 +02002511 ACC_ALL, NULL);
Avi Kivity4db35312007-11-21 15:28:32 +02002512 root = __pa(sp->spt);
2513 ++sp->root_count;
Avi Kivity8facbbf2010-05-04 12:58:32 +03002514 spin_unlock(&vcpu->kvm->mmu_lock);
2515
Joerg Roedel81407ca2010-09-10 17:31:00 +02002516 vcpu->arch.mmu.pae_root[i] = root | pm_mask;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002517 }
Xiao Guangrong62927572010-09-27 18:02:12 +08002518 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root);
Joerg Roedel81407ca2010-09-10 17:31:00 +02002519
2520 /*
2521 * If we shadow a 32 bit page table with a long mode page
2522 * table we enter this path.
2523 */
2524 if (vcpu->arch.mmu.shadow_root_level == PT64_ROOT_LEVEL) {
2525 if (vcpu->arch.mmu.lm_root == NULL) {
2526 /*
2527 * The additional page necessary for this is only
2528 * allocated on demand.
2529 */
2530
2531 u64 *lm_root;
2532
2533 lm_root = (void*)get_zeroed_page(GFP_KERNEL);
2534 if (lm_root == NULL)
2535 return 1;
2536
2537 lm_root[0] = __pa(vcpu->arch.mmu.pae_root) | pm_mask;
2538
2539 vcpu->arch.mmu.lm_root = lm_root;
2540 }
2541
2542 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.lm_root);
2543 }
2544
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002545 return 0;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002546}
2547
Joerg Roedel651dd372010-09-10 17:30:59 +02002548static int mmu_alloc_roots(struct kvm_vcpu *vcpu)
2549{
2550 if (vcpu->arch.mmu.direct_map)
2551 return mmu_alloc_direct_roots(vcpu);
2552 else
2553 return mmu_alloc_shadow_roots(vcpu);
2554}
2555
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002556static void mmu_sync_roots(struct kvm_vcpu *vcpu)
2557{
2558 int i;
2559 struct kvm_mmu_page *sp;
2560
Joerg Roedel81407ca2010-09-10 17:31:00 +02002561 if (vcpu->arch.mmu.direct_map)
2562 return;
2563
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002564 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))
2565 return;
Xiao Guangrong69030742010-09-27 18:09:29 +08002566
2567 trace_kvm_mmu_audit(vcpu, AUDIT_PRE_SYNC);
Joerg Roedel81407ca2010-09-10 17:31:00 +02002568 if (vcpu->arch.mmu.root_level == PT64_ROOT_LEVEL) {
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002569 hpa_t root = vcpu->arch.mmu.root_hpa;
2570 sp = page_header(root);
2571 mmu_sync_children(vcpu, sp);
Xiao Guangrong5054c0d2010-11-12 14:46:08 +08002572 trace_kvm_mmu_audit(vcpu, AUDIT_POST_SYNC);
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002573 return;
2574 }
2575 for (i = 0; i < 4; ++i) {
2576 hpa_t root = vcpu->arch.mmu.pae_root[i];
2577
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03002578 if (root && VALID_PAGE(root)) {
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002579 root &= PT64_BASE_ADDR_MASK;
2580 sp = page_header(root);
2581 mmu_sync_children(vcpu, sp);
2582 }
2583 }
Xiao Guangrong69030742010-09-27 18:09:29 +08002584 trace_kvm_mmu_audit(vcpu, AUDIT_POST_SYNC);
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03002585}
2586
2587void kvm_mmu_sync_roots(struct kvm_vcpu *vcpu)
2588{
2589 spin_lock(&vcpu->kvm->mmu_lock);
2590 mmu_sync_roots(vcpu);
2591 spin_unlock(&vcpu->kvm->mmu_lock);
2592}
2593
Gleb Natapov1871c602010-02-10 14:21:32 +02002594static gpa_t nonpaging_gva_to_gpa(struct kvm_vcpu *vcpu, gva_t vaddr,
Avi Kivityab9ae312010-11-22 17:53:26 +02002595 u32 access, struct x86_exception *exception)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002596{
Avi Kivityab9ae312010-11-22 17:53:26 +02002597 if (exception)
2598 exception->error_code = 0;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002599 return vaddr;
2600}
2601
Joerg Roedel6539e732010-09-10 17:30:50 +02002602static gpa_t nonpaging_gva_to_gpa_nested(struct kvm_vcpu *vcpu, gva_t vaddr,
Avi Kivityab9ae312010-11-22 17:53:26 +02002603 u32 access,
2604 struct x86_exception *exception)
Joerg Roedel6539e732010-09-10 17:30:50 +02002605{
Avi Kivityab9ae312010-11-22 17:53:26 +02002606 if (exception)
2607 exception->error_code = 0;
Joerg Roedel6539e732010-09-10 17:30:50 +02002608 return vcpu->arch.nested_mmu.translate_gpa(vcpu, vaddr, access);
2609}
2610
Avi Kivity6aa8b732006-12-10 02:21:36 -08002611static int nonpaging_page_fault(struct kvm_vcpu *vcpu, gva_t gva,
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002612 u32 error_code, bool prefault)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002613{
Avi Kivitye8332402007-12-09 18:43:00 +02002614 gfn_t gfn;
Avi Kivitye2dec932007-01-05 16:36:54 -08002615 int r;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002616
Harvey Harrisonb8688d52008-03-03 12:59:56 -08002617 pgprintk("%s: gva %lx error %x\n", __func__, gva, error_code);
Avi Kivitye2dec932007-01-05 16:36:54 -08002618 r = mmu_topup_memory_caches(vcpu);
2619 if (r)
2620 return r;
Avi Kivity714b93d2007-01-05 16:36:53 -08002621
Avi Kivity6aa8b732006-12-10 02:21:36 -08002622 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002623 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity6aa8b732006-12-10 02:21:36 -08002624
Avi Kivitye8332402007-12-09 18:43:00 +02002625 gfn = gva >> PAGE_SHIFT;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002626
Avi Kivitye8332402007-12-09 18:43:00 +02002627 return nonpaging_map(vcpu, gva & PAGE_MASK,
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002628 error_code & PFERR_WRITE_MASK, gfn, prefault);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002629}
2630
Jan Kiszka7e1fbea2010-10-20 15:18:02 +02002631static int kvm_arch_setup_async_pf(struct kvm_vcpu *vcpu, gva_t gva, gfn_t gfn)
Gleb Natapovaf585b92010-10-14 11:22:46 +02002632{
2633 struct kvm_arch_async_pf arch;
Xiao Guangrongfb67e142010-12-07 10:35:25 +08002634
Gleb Natapov7c907052010-10-14 11:22:53 +02002635 arch.token = (vcpu->arch.apf.id++ << 12) | vcpu->vcpu_id;
Gleb Natapovaf585b92010-10-14 11:22:46 +02002636 arch.gfn = gfn;
Xiao Guangrongc4806ac2010-11-12 14:49:55 +08002637 arch.direct_map = vcpu->arch.mmu.direct_map;
Xiao Guangrongfb67e142010-12-07 10:35:25 +08002638 arch.cr3 = vcpu->arch.mmu.get_cr3(vcpu);
Gleb Natapovaf585b92010-10-14 11:22:46 +02002639
2640 return kvm_setup_async_pf(vcpu, gva, gfn, &arch);
2641}
2642
2643static bool can_do_async_pf(struct kvm_vcpu *vcpu)
2644{
2645 if (unlikely(!irqchip_in_kernel(vcpu->kvm) ||
2646 kvm_event_needs_reinjection(vcpu)))
2647 return false;
2648
2649 return kvm_x86_ops->interrupt_allowed(vcpu);
2650}
2651
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002652static bool try_async_pf(struct kvm_vcpu *vcpu, bool prefault, gfn_t gfn,
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002653 gva_t gva, pfn_t *pfn, bool write, bool *writable)
Gleb Natapovaf585b92010-10-14 11:22:46 +02002654{
2655 bool async;
2656
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002657 *pfn = gfn_to_pfn_async(vcpu->kvm, gfn, &async, write, writable);
Gleb Natapovaf585b92010-10-14 11:22:46 +02002658
2659 if (!async)
2660 return false; /* *pfn has correct page already */
2661
2662 put_page(pfn_to_page(*pfn));
2663
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002664 if (!prefault && can_do_async_pf(vcpu)) {
Xiao Guangrongc9b263d2010-11-01 16:58:43 +08002665 trace_kvm_try_async_get_page(gva, gfn);
Gleb Natapovaf585b92010-10-14 11:22:46 +02002666 if (kvm_find_async_pf_gfn(vcpu, gfn)) {
2667 trace_kvm_async_pf_doublefault(gva, gfn);
2668 kvm_make_request(KVM_REQ_APF_HALT, vcpu);
2669 return true;
2670 } else if (kvm_arch_setup_async_pf(vcpu, gva, gfn))
2671 return true;
2672 }
2673
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002674 *pfn = gfn_to_pfn_prot(vcpu->kvm, gfn, write, writable);
Gleb Natapovaf585b92010-10-14 11:22:46 +02002675
2676 return false;
2677}
2678
Gleb Natapov56028d02010-10-17 18:13:42 +02002679static int tdp_page_fault(struct kvm_vcpu *vcpu, gva_t gpa, u32 error_code,
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002680 bool prefault)
Joerg Roedelfb72d162008-02-07 13:47:44 +01002681{
Anthony Liguori35149e22008-04-02 14:46:56 -05002682 pfn_t pfn;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002683 int r;
Joerg Roedel852e3c12009-07-27 16:30:44 +02002684 int level;
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002685 int force_pt_level;
Marcelo Tosatti05da4552008-02-23 11:44:30 -03002686 gfn_t gfn = gpa >> PAGE_SHIFT;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002687 unsigned long mmu_seq;
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002688 int write = error_code & PFERR_WRITE_MASK;
2689 bool map_writable;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002690
2691 ASSERT(vcpu);
2692 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa));
2693
2694 r = mmu_topup_memory_caches(vcpu);
2695 if (r)
2696 return r;
2697
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002698 force_pt_level = mapping_level_dirty_bitmap(vcpu, gfn);
2699 if (likely(!force_pt_level)) {
2700 level = mapping_level(vcpu, gfn);
2701 gfn &= ~(KVM_PAGES_PER_HPAGE(level) - 1);
2702 } else
2703 level = PT_PAGE_TABLE_LEVEL;
Joerg Roedel852e3c12009-07-27 16:30:44 +02002704
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002705 mmu_seq = vcpu->kvm->mmu_notifier_seq;
Marcelo Tosatti4c2155c2008-09-16 20:54:47 -03002706 smp_rmb();
Gleb Natapovaf585b92010-10-14 11:22:46 +02002707
Xiao Guangrong78b2c542010-12-07 10:48:06 +08002708 if (try_async_pf(vcpu, prefault, gfn, gpa, &pfn, write, &map_writable))
Gleb Natapovaf585b92010-10-14 11:22:46 +02002709 return 0;
2710
2711 /* mmio */
Huang Yingbf998152010-05-31 14:28:19 +08002712 if (is_error_pfn(pfn))
2713 return kvm_handle_bad_page(vcpu->kvm, gfn, pfn);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002714 spin_lock(&vcpu->kvm->mmu_lock);
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002715 if (mmu_notifier_retry(vcpu, mmu_seq))
2716 goto out_unlock;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002717 kvm_mmu_free_some_pages(vcpu);
Andrea Arcangeli936a5fe2011-01-13 15:46:48 -08002718 if (likely(!force_pt_level))
2719 transparent_hugepage_adjust(vcpu, &gfn, &pfn, &level);
Marcelo Tosatti612819c2010-10-22 14:18:18 -02002720 r = __direct_map(vcpu, gpa, write, map_writable,
Xiao Guangrong2ec47392010-12-07 10:34:42 +08002721 level, gfn, pfn, prefault);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002722 spin_unlock(&vcpu->kvm->mmu_lock);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002723
2724 return r;
Andrea Arcangelie930bff2008-07-25 16:24:52 +02002725
2726out_unlock:
2727 spin_unlock(&vcpu->kvm->mmu_lock);
2728 kvm_release_pfn_clean(pfn);
2729 return 0;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002730}
2731
Avi Kivity6aa8b732006-12-10 02:21:36 -08002732static void nonpaging_free(struct kvm_vcpu *vcpu)
2733{
Avi Kivity17ac10a2007-01-05 16:36:40 -08002734 mmu_free_roots(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002735}
2736
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002737static int nonpaging_init_context(struct kvm_vcpu *vcpu,
2738 struct kvm_mmu *context)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002739{
Avi Kivity6aa8b732006-12-10 02:21:36 -08002740 context->new_cr3 = nonpaging_new_cr3;
2741 context->page_fault = nonpaging_page_fault;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002742 context->gva_to_gpa = nonpaging_gva_to_gpa;
2743 context->free = nonpaging_free;
Avi Kivityc7addb92007-09-16 18:58:32 +02002744 context->prefetch_page = nonpaging_prefetch_page;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002745 context->sync_page = nonpaging_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002746 context->invlpg = nonpaging_invlpg;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08002747 context->update_pte = nonpaging_update_pte;
Avi Kivitycea0f0e2007-01-05 16:36:43 -08002748 context->root_level = 0;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002749 context->shadow_root_level = PT32E_ROOT_LEVEL;
Avi Kivity17c3ba92007-06-04 15:58:30 +03002750 context->root_hpa = INVALID_PAGE;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02002751 context->direct_map = true;
Joerg Roedel2d48a982010-09-10 17:31:01 +02002752 context->nx = false;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002753 return 0;
2754}
2755
Avi Kivityd835dfe2007-11-21 02:57:59 +02002756void kvm_mmu_flush_tlb(struct kvm_vcpu *vcpu)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002757{
Avi Kivity1165f5f2007-04-19 17:27:43 +03002758 ++vcpu->stat.tlb_flush;
Avi Kivitya8eeb042010-05-10 12:34:53 +03002759 kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002760}
2761
2762static void paging_new_cr3(struct kvm_vcpu *vcpu)
2763{
Avi Kivity9f8fe502010-12-05 17:30:00 +02002764 pgprintk("%s: cr3 %lx\n", __func__, kvm_read_cr3(vcpu));
Avi Kivitycea0f0e2007-01-05 16:36:43 -08002765 mmu_free_roots(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002766}
2767
Joerg Roedel5777ed32010-09-10 17:30:42 +02002768static unsigned long get_cr3(struct kvm_vcpu *vcpu)
2769{
Avi Kivity9f8fe502010-12-05 17:30:00 +02002770 return kvm_read_cr3(vcpu);
Joerg Roedel5777ed32010-09-10 17:30:42 +02002771}
2772
Avi Kivity6389ee92010-11-29 16:12:30 +02002773static void inject_page_fault(struct kvm_vcpu *vcpu,
2774 struct x86_exception *fault)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002775{
Avi Kivity6389ee92010-11-29 16:12:30 +02002776 vcpu->arch.mmu.inject_page_fault(vcpu, fault);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002777}
2778
Avi Kivity6aa8b732006-12-10 02:21:36 -08002779static void paging_free(struct kvm_vcpu *vcpu)
2780{
2781 nonpaging_free(vcpu);
2782}
2783
Joerg Roedel3241f222010-09-10 17:30:45 +02002784static bool is_rsvd_bits_set(struct kvm_mmu *mmu, u64 gpte, int level)
Dong, Eddie82725b22009-03-30 16:21:08 +08002785{
2786 int bit7;
2787
2788 bit7 = (gpte >> 7) & 1;
Joerg Roedel3241f222010-09-10 17:30:45 +02002789 return (gpte & mmu->rsvd_bits_mask[bit7][level-1]) != 0;
Dong, Eddie82725b22009-03-30 16:21:08 +08002790}
2791
Avi Kivity6aa8b732006-12-10 02:21:36 -08002792#define PTTYPE 64
2793#include "paging_tmpl.h"
2794#undef PTTYPE
2795
2796#define PTTYPE 32
2797#include "paging_tmpl.h"
2798#undef PTTYPE
2799
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002800static void reset_rsvds_bits_mask(struct kvm_vcpu *vcpu,
2801 struct kvm_mmu *context,
2802 int level)
Dong, Eddie82725b22009-03-30 16:21:08 +08002803{
Dong, Eddie82725b22009-03-30 16:21:08 +08002804 int maxphyaddr = cpuid_maxphyaddr(vcpu);
2805 u64 exb_bit_rsvd = 0;
2806
Joerg Roedel2d48a982010-09-10 17:31:01 +02002807 if (!context->nx)
Dong, Eddie82725b22009-03-30 16:21:08 +08002808 exb_bit_rsvd = rsvd_bits(63, 63);
2809 switch (level) {
2810 case PT32_ROOT_LEVEL:
2811 /* no rsvd bits for 2 level 4K page table entries */
2812 context->rsvd_bits_mask[0][1] = 0;
2813 context->rsvd_bits_mask[0][0] = 0;
Xiao Guangrongf815bce2010-03-19 17:58:53 +08002814 context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
2815
2816 if (!is_pse(vcpu)) {
2817 context->rsvd_bits_mask[1][1] = 0;
2818 break;
2819 }
2820
Dong, Eddie82725b22009-03-30 16:21:08 +08002821 if (is_cpuid_PSE36())
2822 /* 36bits PSE 4MB page */
2823 context->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);
2824 else
2825 /* 32 bits PSE 4MB page */
2826 context->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);
Dong, Eddie82725b22009-03-30 16:21:08 +08002827 break;
2828 case PT32E_ROOT_LEVEL:
Dong, Eddie20c466b2009-03-31 23:03:45 +08002829 context->rsvd_bits_mask[0][2] =
2830 rsvd_bits(maxphyaddr, 63) |
2831 rsvd_bits(7, 8) | rsvd_bits(1, 2); /* PDPTE */
Dong, Eddie82725b22009-03-30 16:21:08 +08002832 context->rsvd_bits_mask[0][1] = exb_bit_rsvd |
Sheng Yang4c26b4c2009-04-02 10:28:37 +08002833 rsvd_bits(maxphyaddr, 62); /* PDE */
Dong, Eddie82725b22009-03-30 16:21:08 +08002834 context->rsvd_bits_mask[0][0] = exb_bit_rsvd |
2835 rsvd_bits(maxphyaddr, 62); /* PTE */
2836 context->rsvd_bits_mask[1][1] = exb_bit_rsvd |
2837 rsvd_bits(maxphyaddr, 62) |
2838 rsvd_bits(13, 20); /* large page */
Xiao Guangrongf815bce2010-03-19 17:58:53 +08002839 context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
Dong, Eddie82725b22009-03-30 16:21:08 +08002840 break;
2841 case PT64_ROOT_LEVEL:
2842 context->rsvd_bits_mask[0][3] = exb_bit_rsvd |
2843 rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8);
2844 context->rsvd_bits_mask[0][2] = exb_bit_rsvd |
2845 rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8);
2846 context->rsvd_bits_mask[0][1] = exb_bit_rsvd |
Sheng Yang4c26b4c2009-04-02 10:28:37 +08002847 rsvd_bits(maxphyaddr, 51);
Dong, Eddie82725b22009-03-30 16:21:08 +08002848 context->rsvd_bits_mask[0][0] = exb_bit_rsvd |
2849 rsvd_bits(maxphyaddr, 51);
2850 context->rsvd_bits_mask[1][3] = context->rsvd_bits_mask[0][3];
Joerg Roedele04da982009-07-27 16:30:45 +02002851 context->rsvd_bits_mask[1][2] = exb_bit_rsvd |
2852 rsvd_bits(maxphyaddr, 51) |
2853 rsvd_bits(13, 29);
Dong, Eddie82725b22009-03-30 16:21:08 +08002854 context->rsvd_bits_mask[1][1] = exb_bit_rsvd |
Sheng Yang4c26b4c2009-04-02 10:28:37 +08002855 rsvd_bits(maxphyaddr, 51) |
2856 rsvd_bits(13, 20); /* large page */
Xiao Guangrongf815bce2010-03-19 17:58:53 +08002857 context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
Dong, Eddie82725b22009-03-30 16:21:08 +08002858 break;
2859 }
2860}
2861
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002862static int paging64_init_context_common(struct kvm_vcpu *vcpu,
2863 struct kvm_mmu *context,
2864 int level)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002865{
Joerg Roedel2d48a982010-09-10 17:31:01 +02002866 context->nx = is_nx(vcpu);
2867
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002868 reset_rsvds_bits_mask(vcpu, context, level);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002869
2870 ASSERT(is_pae(vcpu));
2871 context->new_cr3 = paging_new_cr3;
2872 context->page_fault = paging64_page_fault;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002873 context->gva_to_gpa = paging64_gva_to_gpa;
Avi Kivityc7addb92007-09-16 18:58:32 +02002874 context->prefetch_page = paging64_prefetch_page;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002875 context->sync_page = paging64_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002876 context->invlpg = paging64_invlpg;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08002877 context->update_pte = paging64_update_pte;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002878 context->free = paging_free;
Avi Kivity17ac10a2007-01-05 16:36:40 -08002879 context->root_level = level;
2880 context->shadow_root_level = level;
Avi Kivity17c3ba92007-06-04 15:58:30 +03002881 context->root_hpa = INVALID_PAGE;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02002882 context->direct_map = false;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002883 return 0;
2884}
2885
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002886static int paging64_init_context(struct kvm_vcpu *vcpu,
2887 struct kvm_mmu *context)
Avi Kivity17ac10a2007-01-05 16:36:40 -08002888{
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002889 return paging64_init_context_common(vcpu, context, PT64_ROOT_LEVEL);
Avi Kivity17ac10a2007-01-05 16:36:40 -08002890}
2891
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002892static int paging32_init_context(struct kvm_vcpu *vcpu,
2893 struct kvm_mmu *context)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002894{
Joerg Roedel2d48a982010-09-10 17:31:01 +02002895 context->nx = false;
2896
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002897 reset_rsvds_bits_mask(vcpu, context, PT32_ROOT_LEVEL);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002898
2899 context->new_cr3 = paging_new_cr3;
2900 context->page_fault = paging32_page_fault;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002901 context->gva_to_gpa = paging32_gva_to_gpa;
2902 context->free = paging_free;
Avi Kivityc7addb92007-09-16 18:58:32 +02002903 context->prefetch_page = paging32_prefetch_page;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002904 context->sync_page = paging32_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002905 context->invlpg = paging32_invlpg;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08002906 context->update_pte = paging32_update_pte;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002907 context->root_level = PT32_ROOT_LEVEL;
2908 context->shadow_root_level = PT32E_ROOT_LEVEL;
Avi Kivity17c3ba92007-06-04 15:58:30 +03002909 context->root_hpa = INVALID_PAGE;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02002910 context->direct_map = false;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002911 return 0;
2912}
2913
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002914static int paging32E_init_context(struct kvm_vcpu *vcpu,
2915 struct kvm_mmu *context)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002916{
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002917 return paging64_init_context_common(vcpu, context, PT32E_ROOT_LEVEL);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002918}
2919
Joerg Roedelfb72d162008-02-07 13:47:44 +01002920static int init_kvm_tdp_mmu(struct kvm_vcpu *vcpu)
2921{
Joerg Roedel14dfe852010-09-10 17:30:49 +02002922 struct kvm_mmu *context = vcpu->arch.walk_mmu;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002923
Avi Kivityc445f8e2010-12-21 16:26:01 +02002924 context->base_role.word = 0;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002925 context->new_cr3 = nonpaging_new_cr3;
2926 context->page_fault = tdp_page_fault;
2927 context->free = nonpaging_free;
2928 context->prefetch_page = nonpaging_prefetch_page;
Marcelo Tosattie8bc2172008-09-23 13:18:33 -03002929 context->sync_page = nonpaging_sync_page;
Marcelo Tosattia7052892008-09-23 13:18:35 -03002930 context->invlpg = nonpaging_invlpg;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08002931 context->update_pte = nonpaging_update_pte;
Sheng Yang67253af2008-04-25 10:20:22 +08002932 context->shadow_root_level = kvm_x86_ops->get_tdp_level();
Joerg Roedelfb72d162008-02-07 13:47:44 +01002933 context->root_hpa = INVALID_PAGE;
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02002934 context->direct_map = true;
Joerg Roedel1c97f0a2010-09-10 17:30:41 +02002935 context->set_cr3 = kvm_x86_ops->set_tdp_cr3;
Joerg Roedel5777ed32010-09-10 17:30:42 +02002936 context->get_cr3 = get_cr3;
Joerg Roedelcb659db2010-09-10 17:30:43 +02002937 context->inject_page_fault = kvm_inject_page_fault;
Joerg Roedel2d48a982010-09-10 17:31:01 +02002938 context->nx = is_nx(vcpu);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002939
2940 if (!is_paging(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002941 context->nx = false;
Joerg Roedelfb72d162008-02-07 13:47:44 +01002942 context->gva_to_gpa = nonpaging_gva_to_gpa;
2943 context->root_level = 0;
2944 } else if (is_long_mode(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002945 context->nx = is_nx(vcpu);
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002946 reset_rsvds_bits_mask(vcpu, context, PT64_ROOT_LEVEL);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002947 context->gva_to_gpa = paging64_gva_to_gpa;
2948 context->root_level = PT64_ROOT_LEVEL;
2949 } else if (is_pae(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002950 context->nx = is_nx(vcpu);
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002951 reset_rsvds_bits_mask(vcpu, context, PT32E_ROOT_LEVEL);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002952 context->gva_to_gpa = paging64_gva_to_gpa;
2953 context->root_level = PT32E_ROOT_LEVEL;
2954 } else {
Joerg Roedel2d48a982010-09-10 17:31:01 +02002955 context->nx = false;
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002956 reset_rsvds_bits_mask(vcpu, context, PT32_ROOT_LEVEL);
Joerg Roedelfb72d162008-02-07 13:47:44 +01002957 context->gva_to_gpa = paging32_gva_to_gpa;
2958 context->root_level = PT32_ROOT_LEVEL;
2959 }
2960
2961 return 0;
2962}
2963
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002964int kvm_init_shadow_mmu(struct kvm_vcpu *vcpu, struct kvm_mmu *context)
Avi Kivity6aa8b732006-12-10 02:21:36 -08002965{
Avi Kivitya770f6f2008-12-21 19:20:09 +02002966 int r;
Avi Kivity411c5882011-06-06 16:11:54 +03002967 bool smep = kvm_read_cr4_bits(vcpu, X86_CR4_SMEP);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002968 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08002969 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity6aa8b732006-12-10 02:21:36 -08002970
2971 if (!is_paging(vcpu))
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002972 r = nonpaging_init_context(vcpu, context);
Avi Kivitya9058ec2006-12-29 16:49:37 -08002973 else if (is_long_mode(vcpu))
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002974 r = paging64_init_context(vcpu, context);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002975 else if (is_pae(vcpu))
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002976 r = paging32E_init_context(vcpu, context);
Avi Kivity6aa8b732006-12-10 02:21:36 -08002977 else
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002978 r = paging32_init_context(vcpu, context);
Avi Kivitya770f6f2008-12-21 19:20:09 +02002979
Avi Kivity5b7e0102010-04-14 19:20:03 +03002980 vcpu->arch.mmu.base_role.cr4_pae = !!is_pae(vcpu);
Joerg Roedelf43addd2010-09-10 17:30:40 +02002981 vcpu->arch.mmu.base_role.cr0_wp = is_write_protection(vcpu);
Avi Kivity411c5882011-06-06 16:11:54 +03002982 vcpu->arch.mmu.base_role.smep_andnot_wp
2983 = smep && !is_write_protection(vcpu);
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002984
2985 return r;
2986}
2987EXPORT_SYMBOL_GPL(kvm_init_shadow_mmu);
2988
2989static int init_kvm_softmmu(struct kvm_vcpu *vcpu)
2990{
Joerg Roedel14dfe852010-09-10 17:30:49 +02002991 int r = kvm_init_shadow_mmu(vcpu, vcpu->arch.walk_mmu);
Joerg Roedel52fde8d2010-09-10 17:30:44 +02002992
Joerg Roedel14dfe852010-09-10 17:30:49 +02002993 vcpu->arch.walk_mmu->set_cr3 = kvm_x86_ops->set_cr3;
2994 vcpu->arch.walk_mmu->get_cr3 = get_cr3;
2995 vcpu->arch.walk_mmu->inject_page_fault = kvm_inject_page_fault;
Avi Kivitya770f6f2008-12-21 19:20:09 +02002996
2997 return r;
Avi Kivity6aa8b732006-12-10 02:21:36 -08002998}
2999
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003000static int init_kvm_nested_mmu(struct kvm_vcpu *vcpu)
3001{
3002 struct kvm_mmu *g_context = &vcpu->arch.nested_mmu;
3003
3004 g_context->get_cr3 = get_cr3;
3005 g_context->inject_page_fault = kvm_inject_page_fault;
3006
3007 /*
3008 * Note that arch.mmu.gva_to_gpa translates l2_gva to l1_gpa. The
3009 * translation of l2_gpa to l1_gpa addresses is done using the
3010 * arch.nested_mmu.gva_to_gpa function. Basically the gva_to_gpa
3011 * functions between mmu and nested_mmu are swapped.
3012 */
3013 if (!is_paging(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02003014 g_context->nx = false;
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003015 g_context->root_level = 0;
3016 g_context->gva_to_gpa = nonpaging_gva_to_gpa_nested;
3017 } else if (is_long_mode(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02003018 g_context->nx = is_nx(vcpu);
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003019 reset_rsvds_bits_mask(vcpu, g_context, PT64_ROOT_LEVEL);
3020 g_context->root_level = PT64_ROOT_LEVEL;
3021 g_context->gva_to_gpa = paging64_gva_to_gpa_nested;
3022 } else if (is_pae(vcpu)) {
Joerg Roedel2d48a982010-09-10 17:31:01 +02003023 g_context->nx = is_nx(vcpu);
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003024 reset_rsvds_bits_mask(vcpu, g_context, PT32E_ROOT_LEVEL);
3025 g_context->root_level = PT32E_ROOT_LEVEL;
3026 g_context->gva_to_gpa = paging64_gva_to_gpa_nested;
3027 } else {
Joerg Roedel2d48a982010-09-10 17:31:01 +02003028 g_context->nx = false;
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003029 reset_rsvds_bits_mask(vcpu, g_context, PT32_ROOT_LEVEL);
3030 g_context->root_level = PT32_ROOT_LEVEL;
3031 g_context->gva_to_gpa = paging32_gva_to_gpa_nested;
3032 }
3033
3034 return 0;
3035}
3036
Joerg Roedelfb72d162008-02-07 13:47:44 +01003037static int init_kvm_mmu(struct kvm_vcpu *vcpu)
3038{
Joerg Roedel02f59dc2010-09-10 17:30:54 +02003039 if (mmu_is_nested(vcpu))
3040 return init_kvm_nested_mmu(vcpu);
3041 else if (tdp_enabled)
Joerg Roedelfb72d162008-02-07 13:47:44 +01003042 return init_kvm_tdp_mmu(vcpu);
3043 else
3044 return init_kvm_softmmu(vcpu);
3045}
3046
Avi Kivity6aa8b732006-12-10 02:21:36 -08003047static void destroy_kvm_mmu(struct kvm_vcpu *vcpu)
3048{
3049 ASSERT(vcpu);
Sheng Yang62ad0752010-05-12 16:40:41 +08003050 if (VALID_PAGE(vcpu->arch.mmu.root_hpa))
3051 /* mmu.free() should set root_hpa = INVALID_PAGE */
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003052 vcpu->arch.mmu.free(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003053}
3054
3055int kvm_mmu_reset_context(struct kvm_vcpu *vcpu)
3056{
Avi Kivity17c3ba92007-06-04 15:58:30 +03003057 destroy_kvm_mmu(vcpu);
Marcelo Tosattif8f7e5e2011-06-21 14:00:10 -03003058 return init_kvm_mmu(vcpu);
Avi Kivity17c3ba92007-06-04 15:58:30 +03003059}
Eddie Dong8668a3c2007-10-10 14:26:45 +08003060EXPORT_SYMBOL_GPL(kvm_mmu_reset_context);
Avi Kivity17c3ba92007-06-04 15:58:30 +03003061
3062int kvm_mmu_load(struct kvm_vcpu *vcpu)
3063{
Avi Kivity714b93d2007-01-05 16:36:53 -08003064 int r;
3065
Avi Kivitye2dec932007-01-05 16:36:54 -08003066 r = mmu_topup_memory_caches(vcpu);
Avi Kivity17c3ba92007-06-04 15:58:30 +03003067 if (r)
3068 goto out;
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03003069 r = mmu_alloc_roots(vcpu);
Avi Kivity8facbbf2010-05-04 12:58:32 +03003070 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -03003071 mmu_sync_roots(vcpu);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003072 spin_unlock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti8986ecc2009-05-12 18:55:45 -03003073 if (r)
3074 goto out;
Sheng Yang3662cb12009-07-09 17:00:42 +08003075 /* set_cr3() should ensure TLB has been flushed */
Joerg Roedelf43addd2010-09-10 17:30:40 +02003076 vcpu->arch.mmu.set_cr3(vcpu, vcpu->arch.mmu.root_hpa);
Avi Kivity714b93d2007-01-05 16:36:53 -08003077out:
3078 return r;
Avi Kivity6aa8b732006-12-10 02:21:36 -08003079}
Avi Kivity17c3ba92007-06-04 15:58:30 +03003080EXPORT_SYMBOL_GPL(kvm_mmu_load);
3081
3082void kvm_mmu_unload(struct kvm_vcpu *vcpu)
3083{
3084 mmu_free_roots(vcpu);
3085}
Joerg Roedel4b161842010-09-10 17:31:03 +02003086EXPORT_SYMBOL_GPL(kvm_mmu_unload);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003087
Avi Kivity00284252007-05-01 16:53:31 +03003088static void mmu_pte_write_new_pte(struct kvm_vcpu *vcpu,
Xiao Guangrong7c562522011-03-28 10:29:27 +08003089 struct kvm_mmu_page *sp, u64 *spte,
3090 const void *new)
Avi Kivity00284252007-05-01 16:53:31 +03003091{
Marcelo Tosatti30945382008-06-11 20:32:40 -03003092 if (sp->role.level != PT_PAGE_TABLE_LEVEL) {
Joerg Roedel7e4e4052009-07-27 16:30:46 +02003093 ++vcpu->kvm->stat.mmu_pde_zapped;
3094 return;
Marcelo Tosatti30945382008-06-11 20:32:40 -03003095 }
Avi Kivity00284252007-05-01 16:53:31 +03003096
Avi Kivity4cee5762007-11-18 16:37:07 +02003097 ++vcpu->kvm->stat.mmu_pte_updated;
Xiao Guangrong7c562522011-03-28 10:29:27 +08003098 vcpu->arch.mmu.update_pte(vcpu, sp, spte, new);
Avi Kivity00284252007-05-01 16:53:31 +03003099}
3100
Avi Kivity79539ce2007-11-21 02:06:21 +02003101static bool need_remote_flush(u64 old, u64 new)
3102{
3103 if (!is_shadow_present_pte(old))
3104 return false;
3105 if (!is_shadow_present_pte(new))
3106 return true;
3107 if ((old ^ new) & PT64_BASE_ADDR_MASK)
3108 return true;
3109 old ^= PT64_NX_MASK;
3110 new ^= PT64_NX_MASK;
3111 return (old & ~new & PT64_PERM_MASK) != 0;
3112}
3113
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003114static void mmu_pte_write_flush_tlb(struct kvm_vcpu *vcpu, bool zap_page,
3115 bool remote_flush, bool local_flush)
Avi Kivity79539ce2007-11-21 02:06:21 +02003116{
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003117 if (zap_page)
3118 return;
3119
3120 if (remote_flush)
Avi Kivity79539ce2007-11-21 02:06:21 +02003121 kvm_flush_remote_tlbs(vcpu->kvm);
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003122 else if (local_flush)
Avi Kivity79539ce2007-11-21 02:06:21 +02003123 kvm_mmu_flush_tlb(vcpu);
3124}
3125
Avi Kivity12b7d282007-09-23 14:10:49 +02003126static bool last_updated_pte_accessed(struct kvm_vcpu *vcpu)
3127{
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003128 u64 *spte = vcpu->arch.last_pte_updated;
Avi Kivity12b7d282007-09-23 14:10:49 +02003129
Sheng Yang7b523452008-04-25 21:13:50 +08003130 return !!(spte && (*spte & shadow_accessed_mask));
Avi Kivity12b7d282007-09-23 14:10:49 +02003131}
3132
Avi Kivity1b7fcd32008-05-15 13:51:35 +03003133static void kvm_mmu_access_page(struct kvm_vcpu *vcpu, gfn_t gfn)
3134{
3135 u64 *spte = vcpu->arch.last_pte_updated;
3136
3137 if (spte
3138 && vcpu->arch.last_pte_gfn == gfn
3139 && shadow_accessed_mask
3140 && !(*spte & shadow_accessed_mask)
3141 && is_shadow_present_pte(*spte))
3142 set_bit(PT_ACCESSED_SHIFT, (unsigned long *)spte);
3143}
3144
Avi Kivity09072da2007-05-01 14:16:52 +03003145void kvm_mmu_pte_write(struct kvm_vcpu *vcpu, gpa_t gpa,
Marcelo Tosattiad218f82008-12-01 22:32:05 -02003146 const u8 *new, int bytes,
3147 bool guest_initiated)
Avi Kivityda4a00f2007-01-05 16:36:44 -08003148{
Avi Kivity9b7a0322007-01-05 16:36:45 -08003149 gfn_t gfn = gpa >> PAGE_SHIFT;
Xiao Guangrongfa1de2b2010-07-16 11:19:51 +08003150 union kvm_mmu_page_role mask = { .word = 0 };
Avi Kivity4db35312007-11-21 15:28:32 +02003151 struct kvm_mmu_page *sp;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08003152 struct hlist_node *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003153 LIST_HEAD(invalid_list);
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08003154 u64 entry, gentry, *spte;
3155 unsigned pte_size, page_offset, misaligned, quadrant, offset;
3156 int level, npte, invlpg_counter, r, flooded = 0;
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003157 bool remote_flush, local_flush, zap_page;
3158
Xiao Guangrong332b2072011-05-15 23:20:27 +08003159 /*
3160 * If we don't have indirect shadow pages, it means no page is
3161 * write-protected, so we can exit simply.
3162 */
3163 if (!ACCESS_ONCE(vcpu->kvm->arch.indirect_shadow_pages))
3164 return;
3165
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003166 zap_page = remote_flush = local_flush = false;
Xiao Guangrong0f53b5b2011-03-09 15:43:51 +08003167 offset = offset_in_page(gpa);
Avi Kivity9b7a0322007-01-05 16:36:45 -08003168
Harvey Harrisonb8688d52008-03-03 12:59:56 -08003169 pgprintk("%s: gpa %llx bytes %d\n", __func__, gpa, bytes);
Avi Kivity72016f32010-03-15 13:59:53 +02003170
Avi Kivity08e850c2010-03-15 13:59:57 +02003171 invlpg_counter = atomic_read(&vcpu->kvm->arch.invlpg_counter);
3172
3173 /*
3174 * Assume that the pte write on a page table of the same type
Xiao Guangrong49b26e22011-03-04 19:00:00 +08003175 * as the current vcpu paging mode since we update the sptes only
3176 * when they have the same mode.
Avi Kivity08e850c2010-03-15 13:59:57 +02003177 */
3178 if ((is_pae(vcpu) && bytes == 4) || !new) {
3179 /* Handle a 32-bit guest writing two halves of a 64-bit gpte */
3180 if (is_pae(vcpu)) {
3181 gpa &= ~(gpa_t)7;
3182 bytes = 8;
3183 }
3184 r = kvm_read_guest(vcpu->kvm, gpa, &gentry, min(bytes, 8));
3185 if (r)
3186 gentry = 0;
3187 new = (const u8 *)&gentry;
3188 }
3189
Avi Kivity72016f32010-03-15 13:59:53 +02003190 switch (bytes) {
3191 case 4:
3192 gentry = *(const u32 *)new;
3193 break;
3194 case 8:
3195 gentry = *(const u64 *)new;
3196 break;
3197 default:
3198 gentry = 0;
3199 break;
3200 }
3201
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003202 spin_lock(&vcpu->kvm->mmu_lock);
Avi Kivity08e850c2010-03-15 13:59:57 +02003203 if (atomic_read(&vcpu->kvm->arch.invlpg_counter) != invlpg_counter)
3204 gentry = 0;
Avi Kivityeb787d12007-12-31 15:27:49 +02003205 kvm_mmu_free_some_pages(vcpu);
Avi Kivity4cee5762007-11-18 16:37:07 +02003206 ++vcpu->kvm->stat.mmu_pte_write;
Xiao Guangrong8b1fe172010-08-30 18:22:53 +08003207 trace_kvm_mmu_audit(vcpu, AUDIT_PRE_PTE_WRITE);
Marcelo Tosattiad218f82008-12-01 22:32:05 -02003208 if (guest_initiated) {
Xiao Guangrong1b7fd452011-03-04 18:58:02 +08003209 kvm_mmu_access_page(vcpu, gfn);
Marcelo Tosattiad218f82008-12-01 22:32:05 -02003210 if (gfn == vcpu->arch.last_pt_write_gfn
3211 && !last_updated_pte_accessed(vcpu)) {
3212 ++vcpu->arch.last_pt_write_count;
3213 if (vcpu->arch.last_pt_write_count >= 3)
3214 flooded = 1;
3215 } else {
3216 vcpu->arch.last_pt_write_gfn = gfn;
3217 vcpu->arch.last_pt_write_count = 1;
3218 vcpu->arch.last_pte_updated = NULL;
3219 }
Avi Kivity86a5ba02007-01-05 16:36:50 -08003220 }
Xiao Guangrong3246af02010-04-16 16:35:54 +08003221
Xiao Guangrongfa1de2b2010-07-16 11:19:51 +08003222 mask.cr0_wp = mask.cr4_pae = mask.nxe = 1;
Xiao Guangrongf41d3352010-06-04 21:56:11 +08003223 for_each_gfn_indirect_valid_sp(vcpu->kvm, sp, gfn, node) {
Avi Kivity5b7e0102010-04-14 19:20:03 +03003224 pte_size = sp->role.cr4_pae ? 8 : 4;
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08003225 misaligned = (offset ^ (offset + bytes - 1)) & ~(pte_size - 1);
Avi Kivitye925c5b2007-04-30 14:47:02 +03003226 misaligned |= bytes < 4;
Avi Kivity86a5ba02007-01-05 16:36:50 -08003227 if (misaligned || flooded) {
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08003228 /*
3229 * Misaligned accesses are too much trouble to fix
3230 * up; also, they usually indicate a page is not used
3231 * as a page table.
Avi Kivity86a5ba02007-01-05 16:36:50 -08003232 *
3233 * If we're seeing too many writes to a page,
3234 * it may no longer be a page table, or we may be
3235 * forking, in which case it is better to unmap the
3236 * page.
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08003237 */
3238 pgprintk("misaligned: gpa %llx bytes %d role %x\n",
Avi Kivity4db35312007-11-21 15:28:32 +02003239 gpa, bytes, sp->role.word);
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003240 zap_page |= !!kvm_mmu_prepare_zap_page(vcpu->kvm, sp,
Xiao Guangrongf41d3352010-06-04 21:56:11 +08003241 &invalid_list);
Avi Kivity4cee5762007-11-18 16:37:07 +02003242 ++vcpu->kvm->stat.mmu_flooded;
Avi Kivity0e7bc4b2007-01-05 16:36:48 -08003243 continue;
3244 }
Avi Kivity9b7a0322007-01-05 16:36:45 -08003245 page_offset = offset;
Avi Kivity4db35312007-11-21 15:28:32 +02003246 level = sp->role.level;
Avi Kivityac1b7142007-03-08 17:13:32 +02003247 npte = 1;
Avi Kivity5b7e0102010-04-14 19:20:03 +03003248 if (!sp->role.cr4_pae) {
Avi Kivityac1b7142007-03-08 17:13:32 +02003249 page_offset <<= 1; /* 32->64 */
3250 /*
3251 * A 32-bit pde maps 4MB while the shadow pdes map
3252 * only 2MB. So we need to double the offset again
3253 * and zap two pdes instead of one.
3254 */
3255 if (level == PT32_ROOT_LEVEL) {
Avi Kivity6b8d0f92007-04-18 11:18:18 +03003256 page_offset &= ~7; /* kill rounding error */
Avi Kivityac1b7142007-03-08 17:13:32 +02003257 page_offset <<= 1;
3258 npte = 2;
3259 }
Avi Kivityfce06572007-05-01 16:44:05 +03003260 quadrant = page_offset >> PAGE_SHIFT;
Avi Kivity9b7a0322007-01-05 16:36:45 -08003261 page_offset &= ~PAGE_MASK;
Avi Kivity4db35312007-11-21 15:28:32 +02003262 if (quadrant != sp->role.quadrant)
Avi Kivityfce06572007-05-01 16:44:05 +03003263 continue;
Avi Kivity9b7a0322007-01-05 16:36:45 -08003264 }
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003265 local_flush = true;
Avi Kivity4db35312007-11-21 15:28:32 +02003266 spte = &sp->spt[page_offset / sizeof(*spte)];
Avi Kivityac1b7142007-03-08 17:13:32 +02003267 while (npte--) {
Avi Kivity79539ce2007-11-21 02:06:21 +02003268 entry = *spte;
Xiao Guangrong38e3b2b2011-05-15 23:27:52 +08003269 mmu_page_zap_pte(vcpu->kvm, sp, spte);
Xiao Guangrongfa1de2b2010-07-16 11:19:51 +08003270 if (gentry &&
3271 !((sp->role.word ^ vcpu->arch.mmu.base_role.word)
3272 & mask.word))
Xiao Guangrong7c562522011-03-28 10:29:27 +08003273 mmu_pte_write_new_pte(vcpu, sp, spte, &gentry);
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003274 if (!remote_flush && need_remote_flush(entry, *spte))
3275 remote_flush = true;
Avi Kivityac1b7142007-03-08 17:13:32 +02003276 ++spte;
Avi Kivity9b7a0322007-01-05 16:36:45 -08003277 }
Avi Kivity9b7a0322007-01-05 16:36:45 -08003278 }
Xiao Guangrong0671a8e2010-06-04 21:56:59 +08003279 mmu_pte_write_flush_tlb(vcpu, zap_page, remote_flush, local_flush);
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003280 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Xiao Guangrong8b1fe172010-08-30 18:22:53 +08003281 trace_kvm_mmu_audit(vcpu, AUDIT_POST_PTE_WRITE);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003282 spin_unlock(&vcpu->kvm->mmu_lock);
Avi Kivityda4a00f2007-01-05 16:36:44 -08003283}
3284
Avi Kivitya4360362007-01-05 16:36:45 -08003285int kvm_mmu_unprotect_page_virt(struct kvm_vcpu *vcpu, gva_t gva)
3286{
Marcelo Tosatti10589a42007-12-20 19:18:22 -05003287 gpa_t gpa;
3288 int r;
Avi Kivitya4360362007-01-05 16:36:45 -08003289
Joerg Roedelc5a78f2b2010-09-10 17:30:39 +02003290 if (vcpu->arch.mmu.direct_map)
Avi Kivity60f24782009-08-27 13:37:06 +03003291 return 0;
3292
Gleb Natapov1871c602010-02-10 14:21:32 +02003293 gpa = kvm_mmu_gva_to_gpa_read(vcpu, gva, NULL);
Marcelo Tosatti10589a42007-12-20 19:18:22 -05003294
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003295 spin_lock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti10589a42007-12-20 19:18:22 -05003296 r = kvm_mmu_unprotect_page(vcpu->kvm, gpa >> PAGE_SHIFT);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003297 spin_unlock(&vcpu->kvm->mmu_lock);
Marcelo Tosatti10589a42007-12-20 19:18:22 -05003298 return r;
Avi Kivitya4360362007-01-05 16:36:45 -08003299}
Avi Kivity577bdc42008-07-19 08:57:05 +03003300EXPORT_SYMBOL_GPL(kvm_mmu_unprotect_page_virt);
Avi Kivitya4360362007-01-05 16:36:45 -08003301
Avi Kivity22d95b12007-09-14 20:26:06 +03003302void __kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu)
Avi Kivityebeace82007-01-05 16:36:47 -08003303{
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003304 LIST_HEAD(invalid_list);
Xiao Guangrong103ad252010-06-04 21:54:38 +08003305
Dave Hansene0df7b92010-08-19 18:11:05 -07003306 while (kvm_mmu_available_pages(vcpu->kvm) < KVM_REFILL_PAGES &&
Izik Eidus3b80fff2009-07-28 15:26:58 -03003307 !list_empty(&vcpu->kvm->arch.active_mmu_pages)) {
Avi Kivity4db35312007-11-21 15:28:32 +02003308 struct kvm_mmu_page *sp;
Avi Kivityebeace82007-01-05 16:36:47 -08003309
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08003310 sp = container_of(vcpu->kvm->arch.active_mmu_pages.prev,
Avi Kivity4db35312007-11-21 15:28:32 +02003311 struct kvm_mmu_page, link);
Dave Hansene0df7b92010-08-19 18:11:05 -07003312 kvm_mmu_prepare_zap_page(vcpu->kvm, sp, &invalid_list);
Xiaotian Feng80b63fa2010-08-24 10:31:07 +08003313 kvm_mmu_commit_zap_page(vcpu->kvm, &invalid_list);
Avi Kivity4cee5762007-11-18 16:37:07 +02003314 ++vcpu->kvm->stat.mmu_recycled;
Avi Kivityebeace82007-01-05 16:36:47 -08003315 }
3316}
Avi Kivityebeace82007-01-05 16:36:47 -08003317
Andre Przywaradc25e892010-12-21 11:12:07 +01003318int kvm_mmu_page_fault(struct kvm_vcpu *vcpu, gva_t cr2, u32 error_code,
3319 void *insn, int insn_len)
Avi Kivity30677142007-10-28 18:48:59 +02003320{
3321 int r;
3322 enum emulation_result er;
3323
Gleb Natapov56028d02010-10-17 18:13:42 +02003324 r = vcpu->arch.mmu.page_fault(vcpu, cr2, error_code, false);
Avi Kivity30677142007-10-28 18:48:59 +02003325 if (r < 0)
3326 goto out;
3327
3328 if (!r) {
3329 r = 1;
3330 goto out;
3331 }
3332
Avi Kivityb733bfb2007-10-28 18:52:05 +02003333 r = mmu_topup_memory_caches(vcpu);
3334 if (r)
3335 goto out;
3336
Andre Przywaradc25e892010-12-21 11:12:07 +01003337 er = x86_emulate_instruction(vcpu, cr2, 0, insn, insn_len);
Avi Kivity30677142007-10-28 18:48:59 +02003338
3339 switch (er) {
3340 case EMULATE_DONE:
3341 return 1;
3342 case EMULATE_DO_MMIO:
3343 ++vcpu->stat.mmio_exits;
Gleb Natapov6d77dbf2010-05-10 11:16:56 +03003344 /* fall through */
Avi Kivity30677142007-10-28 18:48:59 +02003345 case EMULATE_FAIL:
Avi Kivity3f5d18a2009-06-11 15:43:28 +03003346 return 0;
Avi Kivity30677142007-10-28 18:48:59 +02003347 default:
3348 BUG();
3349 }
3350out:
Avi Kivity30677142007-10-28 18:48:59 +02003351 return r;
3352}
3353EXPORT_SYMBOL_GPL(kvm_mmu_page_fault);
3354
Marcelo Tosattia7052892008-09-23 13:18:35 -03003355void kvm_mmu_invlpg(struct kvm_vcpu *vcpu, gva_t gva)
3356{
Marcelo Tosattia7052892008-09-23 13:18:35 -03003357 vcpu->arch.mmu.invlpg(vcpu, gva);
Marcelo Tosattia7052892008-09-23 13:18:35 -03003358 kvm_mmu_flush_tlb(vcpu);
3359 ++vcpu->stat.invlpg;
3360}
3361EXPORT_SYMBOL_GPL(kvm_mmu_invlpg);
3362
Joerg Roedel18552672008-02-07 13:47:41 +01003363void kvm_enable_tdp(void)
3364{
3365 tdp_enabled = true;
3366}
3367EXPORT_SYMBOL_GPL(kvm_enable_tdp);
3368
Joerg Roedel5f4cb662008-07-14 20:36:36 +02003369void kvm_disable_tdp(void)
3370{
3371 tdp_enabled = false;
3372}
3373EXPORT_SYMBOL_GPL(kvm_disable_tdp);
3374
Avi Kivity6aa8b732006-12-10 02:21:36 -08003375static void free_mmu_pages(struct kvm_vcpu *vcpu)
3376{
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003377 free_page((unsigned long)vcpu->arch.mmu.pae_root);
Joerg Roedel81407ca2010-09-10 17:31:00 +02003378 if (vcpu->arch.mmu.lm_root != NULL)
3379 free_page((unsigned long)vcpu->arch.mmu.lm_root);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003380}
3381
3382static int alloc_mmu_pages(struct kvm_vcpu *vcpu)
3383{
Avi Kivity17ac10a2007-01-05 16:36:40 -08003384 struct page *page;
Avi Kivity6aa8b732006-12-10 02:21:36 -08003385 int i;
3386
3387 ASSERT(vcpu);
3388
Avi Kivity17ac10a2007-01-05 16:36:40 -08003389 /*
3390 * When emulating 32-bit mode, cr3 is only 32 bits even on x86_64.
3391 * Therefore we need to allocate shadow page tables in the first
3392 * 4GB of memory, which happens to fit the DMA32 zone.
3393 */
3394 page = alloc_page(GFP_KERNEL | __GFP_DMA32);
3395 if (!page)
Wei Yongjund7fa6ab2010-01-22 16:55:05 +08003396 return -ENOMEM;
3397
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003398 vcpu->arch.mmu.pae_root = page_address(page);
Avi Kivity17ac10a2007-01-05 16:36:40 -08003399 for (i = 0; i < 4; ++i)
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003400 vcpu->arch.mmu.pae_root[i] = INVALID_PAGE;
Avi Kivity17ac10a2007-01-05 16:36:40 -08003401
Avi Kivity6aa8b732006-12-10 02:21:36 -08003402 return 0;
Avi Kivity6aa8b732006-12-10 02:21:36 -08003403}
3404
Ingo Molnar8018c272006-12-29 16:50:01 -08003405int kvm_mmu_create(struct kvm_vcpu *vcpu)
Avi Kivity6aa8b732006-12-10 02:21:36 -08003406{
Avi Kivity6aa8b732006-12-10 02:21:36 -08003407 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003408 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity6aa8b732006-12-10 02:21:36 -08003409
Ingo Molnar8018c272006-12-29 16:50:01 -08003410 return alloc_mmu_pages(vcpu);
3411}
Avi Kivity6aa8b732006-12-10 02:21:36 -08003412
Ingo Molnar8018c272006-12-29 16:50:01 -08003413int kvm_mmu_setup(struct kvm_vcpu *vcpu)
3414{
3415 ASSERT(vcpu);
Zhang Xiantaoad312c72007-12-13 23:50:52 +08003416 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
Avi Kivity2c264952006-12-22 01:05:28 -08003417
Ingo Molnar8018c272006-12-29 16:50:01 -08003418 return init_kvm_mmu(vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003419}
3420
Avi Kivity90cb0522007-07-17 13:04:56 +03003421void kvm_mmu_slot_remove_write_access(struct kvm *kvm, int slot)
Avi Kivity6aa8b732006-12-10 02:21:36 -08003422{
Avi Kivity4db35312007-11-21 15:28:32 +02003423 struct kvm_mmu_page *sp;
Avi Kivity6aa8b732006-12-10 02:21:36 -08003424
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08003425 list_for_each_entry(sp, &kvm->arch.active_mmu_pages, link) {
Avi Kivity6aa8b732006-12-10 02:21:36 -08003426 int i;
3427 u64 *pt;
3428
Sheng Yang291f26b2008-10-16 17:30:57 +08003429 if (!test_bit(slot, sp->slot_bitmap))
Avi Kivity6aa8b732006-12-10 02:21:36 -08003430 continue;
3431
Avi Kivity4db35312007-11-21 15:28:32 +02003432 pt = sp->spt;
Avi Kivity8234b222010-12-27 12:08:45 +02003433 for (i = 0; i < PT64_ENT_PER_PAGE; ++i) {
Xiao Guangrongda8dc752011-03-04 18:56:41 +08003434 if (!is_shadow_present_pte(pt[i]) ||
3435 !is_last_spte(pt[i], sp->role.level))
3436 continue;
3437
3438 if (is_large_pte(pt[i])) {
Avi Kivity8234b222010-12-27 12:08:45 +02003439 drop_spte(kvm, &pt[i],
3440 shadow_trap_nonpresent_pte);
3441 --kvm->stat.lpages;
Xiao Guangrongda8dc752011-03-04 18:56:41 +08003442 continue;
Avi Kivity8234b222010-12-27 12:08:45 +02003443 }
Xiao Guangrongda8dc752011-03-04 18:56:41 +08003444
Avi Kivity6aa8b732006-12-10 02:21:36 -08003445 /* avoid RMW */
Gui Jianfeng01c168a2010-05-27 16:09:48 +08003446 if (is_writable_pte(pt[i]))
Takuya Yoshikawa700e1b12010-12-06 01:11:33 +09003447 update_spte(&pt[i], pt[i] & ~PT_WRITABLE_MASK);
Avi Kivity8234b222010-12-27 12:08:45 +02003448 }
Avi Kivity6aa8b732006-12-10 02:21:36 -08003449 }
Avi Kivity171d5952008-08-27 16:40:51 +03003450 kvm_flush_remote_tlbs(kvm);
Avi Kivity6aa8b732006-12-10 02:21:36 -08003451}
Avi Kivity37a7d8b2007-01-05 16:36:56 -08003452
Avi Kivity90cb0522007-07-17 13:04:56 +03003453void kvm_mmu_zap_all(struct kvm *kvm)
Dor Laore0fa8262007-03-30 13:06:33 +03003454{
Avi Kivity4db35312007-11-21 15:28:32 +02003455 struct kvm_mmu_page *sp, *node;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003456 LIST_HEAD(invalid_list);
Dor Laore0fa8262007-03-30 13:06:33 +03003457
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003458 spin_lock(&kvm->mmu_lock);
Xiao Guangrong3246af02010-04-16 16:35:54 +08003459restart:
Zhang Xiantaof05e70a2007-12-14 10:01:48 +08003460 list_for_each_entry_safe(sp, node, &kvm->arch.active_mmu_pages, link)
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003461 if (kvm_mmu_prepare_zap_page(kvm, sp, &invalid_list))
Xiao Guangrong3246af02010-04-16 16:35:54 +08003462 goto restart;
3463
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003464 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -05003465 spin_unlock(&kvm->mmu_lock);
Dor Laore0fa8262007-03-30 13:06:33 +03003466}
3467
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003468static int kvm_mmu_remove_some_alloc_mmu_pages(struct kvm *kvm,
3469 struct list_head *invalid_list)
Izik Eidus3ee16c82008-03-30 15:17:21 +03003470{
3471 struct kvm_mmu_page *page;
3472
3473 page = container_of(kvm->arch.active_mmu_pages.prev,
3474 struct kvm_mmu_page, link);
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003475 return kvm_mmu_prepare_zap_page(kvm, page, invalid_list);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003476}
3477
Ying Han1495f232011-05-24 17:12:27 -07003478static int mmu_shrink(struct shrinker *shrink, struct shrink_control *sc)
Izik Eidus3ee16c82008-03-30 15:17:21 +03003479{
3480 struct kvm *kvm;
3481 struct kvm *kvm_freed = NULL;
Ying Han1495f232011-05-24 17:12:27 -07003482 int nr_to_scan = sc->nr_to_scan;
Dave Hansen45221ab2010-08-19 18:11:37 -07003483
3484 if (nr_to_scan == 0)
3485 goto out;
Izik Eidus3ee16c82008-03-30 15:17:21 +03003486
Jan Kiszkae935b832011-02-08 12:55:33 +01003487 raw_spin_lock(&kvm_lock);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003488
3489 list_for_each_entry(kvm, &vm_list, vm_list) {
Dave Hansen45221ab2010-08-19 18:11:37 -07003490 int idx, freed_pages;
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003491 LIST_HEAD(invalid_list);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003492
Marcelo Tosattif656ce02009-12-23 14:35:25 -02003493 idx = srcu_read_lock(&kvm->srcu);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003494 spin_lock(&kvm->mmu_lock);
Dave Hansen45221ab2010-08-19 18:11:37 -07003495 if (!kvm_freed && nr_to_scan > 0 &&
3496 kvm->arch.n_used_mmu_pages > 0) {
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003497 freed_pages = kvm_mmu_remove_some_alloc_mmu_pages(kvm,
3498 &invalid_list);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003499 kvm_freed = kvm;
3500 }
3501 nr_to_scan--;
3502
Xiao Guangrongd98ba052010-06-04 21:55:29 +08003503 kvm_mmu_commit_zap_page(kvm, &invalid_list);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003504 spin_unlock(&kvm->mmu_lock);
Marcelo Tosattif656ce02009-12-23 14:35:25 -02003505 srcu_read_unlock(&kvm->srcu, idx);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003506 }
3507 if (kvm_freed)
3508 list_move_tail(&kvm_freed->vm_list, &vm_list);
3509
Jan Kiszkae935b832011-02-08 12:55:33 +01003510 raw_spin_unlock(&kvm_lock);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003511
Dave Hansen45221ab2010-08-19 18:11:37 -07003512out:
3513 return percpu_counter_read_positive(&kvm_total_used_mmu_pages);
Izik Eidus3ee16c82008-03-30 15:17:21 +03003514}
3515
3516static struct shrinker mmu_shrinker = {
3517 .shrink = mmu_shrink,
3518 .seeks = DEFAULT_SEEKS * 10,
3519};
3520
Ingo Molnar2ddfd202008-05-22 10:37:48 +02003521static void mmu_destroy_caches(void)
Avi Kivityb5a33a72007-04-15 16:31:09 +03003522{
Xiao Guangrong53c07b12011-05-15 23:26:20 +08003523 if (pte_list_desc_cache)
3524 kmem_cache_destroy(pte_list_desc_cache);
Avi Kivityd3d25b02007-05-30 12:34:53 +03003525 if (mmu_page_header_cache)
3526 kmem_cache_destroy(mmu_page_header_cache);
Avi Kivityb5a33a72007-04-15 16:31:09 +03003527}
3528
3529int kvm_mmu_module_init(void)
3530{
Xiao Guangrong53c07b12011-05-15 23:26:20 +08003531 pte_list_desc_cache = kmem_cache_create("pte_list_desc",
3532 sizeof(struct pte_list_desc),
Paul Mundt20c2df82007-07-20 10:11:58 +09003533 0, 0, NULL);
Xiao Guangrong53c07b12011-05-15 23:26:20 +08003534 if (!pte_list_desc_cache)
Avi Kivityb5a33a72007-04-15 16:31:09 +03003535 goto nomem;
3536
Avi Kivityd3d25b02007-05-30 12:34:53 +03003537 mmu_page_header_cache = kmem_cache_create("kvm_mmu_page_header",
3538 sizeof(struct kvm_mmu_page),
Paul Mundt20c2df82007-07-20 10:11:58 +09003539 0, 0, NULL);
Avi Kivityd3d25b02007-05-30 12:34:53 +03003540 if (!mmu_page_header_cache)
3541 goto nomem;
3542
Wei Yongjun45bf21a2010-08-23 16:13:15 +08003543 if (percpu_counter_init(&kvm_total_used_mmu_pages, 0))
3544 goto nomem;
3545
Izik Eidus3ee16c82008-03-30 15:17:21 +03003546 register_shrinker(&mmu_shrinker);
3547
Avi Kivityb5a33a72007-04-15 16:31:09 +03003548 return 0;
3549
3550nomem:
Izik Eidus3ee16c82008-03-30 15:17:21 +03003551 mmu_destroy_caches();
Avi Kivityb5a33a72007-04-15 16:31:09 +03003552 return -ENOMEM;
3553}
3554
Zhang Xiantao3ad82a72007-11-20 13:11:38 +08003555/*
3556 * Caculate mmu pages needed for kvm.
3557 */
3558unsigned int kvm_mmu_calculate_mmu_pages(struct kvm *kvm)
3559{
3560 int i;
3561 unsigned int nr_mmu_pages;
3562 unsigned int nr_pages = 0;
Marcelo Tosattibc6678a2009-12-23 14:35:21 -02003563 struct kvm_memslots *slots;
Zhang Xiantao3ad82a72007-11-20 13:11:38 +08003564
Lai Jiangshan90d83dc2010-04-19 17:41:23 +08003565 slots = kvm_memslots(kvm);
3566
Marcelo Tosattibc6678a2009-12-23 14:35:21 -02003567 for (i = 0; i < slots->nmemslots; i++)
3568 nr_pages += slots->memslots[i].npages;
Zhang Xiantao3ad82a72007-11-20 13:11:38 +08003569
3570 nr_mmu_pages = nr_pages * KVM_PERMILLE_MMU_PAGES / 1000;
3571 nr_mmu_pages = max(nr_mmu_pages,
3572 (unsigned int) KVM_MIN_ALLOC_MMU_PAGES);
3573
3574 return nr_mmu_pages;
3575}
3576
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003577static void *pv_mmu_peek_buffer(struct kvm_pv_mmu_op_buffer *buffer,
3578 unsigned len)
3579{
3580 if (len > buffer->len)
3581 return NULL;
3582 return buffer->ptr;
3583}
3584
3585static void *pv_mmu_read_buffer(struct kvm_pv_mmu_op_buffer *buffer,
3586 unsigned len)
3587{
3588 void *ret;
3589
3590 ret = pv_mmu_peek_buffer(buffer, len);
3591 if (!ret)
3592 return ret;
3593 buffer->ptr += len;
3594 buffer->len -= len;
3595 buffer->processed += len;
3596 return ret;
3597}
3598
3599static int kvm_pv_mmu_write(struct kvm_vcpu *vcpu,
3600 gpa_t addr, gpa_t value)
3601{
3602 int bytes = 8;
3603 int r;
3604
3605 if (!is_long_mode(vcpu) && !is_pae(vcpu))
3606 bytes = 4;
3607
3608 r = mmu_topup_memory_caches(vcpu);
3609 if (r)
3610 return r;
3611
Marcelo Tosatti3200f402008-03-29 20:17:59 -03003612 if (!emulator_write_phys(vcpu, addr, &value, bytes))
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003613 return -EFAULT;
3614
3615 return 1;
3616}
3617
3618static int kvm_pv_mmu_flush_tlb(struct kvm_vcpu *vcpu)
3619{
Avi Kivity9f8fe502010-12-05 17:30:00 +02003620 (void)kvm_set_cr3(vcpu, kvm_read_cr3(vcpu));
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003621 return 1;
3622}
3623
3624static int kvm_pv_mmu_release_pt(struct kvm_vcpu *vcpu, gpa_t addr)
3625{
3626 spin_lock(&vcpu->kvm->mmu_lock);
3627 mmu_unshadow(vcpu->kvm, addr >> PAGE_SHIFT);
3628 spin_unlock(&vcpu->kvm->mmu_lock);
3629 return 1;
3630}
3631
3632static int kvm_pv_mmu_op_one(struct kvm_vcpu *vcpu,
3633 struct kvm_pv_mmu_op_buffer *buffer)
3634{
3635 struct kvm_mmu_op_header *header;
3636
3637 header = pv_mmu_peek_buffer(buffer, sizeof *header);
3638 if (!header)
3639 return 0;
3640 switch (header->op) {
3641 case KVM_MMU_OP_WRITE_PTE: {
3642 struct kvm_mmu_op_write_pte *wpte;
3643
3644 wpte = pv_mmu_read_buffer(buffer, sizeof *wpte);
3645 if (!wpte)
3646 return 0;
3647 return kvm_pv_mmu_write(vcpu, wpte->pte_phys,
3648 wpte->pte_val);
3649 }
3650 case KVM_MMU_OP_FLUSH_TLB: {
3651 struct kvm_mmu_op_flush_tlb *ftlb;
3652
3653 ftlb = pv_mmu_read_buffer(buffer, sizeof *ftlb);
3654 if (!ftlb)
3655 return 0;
3656 return kvm_pv_mmu_flush_tlb(vcpu);
3657 }
3658 case KVM_MMU_OP_RELEASE_PT: {
3659 struct kvm_mmu_op_release_pt *rpt;
3660
3661 rpt = pv_mmu_read_buffer(buffer, sizeof *rpt);
3662 if (!rpt)
3663 return 0;
3664 return kvm_pv_mmu_release_pt(vcpu, rpt->pt_phys);
3665 }
3666 default: return 0;
3667 }
3668}
3669
3670int kvm_pv_mmu_op(struct kvm_vcpu *vcpu, unsigned long bytes,
3671 gpa_t addr, unsigned long *ret)
3672{
3673 int r;
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003674 struct kvm_pv_mmu_op_buffer *buffer = &vcpu->arch.mmu_op_buffer;
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003675
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003676 buffer->ptr = buffer->buf;
3677 buffer->len = min_t(unsigned long, bytes, sizeof buffer->buf);
3678 buffer->processed = 0;
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003679
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003680 r = kvm_read_guest(vcpu->kvm, addr, buffer->buf, buffer->len);
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003681 if (r)
3682 goto out;
3683
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003684 while (buffer->len) {
3685 r = kvm_pv_mmu_op_one(vcpu, buffer);
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003686 if (r < 0)
3687 goto out;
3688 if (r == 0)
3689 break;
3690 }
3691
3692 r = 1;
3693out:
Dave Hansen6ad18fb2008-08-11 10:01:49 -07003694 *ret = buffer->processed;
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -05003695 return r;
3696}
3697
Marcelo Tosatti94d8b052009-06-11 12:07:42 -03003698int kvm_mmu_get_spte_hierarchy(struct kvm_vcpu *vcpu, u64 addr, u64 sptes[4])
3699{
3700 struct kvm_shadow_walk_iterator iterator;
3701 int nr_sptes = 0;
3702
3703 spin_lock(&vcpu->kvm->mmu_lock);
3704 for_each_shadow_entry(vcpu, addr, iterator) {
3705 sptes[iterator.level-1] = *iterator.sptep;
3706 nr_sptes++;
3707 if (!is_shadow_present_pte(*iterator.sptep))
3708 break;
3709 }
3710 spin_unlock(&vcpu->kvm->mmu_lock);
3711
3712 return nr_sptes;
3713}
3714EXPORT_SYMBOL_GPL(kvm_mmu_get_spte_hierarchy);
3715
Xiao Guangrongc42fffe2010-09-27 18:07:07 +08003716void kvm_mmu_destroy(struct kvm_vcpu *vcpu)
3717{
3718 ASSERT(vcpu);
3719
3720 destroy_kvm_mmu(vcpu);
3721 free_mmu_pages(vcpu);
3722 mmu_free_memory_caches(vcpu);
Xiao Guangrongb034cf02010-12-23 16:08:35 +08003723}
3724
3725#ifdef CONFIG_KVM_MMU_AUDIT
3726#include "mmu_audit.c"
3727#else
3728static void mmu_audit_disable(void) { }
3729#endif
3730
3731void kvm_mmu_module_exit(void)
3732{
3733 mmu_destroy_caches();
3734 percpu_counter_destroy(&kvm_total_used_mmu_pages);
3735 unregister_shrinker(&mmu_shrinker);
Xiao Guangrongc42fffe2010-09-27 18:07:07 +08003736 mmu_audit_disable();
3737}