blob: 7d7d0b9e23eb2e3d7b256d74c58852c9f26e5772 [file] [log] [blame]
Xiao Guangrong2f4f3372010-08-30 18:24:10 +08001/*
2 * mmu_audit.c:
3 *
4 * Audit code for KVM MMU
5 *
6 * Copyright (C) 2006 Qumranet, Inc.
Nicolas Kaiser9611c182010-10-06 14:23:22 +02007 * Copyright 2010 Red Hat, Inc. and/or its affiliates.
Xiao Guangrong2f4f3372010-08-30 18:24:10 +08008 *
9 * Authors:
10 * Yaniv Kamay <yaniv@qumranet.com>
11 * Avi Kivity <avi@qumranet.com>
12 * Marcelo Tosatti <mtosatti@redhat.com>
13 * Xiao Guangrong <xiaoguangrong@cn.fujitsu.com>
14 *
15 * This work is licensed under the terms of the GNU GPL, version 2. See
16 * the COPYING file in the top-level directory.
17 *
18 */
19
Xiao Guangrong30644b92010-08-30 18:26:33 +080020#include <linux/ratelimit.h>
21
Xiao Guangronge37fa782011-11-30 17:43:24 +080022char const *audit_point_name[] = {
23 "pre page fault",
24 "post page fault",
25 "pre pte write",
26 "post pte write",
27 "pre sync",
28 "post sync"
29};
30
Xiao Guangrongb034cf02010-12-23 16:08:35 +080031#define audit_printk(kvm, fmt, args...) \
Xiao Guangrong38904e12010-09-27 18:07:59 +080032 printk(KERN_ERR "audit: (%s) error: " \
Xiao Guangrongb034cf02010-12-23 16:08:35 +080033 fmt, audit_point_name[kvm->arch.audit_point], ##args)
Xiao Guangrong2f4f3372010-08-30 18:24:10 +080034
Xiao Guangrongeb259182010-08-30 18:25:51 +080035typedef void (*inspect_spte_fn) (struct kvm_vcpu *vcpu, u64 *sptep, int level);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +080036
Xiao Guangrongeb259182010-08-30 18:25:51 +080037static void __mmu_spte_walk(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp,
38 inspect_spte_fn fn, int level)
Xiao Guangrong2f4f3372010-08-30 18:24:10 +080039{
40 int i;
41
42 for (i = 0; i < PT64_ENT_PER_PAGE; ++i) {
Xiao Guangrongeb259182010-08-30 18:25:51 +080043 u64 *ent = sp->spt;
Xiao Guangrong2f4f3372010-08-30 18:24:10 +080044
Xiao Guangrongeb259182010-08-30 18:25:51 +080045 fn(vcpu, ent + i, level);
46
47 if (is_shadow_present_pte(ent[i]) &&
48 !is_last_spte(ent[i], level)) {
49 struct kvm_mmu_page *child;
50
51 child = page_header(ent[i] & PT64_BASE_ADDR_MASK);
52 __mmu_spte_walk(vcpu, child, fn, level - 1);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +080053 }
54 }
55}
56
57static void mmu_spte_walk(struct kvm_vcpu *vcpu, inspect_spte_fn fn)
58{
59 int i;
60 struct kvm_mmu_page *sp;
61
62 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))
63 return;
Xiao Guangrongeb259182010-08-30 18:25:51 +080064
Xiao Guangrong98224bf2010-09-27 18:06:16 +080065 if (vcpu->arch.mmu.root_level == PT64_ROOT_LEVEL) {
Xiao Guangrong2f4f3372010-08-30 18:24:10 +080066 hpa_t root = vcpu->arch.mmu.root_hpa;
Xiao Guangrongeb259182010-08-30 18:25:51 +080067
Xiao Guangrong2f4f3372010-08-30 18:24:10 +080068 sp = page_header(root);
Xiao Guangrongeb259182010-08-30 18:25:51 +080069 __mmu_spte_walk(vcpu, sp, fn, PT64_ROOT_LEVEL);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +080070 return;
71 }
Xiao Guangrongeb259182010-08-30 18:25:51 +080072
Xiao Guangrong2f4f3372010-08-30 18:24:10 +080073 for (i = 0; i < 4; ++i) {
74 hpa_t root = vcpu->arch.mmu.pae_root[i];
75
76 if (root && VALID_PAGE(root)) {
77 root &= PT64_BASE_ADDR_MASK;
78 sp = page_header(root);
Xiao Guangrongeb259182010-08-30 18:25:51 +080079 __mmu_spte_walk(vcpu, sp, fn, 2);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +080080 }
81 }
Xiao Guangrongeb259182010-08-30 18:25:51 +080082
Xiao Guangrong2f4f3372010-08-30 18:24:10 +080083 return;
84}
85
Xiao Guangrong49edf872010-08-30 18:25:03 +080086typedef void (*sp_handler) (struct kvm *kvm, struct kvm_mmu_page *sp);
87
88static void walk_all_active_sps(struct kvm *kvm, sp_handler fn)
89{
90 struct kvm_mmu_page *sp;
91
92 list_for_each_entry(sp, &kvm->arch.active_mmu_pages, link)
93 fn(kvm, sp);
94}
95
Xiao Guangrongeb259182010-08-30 18:25:51 +080096static void audit_mappings(struct kvm_vcpu *vcpu, u64 *sptep, int level)
Xiao Guangrong2f4f3372010-08-30 18:24:10 +080097{
Xiao Guangrongeb259182010-08-30 18:25:51 +080098 struct kvm_mmu_page *sp;
99 gfn_t gfn;
100 pfn_t pfn;
101 hpa_t hpa;
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800102
Xiao Guangrongeb259182010-08-30 18:25:51 +0800103 sp = page_header(__pa(sptep));
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800104
Xiao Guangrongeb259182010-08-30 18:25:51 +0800105 if (sp->unsync) {
106 if (level != PT_PAGE_TABLE_LEVEL) {
Xiao Guangrongb034cf02010-12-23 16:08:35 +0800107 audit_printk(vcpu->kvm, "unsync sp: %p "
108 "level = %d\n", sp, level);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800109 return;
110 }
Xiao Guangrongeb259182010-08-30 18:25:51 +0800111 }
112
113 if (!is_shadow_present_pte(*sptep) || !is_last_spte(*sptep, level))
114 return;
115
116 gfn = kvm_mmu_page_get_gfn(sp, sptep - sp->spt);
117 pfn = gfn_to_pfn_atomic(vcpu->kvm, gfn);
118
119 if (is_error_pfn(pfn)) {
120 kvm_release_pfn_clean(pfn);
121 return;
122 }
123
124 hpa = pfn << PAGE_SHIFT;
125 if ((*sptep & PT64_BASE_ADDR_MASK) != hpa)
Xiao Guangrongb034cf02010-12-23 16:08:35 +0800126 audit_printk(vcpu->kvm, "levels %d pfn %llx hpa %llx "
127 "ent %llxn", vcpu->arch.mmu.root_level, pfn,
128 hpa, *sptep);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800129}
130
Xiao Guangrongeb259182010-08-30 18:25:51 +0800131static void inspect_spte_has_rmap(struct kvm *kvm, u64 *sptep)
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800132{
Jan Kiszkabd801582011-09-12 11:26:22 +0200133 static DEFINE_RATELIMIT_STATE(ratelimit_state, 5 * HZ, 10);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800134 unsigned long *rmapp;
135 struct kvm_mmu_page *rev_sp;
136 gfn_t gfn;
137
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800138 rev_sp = page_header(__pa(sptep));
139 gfn = kvm_mmu_page_get_gfn(rev_sp, sptep - rev_sp->spt);
140
141 if (!gfn_to_memslot(kvm, gfn)) {
Jan Kiszkabd801582011-09-12 11:26:22 +0200142 if (!__ratelimit(&ratelimit_state))
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800143 return;
Xiao Guangrongb034cf02010-12-23 16:08:35 +0800144 audit_printk(kvm, "no memslot for gfn %llx\n", gfn);
145 audit_printk(kvm, "index %ld of sp (gfn=%llx)\n",
Xiao Guangrong38904e12010-09-27 18:07:59 +0800146 (long int)(sptep - rev_sp->spt), rev_sp->gfn);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800147 dump_stack();
148 return;
149 }
150
151 rmapp = gfn_to_rmap(kvm, gfn, rev_sp->role.level);
152 if (!*rmapp) {
Jan Kiszkabd801582011-09-12 11:26:22 +0200153 if (!__ratelimit(&ratelimit_state))
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800154 return;
Xiao Guangrongb034cf02010-12-23 16:08:35 +0800155 audit_printk(kvm, "no rmap for writable spte %llx\n",
156 *sptep);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800157 dump_stack();
158 }
159}
160
Xiao Guangrongeb259182010-08-30 18:25:51 +0800161static void audit_sptes_have_rmaps(struct kvm_vcpu *vcpu, u64 *sptep, int level)
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800162{
Xiao Guangrongeb259182010-08-30 18:25:51 +0800163 if (is_shadow_present_pte(*sptep) && is_last_spte(*sptep, level))
164 inspect_spte_has_rmap(vcpu->kvm, sptep);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800165}
166
Xiao Guangrong69030742010-09-27 18:09:29 +0800167static void audit_spte_after_sync(struct kvm_vcpu *vcpu, u64 *sptep, int level)
168{
169 struct kvm_mmu_page *sp = page_header(__pa(sptep));
170
Xiao Guangrongb034cf02010-12-23 16:08:35 +0800171 if (vcpu->kvm->arch.audit_point == AUDIT_POST_SYNC && sp->unsync)
172 audit_printk(vcpu->kvm, "meet unsync sp(%p) after sync "
173 "root.\n", sp);
Xiao Guangrong69030742010-09-27 18:09:29 +0800174}
175
Xiao Guangrong49edf872010-08-30 18:25:03 +0800176static void check_mappings_rmap(struct kvm *kvm, struct kvm_mmu_page *sp)
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800177{
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800178 int i;
179
Xiao Guangrong49edf872010-08-30 18:25:03 +0800180 if (sp->role.level != PT_PAGE_TABLE_LEVEL)
181 return;
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800182
Xiao Guangrong49edf872010-08-30 18:25:03 +0800183 for (i = 0; i < PT64_ENT_PER_PAGE; ++i) {
184 if (!is_rmap_spte(sp->spt[i]))
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800185 continue;
186
Xiao Guangrong49edf872010-08-30 18:25:03 +0800187 inspect_spte_has_rmap(kvm, sp->spt + i);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800188 }
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800189}
190
Xiao Guangrong69030742010-09-27 18:09:29 +0800191static void audit_write_protection(struct kvm *kvm, struct kvm_mmu_page *sp)
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800192{
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800193 struct kvm_memory_slot *slot;
194 unsigned long *rmapp;
Takuya Yoshikawa1e3f42f2012-03-21 23:50:34 +0900195 u64 *sptep;
196 struct rmap_iterator iter;
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800197
Xiao Guangrong49edf872010-08-30 18:25:03 +0800198 if (sp->role.direct || sp->unsync || sp->role.invalid)
199 return;
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800200
Xiao Guangrong49edf872010-08-30 18:25:03 +0800201 slot = gfn_to_memslot(kvm, sp->gfn);
202 rmapp = &slot->rmap[sp->gfn - slot->base_gfn];
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800203
Takuya Yoshikawa1e3f42f2012-03-21 23:50:34 +0900204 for (sptep = rmap_get_first(*rmapp, &iter); sptep;
205 sptep = rmap_get_next(&iter)) {
206 if (is_writable_pte(*sptep))
Xiao Guangrongb034cf02010-12-23 16:08:35 +0800207 audit_printk(kvm, "shadow page has writable "
208 "mappings: gfn %llx role %x\n",
209 sp->gfn, sp->role.word);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800210 }
211}
212
Xiao Guangrong49edf872010-08-30 18:25:03 +0800213static void audit_sp(struct kvm *kvm, struct kvm_mmu_page *sp)
214{
215 check_mappings_rmap(kvm, sp);
216 audit_write_protection(kvm, sp);
217}
218
219static void audit_all_active_sps(struct kvm *kvm)
220{
221 walk_all_active_sps(kvm, audit_sp);
222}
223
Xiao Guangrongeb259182010-08-30 18:25:51 +0800224static void audit_spte(struct kvm_vcpu *vcpu, u64 *sptep, int level)
225{
226 audit_sptes_have_rmaps(vcpu, sptep, level);
227 audit_mappings(vcpu, sptep, level);
Xiao Guangrong69030742010-09-27 18:09:29 +0800228 audit_spte_after_sync(vcpu, sptep, level);
Xiao Guangrongeb259182010-08-30 18:25:51 +0800229}
230
231static void audit_vcpu_spte(struct kvm_vcpu *vcpu)
232{
233 mmu_spte_walk(vcpu, audit_spte);
234}
235
Xiao Guangrong0375f7f2011-11-28 20:41:00 +0800236static bool mmu_audit;
Ingo Molnarc5905af2012-02-24 08:31:31 +0100237static struct static_key mmu_audit_key;
Xiao Guangrong0375f7f2011-11-28 20:41:00 +0800238
Xiao Guangronge37fa782011-11-30 17:43:24 +0800239static void __kvm_mmu_audit(struct kvm_vcpu *vcpu, int point)
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800240{
Xiao Guangrong30644b92010-08-30 18:26:33 +0800241 static DEFINE_RATELIMIT_STATE(ratelimit_state, 5 * HZ, 10);
242
Xiao Guangronge37fa782011-11-30 17:43:24 +0800243 if (!__ratelimit(&ratelimit_state))
244 return;
Xiao Guangrong30644b92010-08-30 18:26:33 +0800245
Xiao Guangronge37fa782011-11-30 17:43:24 +0800246 vcpu->kvm->arch.audit_point = point;
247 audit_all_active_sps(vcpu->kvm);
248 audit_vcpu_spte(vcpu);
249}
250
251static inline void kvm_mmu_audit(struct kvm_vcpu *vcpu, int point)
252{
Ingo Molnarc5905af2012-02-24 08:31:31 +0100253 if (static_key_false((&mmu_audit_key)))
Xiao Guangronge37fa782011-11-30 17:43:24 +0800254 __kvm_mmu_audit(vcpu, point);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800255}
256
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800257static void mmu_audit_enable(void)
258{
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800259 if (mmu_audit)
260 return;
261
Ingo Molnarc5905af2012-02-24 08:31:31 +0100262 static_key_slow_inc(&mmu_audit_key);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800263 mmu_audit = true;
264}
265
266static void mmu_audit_disable(void)
267{
268 if (!mmu_audit)
269 return;
270
Ingo Molnarc5905af2012-02-24 08:31:31 +0100271 static_key_slow_dec(&mmu_audit_key);
Xiao Guangrong2f4f3372010-08-30 18:24:10 +0800272 mmu_audit = false;
273}
274
275static int mmu_audit_set(const char *val, const struct kernel_param *kp)
276{
277 int ret;
278 unsigned long enable;
279
280 ret = strict_strtoul(val, 10, &enable);
281 if (ret < 0)
282 return -EINVAL;
283
284 switch (enable) {
285 case 0:
286 mmu_audit_disable();
287 break;
288 case 1:
289 mmu_audit_enable();
290 break;
291 default:
292 return -EINVAL;
293 }
294
295 return 0;
296}
297
298static struct kernel_param_ops audit_param_ops = {
299 .set = mmu_audit_set,
300 .get = param_get_bool,
301};
302
303module_param_cb(mmu_audit, &audit_param_ops, &mmu_audit, 0644);