xref: /openbmc/linux/arch/x86/kvm/mtrr.c (revision 8d20bd6381670382669d9bb39b5fd566a84cdbef)
120c8ccb1SThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only
2ff53604bSXiao Guangrong /*
3ff53604bSXiao Guangrong  * vMTRR implementation
4ff53604bSXiao Guangrong  *
5ff53604bSXiao Guangrong  * Copyright (C) 2006 Qumranet, Inc.
6ff53604bSXiao Guangrong  * Copyright 2010 Red Hat, Inc. and/or its affiliates.
7ff53604bSXiao Guangrong  * Copyright(C) 2015 Intel Corporation.
8ff53604bSXiao Guangrong  *
9ff53604bSXiao Guangrong  * Authors:
10ff53604bSXiao Guangrong  *   Yaniv Kamay  <yaniv@qumranet.com>
11ff53604bSXiao Guangrong  *   Avi Kivity   <avi@qumranet.com>
12ff53604bSXiao Guangrong  *   Marcelo Tosatti <mtosatti@redhat.com>
13ff53604bSXiao Guangrong  *   Paolo Bonzini <pbonzini@redhat.com>
14ff53604bSXiao Guangrong  *   Xiao Guangrong <guangrong.xiao@linux.intel.com>
15ff53604bSXiao Guangrong  */
16*8d20bd63SSean Christopherson #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
17ff53604bSXiao Guangrong 
18ff53604bSXiao Guangrong #include <linux/kvm_host.h>
19ff53604bSXiao Guangrong #include <asm/mtrr.h>
20ff53604bSXiao Guangrong 
21ff53604bSXiao Guangrong #include "cpuid.h"
22ff53604bSXiao Guangrong #include "mmu.h"
23ff53604bSXiao Guangrong 
2410fac2dcSXiao Guangrong #define IA32_MTRR_DEF_TYPE_E		(1ULL << 11)
2510fac2dcSXiao Guangrong #define IA32_MTRR_DEF_TYPE_FE		(1ULL << 10)
2610fac2dcSXiao Guangrong #define IA32_MTRR_DEF_TYPE_TYPE_MASK	(0xff)
2710fac2dcSXiao Guangrong 
28ff53604bSXiao Guangrong static bool msr_mtrr_valid(unsigned msr)
29ff53604bSXiao Guangrong {
30ff53604bSXiao Guangrong 	switch (msr) {
31ff53604bSXiao Guangrong 	case 0x200 ... 0x200 + 2 * KVM_NR_VAR_MTRR - 1:
32ff53604bSXiao Guangrong 	case MSR_MTRRfix64K_00000:
33ff53604bSXiao Guangrong 	case MSR_MTRRfix16K_80000:
34ff53604bSXiao Guangrong 	case MSR_MTRRfix16K_A0000:
35ff53604bSXiao Guangrong 	case MSR_MTRRfix4K_C0000:
36ff53604bSXiao Guangrong 	case MSR_MTRRfix4K_C8000:
37ff53604bSXiao Guangrong 	case MSR_MTRRfix4K_D0000:
38ff53604bSXiao Guangrong 	case MSR_MTRRfix4K_D8000:
39ff53604bSXiao Guangrong 	case MSR_MTRRfix4K_E0000:
40ff53604bSXiao Guangrong 	case MSR_MTRRfix4K_E8000:
41ff53604bSXiao Guangrong 	case MSR_MTRRfix4K_F0000:
42ff53604bSXiao Guangrong 	case MSR_MTRRfix4K_F8000:
43ff53604bSXiao Guangrong 	case MSR_MTRRdefType:
44ff53604bSXiao Guangrong 	case MSR_IA32_CR_PAT:
45ff53604bSXiao Guangrong 		return true;
46ff53604bSXiao Guangrong 	}
47ff53604bSXiao Guangrong 	return false;
48ff53604bSXiao Guangrong }
49ff53604bSXiao Guangrong 
50ff53604bSXiao Guangrong static bool valid_mtrr_type(unsigned t)
51ff53604bSXiao Guangrong {
52ff53604bSXiao Guangrong 	return t < 8 && (1 << t) & 0x73; /* 0, 1, 4, 5, 6 */
53ff53604bSXiao Guangrong }
54ff53604bSXiao Guangrong 
55ff53604bSXiao Guangrong bool kvm_mtrr_valid(struct kvm_vcpu *vcpu, u32 msr, u64 data)
56ff53604bSXiao Guangrong {
57ff53604bSXiao Guangrong 	int i;
58ff53604bSXiao Guangrong 	u64 mask;
59ff53604bSXiao Guangrong 
60ff53604bSXiao Guangrong 	if (!msr_mtrr_valid(msr))
61ff53604bSXiao Guangrong 		return false;
62ff53604bSXiao Guangrong 
63ff53604bSXiao Guangrong 	if (msr == MSR_IA32_CR_PAT) {
64674ea351SPaolo Bonzini 		return kvm_pat_valid(data);
65ff53604bSXiao Guangrong 	} else if (msr == MSR_MTRRdefType) {
66ff53604bSXiao Guangrong 		if (data & ~0xcff)
67ff53604bSXiao Guangrong 			return false;
68ff53604bSXiao Guangrong 		return valid_mtrr_type(data & 0xff);
69ff53604bSXiao Guangrong 	} else if (msr >= MSR_MTRRfix64K_00000 && msr <= MSR_MTRRfix4K_F8000) {
70ff53604bSXiao Guangrong 		for (i = 0; i < 8 ; i++)
71ff53604bSXiao Guangrong 			if (!valid_mtrr_type((data >> (i * 8)) & 0xff))
72ff53604bSXiao Guangrong 				return false;
73ff53604bSXiao Guangrong 		return true;
74ff53604bSXiao Guangrong 	}
75ff53604bSXiao Guangrong 
76ff53604bSXiao Guangrong 	/* variable MTRRs */
77ff53604bSXiao Guangrong 	WARN_ON(!(msr >= 0x200 && msr < 0x200 + 2 * KVM_NR_VAR_MTRR));
78ff53604bSXiao Guangrong 
79a8ac864aSSean Christopherson 	mask = kvm_vcpu_reserved_gpa_bits_raw(vcpu);
80ff53604bSXiao Guangrong 	if ((msr & 1) == 0) {
81ff53604bSXiao Guangrong 		/* MTRR base */
82ff53604bSXiao Guangrong 		if (!valid_mtrr_type(data & 0xff))
83ff53604bSXiao Guangrong 			return false;
84ff53604bSXiao Guangrong 		mask |= 0xf00;
85ff53604bSXiao Guangrong 	} else
86ff53604bSXiao Guangrong 		/* MTRR mask */
87ff53604bSXiao Guangrong 		mask |= 0x7ff;
88ff53604bSXiao Guangrong 
899caec4bfSPaolo Bonzini 	return (data & mask) == 0;
90ff53604bSXiao Guangrong }
91ff53604bSXiao Guangrong EXPORT_SYMBOL_GPL(kvm_mtrr_valid);
92ff53604bSXiao Guangrong 
9310fac2dcSXiao Guangrong static bool mtrr_is_enabled(struct kvm_mtrr *mtrr_state)
9410fac2dcSXiao Guangrong {
9510fac2dcSXiao Guangrong 	return !!(mtrr_state->deftype & IA32_MTRR_DEF_TYPE_E);
9610fac2dcSXiao Guangrong }
9710fac2dcSXiao Guangrong 
9810fac2dcSXiao Guangrong static bool fixed_mtrr_is_enabled(struct kvm_mtrr *mtrr_state)
9910fac2dcSXiao Guangrong {
10010fac2dcSXiao Guangrong 	return !!(mtrr_state->deftype & IA32_MTRR_DEF_TYPE_FE);
10110fac2dcSXiao Guangrong }
10210fac2dcSXiao Guangrong 
10310fac2dcSXiao Guangrong static u8 mtrr_default_type(struct kvm_mtrr *mtrr_state)
10410fac2dcSXiao Guangrong {
10510fac2dcSXiao Guangrong 	return mtrr_state->deftype & IA32_MTRR_DEF_TYPE_TYPE_MASK;
10610fac2dcSXiao Guangrong }
10710fac2dcSXiao Guangrong 
108e24dea2aSPaolo Bonzini static u8 mtrr_disabled_type(struct kvm_vcpu *vcpu)
10910dc331fSXiao Guangrong {
11010dc331fSXiao Guangrong 	/*
11110dc331fSXiao Guangrong 	 * Intel SDM 11.11.2.2: all MTRRs are disabled when
11210dc331fSXiao Guangrong 	 * IA32_MTRR_DEF_TYPE.E bit is cleared, and the UC
11310dc331fSXiao Guangrong 	 * memory type is applied to all of physical memory.
114e24dea2aSPaolo Bonzini 	 *
115e24dea2aSPaolo Bonzini 	 * However, virtual machines can be run with CPUID such that
116e24dea2aSPaolo Bonzini 	 * there are no MTRRs.  In that case, the firmware will never
117e24dea2aSPaolo Bonzini 	 * enable MTRRs and it is obviously undesirable to run the
118e24dea2aSPaolo Bonzini 	 * guest entirely with UC memory and we use WB.
11910dc331fSXiao Guangrong 	 */
120d6321d49SRadim Krčmář 	if (guest_cpuid_has(vcpu, X86_FEATURE_MTRR))
12110dc331fSXiao Guangrong 		return MTRR_TYPE_UNCACHABLE;
122e24dea2aSPaolo Bonzini 	else
123e24dea2aSPaolo Bonzini 		return MTRR_TYPE_WRBACK;
12410dc331fSXiao Guangrong }
12510dc331fSXiao Guangrong 
126de9aef5eSXiao Guangrong /*
127de9aef5eSXiao Guangrong * Three terms are used in the following code:
128de9aef5eSXiao Guangrong * - segment, it indicates the address segments covered by fixed MTRRs.
129de9aef5eSXiao Guangrong * - unit, it corresponds to the MSR entry in the segment.
130de9aef5eSXiao Guangrong * - range, a range is covered in one memory cache type.
131de9aef5eSXiao Guangrong */
132de9aef5eSXiao Guangrong struct fixed_mtrr_segment {
133de9aef5eSXiao Guangrong 	u64 start;
134de9aef5eSXiao Guangrong 	u64 end;
135de9aef5eSXiao Guangrong 
136de9aef5eSXiao Guangrong 	int range_shift;
137de9aef5eSXiao Guangrong 
138de9aef5eSXiao Guangrong 	/* the start position in kvm_mtrr.fixed_ranges[]. */
139de9aef5eSXiao Guangrong 	int range_start;
140de9aef5eSXiao Guangrong };
141de9aef5eSXiao Guangrong 
142de9aef5eSXiao Guangrong static struct fixed_mtrr_segment fixed_seg_table[] = {
143de9aef5eSXiao Guangrong 	/* MSR_MTRRfix64K_00000, 1 unit. 64K fixed mtrr. */
144de9aef5eSXiao Guangrong 	{
145de9aef5eSXiao Guangrong 		.start = 0x0,
146de9aef5eSXiao Guangrong 		.end = 0x80000,
147de9aef5eSXiao Guangrong 		.range_shift = 16, /* 64K */
148de9aef5eSXiao Guangrong 		.range_start = 0,
149de9aef5eSXiao Guangrong 	},
150de9aef5eSXiao Guangrong 
151de9aef5eSXiao Guangrong 	/*
152de9aef5eSXiao Guangrong 	 * MSR_MTRRfix16K_80000 ... MSR_MTRRfix16K_A0000, 2 units,
153de9aef5eSXiao Guangrong 	 * 16K fixed mtrr.
154de9aef5eSXiao Guangrong 	 */
155de9aef5eSXiao Guangrong 	{
156de9aef5eSXiao Guangrong 		.start = 0x80000,
157de9aef5eSXiao Guangrong 		.end = 0xc0000,
158de9aef5eSXiao Guangrong 		.range_shift = 14, /* 16K */
159de9aef5eSXiao Guangrong 		.range_start = 8,
160de9aef5eSXiao Guangrong 	},
161de9aef5eSXiao Guangrong 
162de9aef5eSXiao Guangrong 	/*
163de9aef5eSXiao Guangrong 	 * MSR_MTRRfix4K_C0000 ... MSR_MTRRfix4K_F8000, 8 units,
164de9aef5eSXiao Guangrong 	 * 4K fixed mtrr.
165de9aef5eSXiao Guangrong 	 */
166de9aef5eSXiao Guangrong 	{
167de9aef5eSXiao Guangrong 		.start = 0xc0000,
168de9aef5eSXiao Guangrong 		.end = 0x100000,
169de9aef5eSXiao Guangrong 		.range_shift = 12, /* 12K */
170de9aef5eSXiao Guangrong 		.range_start = 24,
171de9aef5eSXiao Guangrong 	}
172de9aef5eSXiao Guangrong };
173de9aef5eSXiao Guangrong 
174de9aef5eSXiao Guangrong /*
175de9aef5eSXiao Guangrong  * The size of unit is covered in one MSR, one MSR entry contains
176de9aef5eSXiao Guangrong  * 8 ranges so that unit size is always 8 * 2^range_shift.
177de9aef5eSXiao Guangrong  */
178de9aef5eSXiao Guangrong static u64 fixed_mtrr_seg_unit_size(int seg)
179de9aef5eSXiao Guangrong {
180de9aef5eSXiao Guangrong 	return 8 << fixed_seg_table[seg].range_shift;
181de9aef5eSXiao Guangrong }
182de9aef5eSXiao Guangrong 
183de9aef5eSXiao Guangrong static bool fixed_msr_to_seg_unit(u32 msr, int *seg, int *unit)
184de9aef5eSXiao Guangrong {
185de9aef5eSXiao Guangrong 	switch (msr) {
186de9aef5eSXiao Guangrong 	case MSR_MTRRfix64K_00000:
187de9aef5eSXiao Guangrong 		*seg = 0;
188de9aef5eSXiao Guangrong 		*unit = 0;
189de9aef5eSXiao Guangrong 		break;
190de9aef5eSXiao Guangrong 	case MSR_MTRRfix16K_80000 ... MSR_MTRRfix16K_A0000:
191de9aef5eSXiao Guangrong 		*seg = 1;
19225a5edeaSMarios Pomonis 		*unit = array_index_nospec(
19325a5edeaSMarios Pomonis 			msr - MSR_MTRRfix16K_80000,
19425a5edeaSMarios Pomonis 			MSR_MTRRfix16K_A0000 - MSR_MTRRfix16K_80000 + 1);
195de9aef5eSXiao Guangrong 		break;
196de9aef5eSXiao Guangrong 	case MSR_MTRRfix4K_C0000 ... MSR_MTRRfix4K_F8000:
197de9aef5eSXiao Guangrong 		*seg = 2;
19825a5edeaSMarios Pomonis 		*unit = array_index_nospec(
19925a5edeaSMarios Pomonis 			msr - MSR_MTRRfix4K_C0000,
20025a5edeaSMarios Pomonis 			MSR_MTRRfix4K_F8000 - MSR_MTRRfix4K_C0000 + 1);
201de9aef5eSXiao Guangrong 		break;
202de9aef5eSXiao Guangrong 	default:
203de9aef5eSXiao Guangrong 		return false;
204de9aef5eSXiao Guangrong 	}
205de9aef5eSXiao Guangrong 
206de9aef5eSXiao Guangrong 	return true;
207de9aef5eSXiao Guangrong }
208de9aef5eSXiao Guangrong 
209de9aef5eSXiao Guangrong static void fixed_mtrr_seg_unit_range(int seg, int unit, u64 *start, u64 *end)
210de9aef5eSXiao Guangrong {
211de9aef5eSXiao Guangrong 	struct fixed_mtrr_segment *mtrr_seg = &fixed_seg_table[seg];
212de9aef5eSXiao Guangrong 	u64 unit_size = fixed_mtrr_seg_unit_size(seg);
213de9aef5eSXiao Guangrong 
214de9aef5eSXiao Guangrong 	*start = mtrr_seg->start + unit * unit_size;
215de9aef5eSXiao Guangrong 	*end = *start + unit_size;
216de9aef5eSXiao Guangrong 	WARN_ON(*end > mtrr_seg->end);
217de9aef5eSXiao Guangrong }
218de9aef5eSXiao Guangrong 
219de9aef5eSXiao Guangrong static int fixed_mtrr_seg_unit_range_index(int seg, int unit)
220de9aef5eSXiao Guangrong {
221de9aef5eSXiao Guangrong 	struct fixed_mtrr_segment *mtrr_seg = &fixed_seg_table[seg];
222de9aef5eSXiao Guangrong 
223de9aef5eSXiao Guangrong 	WARN_ON(mtrr_seg->start + unit * fixed_mtrr_seg_unit_size(seg)
224de9aef5eSXiao Guangrong 		> mtrr_seg->end);
225de9aef5eSXiao Guangrong 
226de9aef5eSXiao Guangrong 	/* each unit has 8 ranges. */
227de9aef5eSXiao Guangrong 	return mtrr_seg->range_start + 8 * unit;
228de9aef5eSXiao Guangrong }
229de9aef5eSXiao Guangrong 
230f571c097SXiao Guangrong static int fixed_mtrr_seg_end_range_index(int seg)
231f571c097SXiao Guangrong {
232f571c097SXiao Guangrong 	struct fixed_mtrr_segment *mtrr_seg = &fixed_seg_table[seg];
233f571c097SXiao Guangrong 	int n;
234f571c097SXiao Guangrong 
235f571c097SXiao Guangrong 	n = (mtrr_seg->end - mtrr_seg->start) >> mtrr_seg->range_shift;
236f571c097SXiao Guangrong 	return mtrr_seg->range_start + n - 1;
237f571c097SXiao Guangrong }
238f571c097SXiao Guangrong 
239de9aef5eSXiao Guangrong static bool fixed_msr_to_range(u32 msr, u64 *start, u64 *end)
240de9aef5eSXiao Guangrong {
241de9aef5eSXiao Guangrong 	int seg, unit;
242de9aef5eSXiao Guangrong 
243de9aef5eSXiao Guangrong 	if (!fixed_msr_to_seg_unit(msr, &seg, &unit))
244de9aef5eSXiao Guangrong 		return false;
245de9aef5eSXiao Guangrong 
246de9aef5eSXiao Guangrong 	fixed_mtrr_seg_unit_range(seg, unit, start, end);
247de9aef5eSXiao Guangrong 	return true;
248de9aef5eSXiao Guangrong }
249de9aef5eSXiao Guangrong 
250de9aef5eSXiao Guangrong static int fixed_msr_to_range_index(u32 msr)
251de9aef5eSXiao Guangrong {
252de9aef5eSXiao Guangrong 	int seg, unit;
253de9aef5eSXiao Guangrong 
254de9aef5eSXiao Guangrong 	if (!fixed_msr_to_seg_unit(msr, &seg, &unit))
255de9aef5eSXiao Guangrong 		return -1;
256de9aef5eSXiao Guangrong 
257de9aef5eSXiao Guangrong 	return fixed_mtrr_seg_unit_range_index(seg, unit);
258de9aef5eSXiao Guangrong }
259de9aef5eSXiao Guangrong 
260f7bfb57bSXiao Guangrong static int fixed_mtrr_addr_to_seg(u64 addr)
261f7bfb57bSXiao Guangrong {
262f7bfb57bSXiao Guangrong 	struct fixed_mtrr_segment *mtrr_seg;
263f7bfb57bSXiao Guangrong 	int seg, seg_num = ARRAY_SIZE(fixed_seg_table);
264f7bfb57bSXiao Guangrong 
265f7bfb57bSXiao Guangrong 	for (seg = 0; seg < seg_num; seg++) {
266f7bfb57bSXiao Guangrong 		mtrr_seg = &fixed_seg_table[seg];
267a7f2d786SAlexis Dambricourt 		if (mtrr_seg->start <= addr && addr < mtrr_seg->end)
268f7bfb57bSXiao Guangrong 			return seg;
269f7bfb57bSXiao Guangrong 	}
270f7bfb57bSXiao Guangrong 
271f7bfb57bSXiao Guangrong 	return -1;
272f7bfb57bSXiao Guangrong }
273f7bfb57bSXiao Guangrong 
274f7bfb57bSXiao Guangrong static int fixed_mtrr_addr_seg_to_range_index(u64 addr, int seg)
275f7bfb57bSXiao Guangrong {
276f7bfb57bSXiao Guangrong 	struct fixed_mtrr_segment *mtrr_seg;
277f7bfb57bSXiao Guangrong 	int index;
278f7bfb57bSXiao Guangrong 
279f7bfb57bSXiao Guangrong 	mtrr_seg = &fixed_seg_table[seg];
280f7bfb57bSXiao Guangrong 	index = mtrr_seg->range_start;
281f7bfb57bSXiao Guangrong 	index += (addr - mtrr_seg->start) >> mtrr_seg->range_shift;
282f7bfb57bSXiao Guangrong 	return index;
283f7bfb57bSXiao Guangrong }
284f7bfb57bSXiao Guangrong 
285f571c097SXiao Guangrong static u64 fixed_mtrr_range_end_addr(int seg, int index)
286f571c097SXiao Guangrong {
287f571c097SXiao Guangrong 	struct fixed_mtrr_segment *mtrr_seg = &fixed_seg_table[seg];
288f571c097SXiao Guangrong 	int pos = index - mtrr_seg->range_start;
289f571c097SXiao Guangrong 
290f571c097SXiao Guangrong 	return mtrr_seg->start + ((pos + 1) << mtrr_seg->range_shift);
291f571c097SXiao Guangrong }
292f571c097SXiao Guangrong 
293a13842dcSXiao Guangrong static void var_mtrr_range(struct kvm_mtrr_range *range, u64 *start, u64 *end)
294a13842dcSXiao Guangrong {
295a13842dcSXiao Guangrong 	u64 mask;
296a13842dcSXiao Guangrong 
297a13842dcSXiao Guangrong 	*start = range->base & PAGE_MASK;
298a13842dcSXiao Guangrong 
299a13842dcSXiao Guangrong 	mask = range->mask & PAGE_MASK;
300a13842dcSXiao Guangrong 
301a13842dcSXiao Guangrong 	/* This cannot overflow because writing to the reserved bits of
302a13842dcSXiao Guangrong 	 * variable MTRRs causes a #GP.
303a13842dcSXiao Guangrong 	 */
304a13842dcSXiao Guangrong 	*end = (*start | ~mask) + 1;
305a13842dcSXiao Guangrong }
306a13842dcSXiao Guangrong 
307ff53604bSXiao Guangrong static void update_mtrr(struct kvm_vcpu *vcpu, u32 msr)
308ff53604bSXiao Guangrong {
30970109e7dSXiao Guangrong 	struct kvm_mtrr *mtrr_state = &vcpu->arch.mtrr_state;
310a13842dcSXiao Guangrong 	gfn_t start, end;
311ff53604bSXiao Guangrong 	int index;
312ff53604bSXiao Guangrong 
313ff53604bSXiao Guangrong 	if (msr == MSR_IA32_CR_PAT || !tdp_enabled ||
314ff53604bSXiao Guangrong 	      !kvm_arch_has_noncoherent_dma(vcpu->kvm))
315ff53604bSXiao Guangrong 		return;
316ff53604bSXiao Guangrong 
31710fac2dcSXiao Guangrong 	if (!mtrr_is_enabled(mtrr_state) && msr != MSR_MTRRdefType)
318ff53604bSXiao Guangrong 		return;
319ff53604bSXiao Guangrong 
320de9aef5eSXiao Guangrong 	/* fixed MTRRs. */
321de9aef5eSXiao Guangrong 	if (fixed_msr_to_range(msr, &start, &end)) {
322de9aef5eSXiao Guangrong 		if (!fixed_mtrr_is_enabled(mtrr_state))
323de9aef5eSXiao Guangrong 			return;
324de9aef5eSXiao Guangrong 	} else if (msr == MSR_MTRRdefType) {
325ff53604bSXiao Guangrong 		start = 0x0;
326ff53604bSXiao Guangrong 		end = ~0ULL;
327de9aef5eSXiao Guangrong 	} else {
328ff53604bSXiao Guangrong 		/* variable range MTRRs. */
329ff53604bSXiao Guangrong 		index = (msr - 0x200) / 2;
330a13842dcSXiao Guangrong 		var_mtrr_range(&mtrr_state->var_ranges[index], &start, &end);
331ff53604bSXiao Guangrong 	}
332ff53604bSXiao Guangrong 
333ff53604bSXiao Guangrong 	kvm_zap_gfn_range(vcpu->kvm, gpa_to_gfn(start), gpa_to_gfn(end));
334ff53604bSXiao Guangrong }
335ff53604bSXiao Guangrong 
33619efffa2SXiao Guangrong static bool var_mtrr_range_is_valid(struct kvm_mtrr_range *range)
33719efffa2SXiao Guangrong {
33819efffa2SXiao Guangrong 	return (range->mask & (1 << 11)) != 0;
33919efffa2SXiao Guangrong }
34019efffa2SXiao Guangrong 
34119efffa2SXiao Guangrong static void set_var_mtrr_msr(struct kvm_vcpu *vcpu, u32 msr, u64 data)
34219efffa2SXiao Guangrong {
34319efffa2SXiao Guangrong 	struct kvm_mtrr *mtrr_state = &vcpu->arch.mtrr_state;
34419efffa2SXiao Guangrong 	struct kvm_mtrr_range *tmp, *cur;
34519efffa2SXiao Guangrong 	int index, is_mtrr_mask;
34619efffa2SXiao Guangrong 
34719efffa2SXiao Guangrong 	index = (msr - 0x200) / 2;
34819efffa2SXiao Guangrong 	is_mtrr_mask = msr - 0x200 - 2 * index;
34919efffa2SXiao Guangrong 	cur = &mtrr_state->var_ranges[index];
35019efffa2SXiao Guangrong 
35119efffa2SXiao Guangrong 	/* remove the entry if it's in the list. */
35219efffa2SXiao Guangrong 	if (var_mtrr_range_is_valid(cur))
35319efffa2SXiao Guangrong 		list_del(&mtrr_state->var_ranges[index].node);
35419efffa2SXiao Guangrong 
355a8ac864aSSean Christopherson 	/*
356a8ac864aSSean Christopherson 	 * Set all illegal GPA bits in the mask, since those bits must
357a8ac864aSSean Christopherson 	 * implicitly be 0.  The bits are then cleared when reading them.
358fa7c4ebdSPaolo Bonzini 	 */
35919efffa2SXiao Guangrong 	if (!is_mtrr_mask)
36019efffa2SXiao Guangrong 		cur->base = data;
36119efffa2SXiao Guangrong 	else
362a8ac864aSSean Christopherson 		cur->mask = data | kvm_vcpu_reserved_gpa_bits_raw(vcpu);
36319efffa2SXiao Guangrong 
36419efffa2SXiao Guangrong 	/* add it to the list if it's enabled. */
36519efffa2SXiao Guangrong 	if (var_mtrr_range_is_valid(cur)) {
36619efffa2SXiao Guangrong 		list_for_each_entry(tmp, &mtrr_state->head, node)
36719efffa2SXiao Guangrong 			if (cur->base >= tmp->base)
36819efffa2SXiao Guangrong 				break;
36919efffa2SXiao Guangrong 		list_add_tail(&cur->node, &tmp->node);
37019efffa2SXiao Guangrong 	}
37119efffa2SXiao Guangrong }
37219efffa2SXiao Guangrong 
373ff53604bSXiao Guangrong int kvm_mtrr_set_msr(struct kvm_vcpu *vcpu, u32 msr, u64 data)
374ff53604bSXiao Guangrong {
375de9aef5eSXiao Guangrong 	int index;
376ff53604bSXiao Guangrong 
377ff53604bSXiao Guangrong 	if (!kvm_mtrr_valid(vcpu, msr, data))
378ff53604bSXiao Guangrong 		return 1;
379ff53604bSXiao Guangrong 
380de9aef5eSXiao Guangrong 	index = fixed_msr_to_range_index(msr);
381de9aef5eSXiao Guangrong 	if (index >= 0)
382de9aef5eSXiao Guangrong 		*(u64 *)&vcpu->arch.mtrr_state.fixed_ranges[index] = data;
383de9aef5eSXiao Guangrong 	else if (msr == MSR_MTRRdefType)
38410fac2dcSXiao Guangrong 		vcpu->arch.mtrr_state.deftype = data;
385ff53604bSXiao Guangrong 	else if (msr == MSR_IA32_CR_PAT)
386ff53604bSXiao Guangrong 		vcpu->arch.pat = data;
387ff53604bSXiao Guangrong 	else
38819efffa2SXiao Guangrong 		set_var_mtrr_msr(vcpu, msr, data);
389ff53604bSXiao Guangrong 
390ff53604bSXiao Guangrong 	update_mtrr(vcpu, msr);
391ff53604bSXiao Guangrong 	return 0;
392ff53604bSXiao Guangrong }
393ff53604bSXiao Guangrong 
394ff53604bSXiao Guangrong int kvm_mtrr_get_msr(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata)
395ff53604bSXiao Guangrong {
396de9aef5eSXiao Guangrong 	int index;
397ff53604bSXiao Guangrong 
398eb839917SXiao Guangrong 	/* MSR_MTRRcap is a readonly MSR. */
399eb839917SXiao Guangrong 	if (msr == MSR_MTRRcap) {
400eb839917SXiao Guangrong 		/*
401eb839917SXiao Guangrong 		 * SMRR = 0
402eb839917SXiao Guangrong 		 * WC = 1
403eb839917SXiao Guangrong 		 * FIX = 1
404eb839917SXiao Guangrong 		 * VCNT = KVM_NR_VAR_MTRR
405eb839917SXiao Guangrong 		 */
406eb839917SXiao Guangrong 		*pdata = 0x500 | KVM_NR_VAR_MTRR;
407eb839917SXiao Guangrong 		return 0;
408eb839917SXiao Guangrong 	}
409eb839917SXiao Guangrong 
410ff53604bSXiao Guangrong 	if (!msr_mtrr_valid(msr))
411ff53604bSXiao Guangrong 		return 1;
412ff53604bSXiao Guangrong 
413de9aef5eSXiao Guangrong 	index = fixed_msr_to_range_index(msr);
414de9aef5eSXiao Guangrong 	if (index >= 0)
415de9aef5eSXiao Guangrong 		*pdata = *(u64 *)&vcpu->arch.mtrr_state.fixed_ranges[index];
416de9aef5eSXiao Guangrong 	else if (msr == MSR_MTRRdefType)
41710fac2dcSXiao Guangrong 		*pdata = vcpu->arch.mtrr_state.deftype;
418ff53604bSXiao Guangrong 	else if (msr == MSR_IA32_CR_PAT)
419ff53604bSXiao Guangrong 		*pdata = vcpu->arch.pat;
420ff53604bSXiao Guangrong 	else {	/* Variable MTRRs */
421de9aef5eSXiao Guangrong 		int is_mtrr_mask;
422ff53604bSXiao Guangrong 
423de9aef5eSXiao Guangrong 		index = (msr - 0x200) / 2;
424de9aef5eSXiao Guangrong 		is_mtrr_mask = msr - 0x200 - 2 * index;
425ff53604bSXiao Guangrong 		if (!is_mtrr_mask)
426de9aef5eSXiao Guangrong 			*pdata = vcpu->arch.mtrr_state.var_ranges[index].base;
427ff53604bSXiao Guangrong 		else
428de9aef5eSXiao Guangrong 			*pdata = vcpu->arch.mtrr_state.var_ranges[index].mask;
429fa7c4ebdSPaolo Bonzini 
430a8ac864aSSean Christopherson 		*pdata &= ~kvm_vcpu_reserved_gpa_bits_raw(vcpu);
431ff53604bSXiao Guangrong 	}
432ff53604bSXiao Guangrong 
433ff53604bSXiao Guangrong 	return 0;
434ff53604bSXiao Guangrong }
435ff53604bSXiao Guangrong 
43619efffa2SXiao Guangrong void kvm_vcpu_mtrr_init(struct kvm_vcpu *vcpu)
43719efffa2SXiao Guangrong {
43819efffa2SXiao Guangrong 	INIT_LIST_HEAD(&vcpu->arch.mtrr_state.head);
43919efffa2SXiao Guangrong }
44019efffa2SXiao Guangrong 
441f571c097SXiao Guangrong struct mtrr_iter {
442f571c097SXiao Guangrong 	/* input fields. */
443f571c097SXiao Guangrong 	struct kvm_mtrr *mtrr_state;
444f571c097SXiao Guangrong 	u64 start;
445f571c097SXiao Guangrong 	u64 end;
446f571c097SXiao Guangrong 
447f571c097SXiao Guangrong 	/* output fields. */
448f571c097SXiao Guangrong 	int mem_type;
44910dc331fSXiao Guangrong 	/* mtrr is completely disabled? */
45010dc331fSXiao Guangrong 	bool mtrr_disabled;
451f571c097SXiao Guangrong 	/* [start, end) is not fully covered in MTRRs? */
452f571c097SXiao Guangrong 	bool partial_map;
453f571c097SXiao Guangrong 
454f571c097SXiao Guangrong 	/* private fields. */
455f571c097SXiao Guangrong 	union {
456f571c097SXiao Guangrong 		/* used for fixed MTRRs. */
457f571c097SXiao Guangrong 		struct {
458f571c097SXiao Guangrong 			int index;
459f571c097SXiao Guangrong 			int seg;
460f571c097SXiao Guangrong 		};
461f571c097SXiao Guangrong 
462f571c097SXiao Guangrong 		/* used for var MTRRs. */
463f571c097SXiao Guangrong 		struct {
464f571c097SXiao Guangrong 			struct kvm_mtrr_range *range;
465f571c097SXiao Guangrong 			/* max address has been covered in var MTRRs. */
466f571c097SXiao Guangrong 			u64 start_max;
467f571c097SXiao Guangrong 		};
468f571c097SXiao Guangrong 	};
469f571c097SXiao Guangrong 
470f571c097SXiao Guangrong 	bool fixed;
471f571c097SXiao Guangrong };
472f571c097SXiao Guangrong 
473f571c097SXiao Guangrong static bool mtrr_lookup_fixed_start(struct mtrr_iter *iter)
474f571c097SXiao Guangrong {
475f571c097SXiao Guangrong 	int seg, index;
476f571c097SXiao Guangrong 
477f571c097SXiao Guangrong 	if (!fixed_mtrr_is_enabled(iter->mtrr_state))
478f571c097SXiao Guangrong 		return false;
479f571c097SXiao Guangrong 
480f571c097SXiao Guangrong 	seg = fixed_mtrr_addr_to_seg(iter->start);
481f571c097SXiao Guangrong 	if (seg < 0)
482f571c097SXiao Guangrong 		return false;
483f571c097SXiao Guangrong 
484f571c097SXiao Guangrong 	iter->fixed = true;
485f571c097SXiao Guangrong 	index = fixed_mtrr_addr_seg_to_range_index(iter->start, seg);
486f571c097SXiao Guangrong 	iter->index = index;
487f571c097SXiao Guangrong 	iter->seg = seg;
488f571c097SXiao Guangrong 	return true;
489f571c097SXiao Guangrong }
490f571c097SXiao Guangrong 
491f571c097SXiao Guangrong static bool match_var_range(struct mtrr_iter *iter,
492f571c097SXiao Guangrong 			    struct kvm_mtrr_range *range)
493f571c097SXiao Guangrong {
494f571c097SXiao Guangrong 	u64 start, end;
495f571c097SXiao Guangrong 
496f571c097SXiao Guangrong 	var_mtrr_range(range, &start, &end);
497f571c097SXiao Guangrong 	if (!(start >= iter->end || end <= iter->start)) {
498f571c097SXiao Guangrong 		iter->range = range;
499f571c097SXiao Guangrong 
500f571c097SXiao Guangrong 		/*
501f571c097SXiao Guangrong 		 * the function is called when we do kvm_mtrr.head walking.
502f571c097SXiao Guangrong 		 * Range has the minimum base address which interleaves
503f571c097SXiao Guangrong 		 * [looker->start_max, looker->end).
504f571c097SXiao Guangrong 		 */
505f571c097SXiao Guangrong 		iter->partial_map |= iter->start_max < start;
506f571c097SXiao Guangrong 
507f571c097SXiao Guangrong 		/* update the max address has been covered. */
508f571c097SXiao Guangrong 		iter->start_max = max(iter->start_max, end);
509f571c097SXiao Guangrong 		return true;
510f571c097SXiao Guangrong 	}
511f571c097SXiao Guangrong 
512f571c097SXiao Guangrong 	return false;
513f571c097SXiao Guangrong }
514f571c097SXiao Guangrong 
515f571c097SXiao Guangrong static void __mtrr_lookup_var_next(struct mtrr_iter *iter)
516f571c097SXiao Guangrong {
517f571c097SXiao Guangrong 	struct kvm_mtrr *mtrr_state = iter->mtrr_state;
518f571c097SXiao Guangrong 
519f571c097SXiao Guangrong 	list_for_each_entry_continue(iter->range, &mtrr_state->head, node)
520f571c097SXiao Guangrong 		if (match_var_range(iter, iter->range))
521f571c097SXiao Guangrong 			return;
522f571c097SXiao Guangrong 
523f571c097SXiao Guangrong 	iter->range = NULL;
524f571c097SXiao Guangrong 	iter->partial_map |= iter->start_max < iter->end;
525f571c097SXiao Guangrong }
526f571c097SXiao Guangrong 
527f571c097SXiao Guangrong static void mtrr_lookup_var_start(struct mtrr_iter *iter)
528f571c097SXiao Guangrong {
529f571c097SXiao Guangrong 	struct kvm_mtrr *mtrr_state = iter->mtrr_state;
530f571c097SXiao Guangrong 
531f571c097SXiao Guangrong 	iter->fixed = false;
532f571c097SXiao Guangrong 	iter->start_max = iter->start;
53330b072ceSAlexis Dambricourt 	iter->range = NULL;
534f571c097SXiao Guangrong 	iter->range = list_prepare_entry(iter->range, &mtrr_state->head, node);
535f571c097SXiao Guangrong 
536f571c097SXiao Guangrong 	__mtrr_lookup_var_next(iter);
537f571c097SXiao Guangrong }
538f571c097SXiao Guangrong 
539f571c097SXiao Guangrong static void mtrr_lookup_fixed_next(struct mtrr_iter *iter)
540f571c097SXiao Guangrong {
541f571c097SXiao Guangrong 	/* terminate the lookup. */
542f571c097SXiao Guangrong 	if (fixed_mtrr_range_end_addr(iter->seg, iter->index) >= iter->end) {
543f571c097SXiao Guangrong 		iter->fixed = false;
544f571c097SXiao Guangrong 		iter->range = NULL;
545f571c097SXiao Guangrong 		return;
546f571c097SXiao Guangrong 	}
547f571c097SXiao Guangrong 
548f571c097SXiao Guangrong 	iter->index++;
549f571c097SXiao Guangrong 
550f571c097SXiao Guangrong 	/* have looked up for all fixed MTRRs. */
551f571c097SXiao Guangrong 	if (iter->index >= ARRAY_SIZE(iter->mtrr_state->fixed_ranges))
552f571c097SXiao Guangrong 		return mtrr_lookup_var_start(iter);
553f571c097SXiao Guangrong 
554f571c097SXiao Guangrong 	/* switch to next segment. */
555f571c097SXiao Guangrong 	if (iter->index > fixed_mtrr_seg_end_range_index(iter->seg))
556f571c097SXiao Guangrong 		iter->seg++;
557f571c097SXiao Guangrong }
558f571c097SXiao Guangrong 
559f571c097SXiao Guangrong static void mtrr_lookup_var_next(struct mtrr_iter *iter)
560f571c097SXiao Guangrong {
561f571c097SXiao Guangrong 	__mtrr_lookup_var_next(iter);
562f571c097SXiao Guangrong }
563f571c097SXiao Guangrong 
564f571c097SXiao Guangrong static void mtrr_lookup_start(struct mtrr_iter *iter)
565f571c097SXiao Guangrong {
566f571c097SXiao Guangrong 	if (!mtrr_is_enabled(iter->mtrr_state)) {
56710dc331fSXiao Guangrong 		iter->mtrr_disabled = true;
568f571c097SXiao Guangrong 		return;
569f571c097SXiao Guangrong 	}
570f571c097SXiao Guangrong 
571f571c097SXiao Guangrong 	if (!mtrr_lookup_fixed_start(iter))
572f571c097SXiao Guangrong 		mtrr_lookup_var_start(iter);
573f571c097SXiao Guangrong }
574f571c097SXiao Guangrong 
575f571c097SXiao Guangrong static void mtrr_lookup_init(struct mtrr_iter *iter,
576f571c097SXiao Guangrong 			     struct kvm_mtrr *mtrr_state, u64 start, u64 end)
577f571c097SXiao Guangrong {
578f571c097SXiao Guangrong 	iter->mtrr_state = mtrr_state;
579f571c097SXiao Guangrong 	iter->start = start;
580f571c097SXiao Guangrong 	iter->end = end;
58110dc331fSXiao Guangrong 	iter->mtrr_disabled = false;
582f571c097SXiao Guangrong 	iter->partial_map = false;
583f571c097SXiao Guangrong 	iter->fixed = false;
584f571c097SXiao Guangrong 	iter->range = NULL;
585f571c097SXiao Guangrong 
586f571c097SXiao Guangrong 	mtrr_lookup_start(iter);
587f571c097SXiao Guangrong }
588f571c097SXiao Guangrong 
589f571c097SXiao Guangrong static bool mtrr_lookup_okay(struct mtrr_iter *iter)
590f571c097SXiao Guangrong {
591f571c097SXiao Guangrong 	if (iter->fixed) {
592f571c097SXiao Guangrong 		iter->mem_type = iter->mtrr_state->fixed_ranges[iter->index];
593f571c097SXiao Guangrong 		return true;
594f571c097SXiao Guangrong 	}
595f571c097SXiao Guangrong 
596f571c097SXiao Guangrong 	if (iter->range) {
597f571c097SXiao Guangrong 		iter->mem_type = iter->range->base & 0xff;
598f571c097SXiao Guangrong 		return true;
599f571c097SXiao Guangrong 	}
600f571c097SXiao Guangrong 
601f571c097SXiao Guangrong 	return false;
602f571c097SXiao Guangrong }
603f571c097SXiao Guangrong 
604f571c097SXiao Guangrong static void mtrr_lookup_next(struct mtrr_iter *iter)
605f571c097SXiao Guangrong {
606f571c097SXiao Guangrong 	if (iter->fixed)
607f571c097SXiao Guangrong 		mtrr_lookup_fixed_next(iter);
608f571c097SXiao Guangrong 	else
609f571c097SXiao Guangrong 		mtrr_lookup_var_next(iter);
610f571c097SXiao Guangrong }
611f571c097SXiao Guangrong 
612f571c097SXiao Guangrong #define mtrr_for_each_mem_type(_iter_, _mtrr_, _gpa_start_, _gpa_end_) \
613f571c097SXiao Guangrong 	for (mtrr_lookup_init(_iter_, _mtrr_, _gpa_start_, _gpa_end_); \
614f571c097SXiao Guangrong 	     mtrr_lookup_okay(_iter_); mtrr_lookup_next(_iter_))
615f571c097SXiao Guangrong 
6163f3f78b6SXiao Guangrong u8 kvm_mtrr_get_guest_memory_type(struct kvm_vcpu *vcpu, gfn_t gfn)
617ff53604bSXiao Guangrong {
6183f3f78b6SXiao Guangrong 	struct kvm_mtrr *mtrr_state = &vcpu->arch.mtrr_state;
619fa612137SXiao Guangrong 	struct mtrr_iter iter;
620fa612137SXiao Guangrong 	u64 start, end;
621fa612137SXiao Guangrong 	int type = -1;
6223f3f78b6SXiao Guangrong 	const int wt_wb_mask = (1 << MTRR_TYPE_WRBACK)
6233f3f78b6SXiao Guangrong 			       | (1 << MTRR_TYPE_WRTHROUGH);
6243f3f78b6SXiao Guangrong 
6253f3f78b6SXiao Guangrong 	start = gfn_to_gpa(gfn);
626fa612137SXiao Guangrong 	end = start + PAGE_SIZE;
627ff53604bSXiao Guangrong 
628fa612137SXiao Guangrong 	mtrr_for_each_mem_type(&iter, mtrr_state, start, end) {
629fa612137SXiao Guangrong 		int curr_type = iter.mem_type;
630ff53604bSXiao Guangrong 
6313f3f78b6SXiao Guangrong 		/*
6323f3f78b6SXiao Guangrong 		 * Please refer to Intel SDM Volume 3: 11.11.4.1 MTRR
6333f3f78b6SXiao Guangrong 		 * Precedences.
6343f3f78b6SXiao Guangrong 		 */
6353f3f78b6SXiao Guangrong 
6363f3f78b6SXiao Guangrong 		if (type == -1) {
6373f3f78b6SXiao Guangrong 			type = curr_type;
638ff53604bSXiao Guangrong 			continue;
639ff53604bSXiao Guangrong 		}
640ff53604bSXiao Guangrong 
6413f3f78b6SXiao Guangrong 		/*
6423f3f78b6SXiao Guangrong 		 * If two or more variable memory ranges match and the
6433f3f78b6SXiao Guangrong 		 * memory types are identical, then that memory type is
6443f3f78b6SXiao Guangrong 		 * used.
6453f3f78b6SXiao Guangrong 		 */
6463f3f78b6SXiao Guangrong 		if (type == curr_type)
6473f3f78b6SXiao Guangrong 			continue;
6483f3f78b6SXiao Guangrong 
6493f3f78b6SXiao Guangrong 		/*
6503f3f78b6SXiao Guangrong 		 * If two or more variable memory ranges match and one of
6513f3f78b6SXiao Guangrong 		 * the memory types is UC, the UC memory type used.
6523f3f78b6SXiao Guangrong 		 */
6533f3f78b6SXiao Guangrong 		if (curr_type == MTRR_TYPE_UNCACHABLE)
654ff53604bSXiao Guangrong 			return MTRR_TYPE_UNCACHABLE;
655ff53604bSXiao Guangrong 
6563f3f78b6SXiao Guangrong 		/*
6573f3f78b6SXiao Guangrong 		 * If two or more variable memory ranges match and the
6583f3f78b6SXiao Guangrong 		 * memory types are WT and WB, the WT memory type is used.
6593f3f78b6SXiao Guangrong 		 */
6603f3f78b6SXiao Guangrong 		if (((1 << type) & wt_wb_mask) &&
6613f3f78b6SXiao Guangrong 		      ((1 << curr_type) & wt_wb_mask)) {
6623f3f78b6SXiao Guangrong 			type = MTRR_TYPE_WRTHROUGH;
6633f3f78b6SXiao Guangrong 			continue;
664ff53604bSXiao Guangrong 		}
665ff53604bSXiao Guangrong 
6663f3f78b6SXiao Guangrong 		/*
6673f3f78b6SXiao Guangrong 		 * For overlaps not defined by the above rules, processor
6683f3f78b6SXiao Guangrong 		 * behavior is undefined.
6693f3f78b6SXiao Guangrong 		 */
6703f3f78b6SXiao Guangrong 
6713f3f78b6SXiao Guangrong 		/* We use WB for this undefined behavior. :( */
6723f3f78b6SXiao Guangrong 		return MTRR_TYPE_WRBACK;
673ff53604bSXiao Guangrong 	}
674ff53604bSXiao Guangrong 
67510dc331fSXiao Guangrong 	if (iter.mtrr_disabled)
676e24dea2aSPaolo Bonzini 		return mtrr_disabled_type(vcpu);
67710dc331fSXiao Guangrong 
678fc1a8126SAlex Williamson 	/* not contained in any MTRRs. */
679fc1a8126SAlex Williamson 	if (type == -1)
680fc1a8126SAlex Williamson 		return mtrr_default_type(mtrr_state);
681fc1a8126SAlex Williamson 
682fa612137SXiao Guangrong 	/*
683fa612137SXiao Guangrong 	 * We just check one page, partially covered by MTRRs is
684fa612137SXiao Guangrong 	 * impossible.
685fa612137SXiao Guangrong 	 */
6863e5d2fdcSXiao Guangrong 	WARN_ON(iter.partial_map);
6873e5d2fdcSXiao Guangrong 
6883f3f78b6SXiao Guangrong 	return type;
689ff53604bSXiao Guangrong }
690ff53604bSXiao Guangrong EXPORT_SYMBOL_GPL(kvm_mtrr_get_guest_memory_type);
6916a39bbc5SXiao Guangrong 
6926a39bbc5SXiao Guangrong bool kvm_mtrr_check_gfn_range_consistency(struct kvm_vcpu *vcpu, gfn_t gfn,
6936a39bbc5SXiao Guangrong 					  int page_num)
6946a39bbc5SXiao Guangrong {
6956a39bbc5SXiao Guangrong 	struct kvm_mtrr *mtrr_state = &vcpu->arch.mtrr_state;
6966a39bbc5SXiao Guangrong 	struct mtrr_iter iter;
6976a39bbc5SXiao Guangrong 	u64 start, end;
6986a39bbc5SXiao Guangrong 	int type = -1;
6996a39bbc5SXiao Guangrong 
7006a39bbc5SXiao Guangrong 	start = gfn_to_gpa(gfn);
7016a39bbc5SXiao Guangrong 	end = gfn_to_gpa(gfn + page_num);
7026a39bbc5SXiao Guangrong 	mtrr_for_each_mem_type(&iter, mtrr_state, start, end) {
7036a39bbc5SXiao Guangrong 		if (type == -1) {
7046a39bbc5SXiao Guangrong 			type = iter.mem_type;
7056a39bbc5SXiao Guangrong 			continue;
7066a39bbc5SXiao Guangrong 		}
7076a39bbc5SXiao Guangrong 
7086a39bbc5SXiao Guangrong 		if (type != iter.mem_type)
7096a39bbc5SXiao Guangrong 			return false;
7106a39bbc5SXiao Guangrong 	}
7116a39bbc5SXiao Guangrong 
71210dc331fSXiao Guangrong 	if (iter.mtrr_disabled)
71310dc331fSXiao Guangrong 		return true;
71410dc331fSXiao Guangrong 
7156a39bbc5SXiao Guangrong 	if (!iter.partial_map)
7166a39bbc5SXiao Guangrong 		return true;
7176a39bbc5SXiao Guangrong 
7186a39bbc5SXiao Guangrong 	if (type == -1)
7196a39bbc5SXiao Guangrong 		return true;
7206a39bbc5SXiao Guangrong 
7216a39bbc5SXiao Guangrong 	return type == mtrr_default_type(mtrr_state);
7226a39bbc5SXiao Guangrong }
723