nvmm_x86.c revision 1.14 1 1.14 maxv /* $NetBSD: nvmm_x86.c,v 1.14 2020/08/20 11:09:56 maxv Exp $ */
2 1.1 maxv
3 1.1 maxv /*
4 1.10 maxv * Copyright (c) 2018-2020 The NetBSD Foundation, Inc.
5 1.1 maxv * All rights reserved.
6 1.1 maxv *
7 1.1 maxv * This code is derived from software contributed to The NetBSD Foundation
8 1.1 maxv * by Maxime Villard.
9 1.1 maxv *
10 1.1 maxv * Redistribution and use in source and binary forms, with or without
11 1.1 maxv * modification, are permitted provided that the following conditions
12 1.1 maxv * are met:
13 1.1 maxv * 1. Redistributions of source code must retain the above copyright
14 1.1 maxv * notice, this list of conditions and the following disclaimer.
15 1.1 maxv * 2. Redistributions in binary form must reproduce the above copyright
16 1.1 maxv * notice, this list of conditions and the following disclaimer in the
17 1.1 maxv * documentation and/or other materials provided with the distribution.
18 1.1 maxv *
19 1.1 maxv * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.1 maxv * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.1 maxv * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.1 maxv * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.1 maxv * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.1 maxv * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.1 maxv * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.1 maxv * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.1 maxv * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.1 maxv * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.1 maxv * POSSIBILITY OF SUCH DAMAGE.
30 1.1 maxv */
31 1.1 maxv
32 1.1 maxv #include <sys/cdefs.h>
33 1.14 maxv __KERNEL_RCSID(0, "$NetBSD: nvmm_x86.c,v 1.14 2020/08/20 11:09:56 maxv Exp $");
34 1.1 maxv
35 1.1 maxv #include <sys/param.h>
36 1.1 maxv #include <sys/systm.h>
37 1.1 maxv #include <sys/kernel.h>
38 1.1 maxv #include <sys/cpu.h>
39 1.1 maxv
40 1.1 maxv #include <uvm/uvm.h>
41 1.1 maxv #include <uvm/uvm_page.h>
42 1.1 maxv
43 1.1 maxv #include <x86/cputypes.h>
44 1.1 maxv #include <x86/specialreg.h>
45 1.1 maxv #include <x86/pmap.h>
46 1.1 maxv
47 1.1 maxv #include <dev/nvmm/nvmm.h>
48 1.1 maxv #include <dev/nvmm/nvmm_internal.h>
49 1.1 maxv #include <dev/nvmm/x86/nvmm_x86.h>
50 1.1 maxv
51 1.1 maxv /*
52 1.1 maxv * Code shared between x86-SVM and x86-VMX.
53 1.1 maxv */
54 1.1 maxv
55 1.1 maxv const struct nvmm_x64_state nvmm_x86_reset_state = {
56 1.1 maxv .segs = {
57 1.2 maxv [NVMM_X64_SEG_ES] = {
58 1.2 maxv .selector = 0x0000,
59 1.2 maxv .base = 0x00000000,
60 1.2 maxv .limit = 0xFFFF,
61 1.2 maxv .attrib = {
62 1.2 maxv .type = 3,
63 1.2 maxv .s = 1,
64 1.2 maxv .p = 1,
65 1.2 maxv }
66 1.2 maxv },
67 1.1 maxv [NVMM_X64_SEG_CS] = {
68 1.1 maxv .selector = 0xF000,
69 1.1 maxv .base = 0xFFFF0000,
70 1.1 maxv .limit = 0xFFFF,
71 1.1 maxv .attrib = {
72 1.2 maxv .type = 3,
73 1.2 maxv .s = 1,
74 1.1 maxv .p = 1,
75 1.1 maxv }
76 1.1 maxv },
77 1.2 maxv [NVMM_X64_SEG_SS] = {
78 1.1 maxv .selector = 0x0000,
79 1.1 maxv .base = 0x00000000,
80 1.1 maxv .limit = 0xFFFF,
81 1.1 maxv .attrib = {
82 1.2 maxv .type = 3,
83 1.2 maxv .s = 1,
84 1.1 maxv .p = 1,
85 1.1 maxv }
86 1.1 maxv },
87 1.2 maxv [NVMM_X64_SEG_DS] = {
88 1.1 maxv .selector = 0x0000,
89 1.1 maxv .base = 0x00000000,
90 1.1 maxv .limit = 0xFFFF,
91 1.1 maxv .attrib = {
92 1.2 maxv .type = 3,
93 1.2 maxv .s = 1,
94 1.1 maxv .p = 1,
95 1.1 maxv }
96 1.1 maxv },
97 1.1 maxv [NVMM_X64_SEG_FS] = {
98 1.1 maxv .selector = 0x0000,
99 1.1 maxv .base = 0x00000000,
100 1.1 maxv .limit = 0xFFFF,
101 1.1 maxv .attrib = {
102 1.2 maxv .type = 3,
103 1.2 maxv .s = 1,
104 1.1 maxv .p = 1,
105 1.1 maxv }
106 1.1 maxv },
107 1.1 maxv [NVMM_X64_SEG_GS] = {
108 1.1 maxv .selector = 0x0000,
109 1.1 maxv .base = 0x00000000,
110 1.1 maxv .limit = 0xFFFF,
111 1.1 maxv .attrib = {
112 1.2 maxv .type = 3,
113 1.2 maxv .s = 1,
114 1.1 maxv .p = 1,
115 1.1 maxv }
116 1.1 maxv },
117 1.1 maxv [NVMM_X64_SEG_GDT] = {
118 1.1 maxv .selector = 0x0000,
119 1.1 maxv .base = 0x00000000,
120 1.1 maxv .limit = 0xFFFF,
121 1.1 maxv .attrib = {
122 1.2 maxv .type = 2,
123 1.2 maxv .s = 1,
124 1.1 maxv .p = 1,
125 1.1 maxv }
126 1.1 maxv },
127 1.1 maxv [NVMM_X64_SEG_IDT] = {
128 1.1 maxv .selector = 0x0000,
129 1.1 maxv .base = 0x00000000,
130 1.1 maxv .limit = 0xFFFF,
131 1.1 maxv .attrib = {
132 1.2 maxv .type = 2,
133 1.2 maxv .s = 1,
134 1.1 maxv .p = 1,
135 1.1 maxv }
136 1.1 maxv },
137 1.1 maxv [NVMM_X64_SEG_LDT] = {
138 1.1 maxv .selector = 0x0000,
139 1.1 maxv .base = 0x00000000,
140 1.1 maxv .limit = 0xFFFF,
141 1.1 maxv .attrib = {
142 1.1 maxv .type = SDT_SYSLDT,
143 1.2 maxv .s = 0,
144 1.1 maxv .p = 1,
145 1.1 maxv }
146 1.1 maxv },
147 1.1 maxv [NVMM_X64_SEG_TR] = {
148 1.1 maxv .selector = 0x0000,
149 1.1 maxv .base = 0x00000000,
150 1.1 maxv .limit = 0xFFFF,
151 1.1 maxv .attrib = {
152 1.1 maxv .type = SDT_SYS286BSY,
153 1.2 maxv .s = 0,
154 1.1 maxv .p = 1,
155 1.1 maxv }
156 1.1 maxv },
157 1.1 maxv },
158 1.1 maxv
159 1.1 maxv .gprs = {
160 1.1 maxv [NVMM_X64_GPR_RAX] = 0x00000000,
161 1.1 maxv [NVMM_X64_GPR_RCX] = 0x00000000,
162 1.1 maxv [NVMM_X64_GPR_RDX] = 0x00000600,
163 1.1 maxv [NVMM_X64_GPR_RBX] = 0x00000000,
164 1.1 maxv [NVMM_X64_GPR_RSP] = 0x00000000,
165 1.1 maxv [NVMM_X64_GPR_RBP] = 0x00000000,
166 1.1 maxv [NVMM_X64_GPR_RSI] = 0x00000000,
167 1.1 maxv [NVMM_X64_GPR_RDI] = 0x00000000,
168 1.1 maxv [NVMM_X64_GPR_R8] = 0x00000000,
169 1.1 maxv [NVMM_X64_GPR_R9] = 0x00000000,
170 1.1 maxv [NVMM_X64_GPR_R10] = 0x00000000,
171 1.1 maxv [NVMM_X64_GPR_R11] = 0x00000000,
172 1.1 maxv [NVMM_X64_GPR_R12] = 0x00000000,
173 1.1 maxv [NVMM_X64_GPR_R13] = 0x00000000,
174 1.1 maxv [NVMM_X64_GPR_R14] = 0x00000000,
175 1.1 maxv [NVMM_X64_GPR_R15] = 0x00000000,
176 1.1 maxv [NVMM_X64_GPR_RIP] = 0x0000FFF0,
177 1.1 maxv [NVMM_X64_GPR_RFLAGS] = 0x00000002,
178 1.1 maxv },
179 1.1 maxv
180 1.1 maxv .crs = {
181 1.1 maxv [NVMM_X64_CR_CR0] = 0x60000010,
182 1.1 maxv [NVMM_X64_CR_CR2] = 0x00000000,
183 1.1 maxv [NVMM_X64_CR_CR3] = 0x00000000,
184 1.1 maxv [NVMM_X64_CR_CR4] = 0x00000000,
185 1.1 maxv [NVMM_X64_CR_CR8] = 0x00000000,
186 1.1 maxv [NVMM_X64_CR_XCR0] = 0x00000001,
187 1.1 maxv },
188 1.1 maxv
189 1.1 maxv .drs = {
190 1.1 maxv [NVMM_X64_DR_DR0] = 0x00000000,
191 1.1 maxv [NVMM_X64_DR_DR1] = 0x00000000,
192 1.1 maxv [NVMM_X64_DR_DR2] = 0x00000000,
193 1.1 maxv [NVMM_X64_DR_DR3] = 0x00000000,
194 1.1 maxv [NVMM_X64_DR_DR6] = 0xFFFF0FF0,
195 1.1 maxv [NVMM_X64_DR_DR7] = 0x00000400,
196 1.1 maxv },
197 1.1 maxv
198 1.1 maxv .msrs = {
199 1.1 maxv [NVMM_X64_MSR_EFER] = 0x00000000,
200 1.1 maxv [NVMM_X64_MSR_STAR] = 0x00000000,
201 1.1 maxv [NVMM_X64_MSR_LSTAR] = 0x00000000,
202 1.1 maxv [NVMM_X64_MSR_CSTAR] = 0x00000000,
203 1.1 maxv [NVMM_X64_MSR_SFMASK] = 0x00000000,
204 1.1 maxv [NVMM_X64_MSR_KERNELGSBASE] = 0x00000000,
205 1.1 maxv [NVMM_X64_MSR_SYSENTER_CS] = 0x00000000,
206 1.1 maxv [NVMM_X64_MSR_SYSENTER_ESP] = 0x00000000,
207 1.1 maxv [NVMM_X64_MSR_SYSENTER_EIP] = 0x00000000,
208 1.1 maxv [NVMM_X64_MSR_PAT] =
209 1.1 maxv PATENTRY(0, PAT_WB) | PATENTRY(1, PAT_WT) |
210 1.1 maxv PATENTRY(2, PAT_UCMINUS) | PATENTRY(3, PAT_UC) |
211 1.1 maxv PATENTRY(4, PAT_WB) | PATENTRY(5, PAT_WT) |
212 1.1 maxv PATENTRY(6, PAT_UCMINUS) | PATENTRY(7, PAT_UC),
213 1.4 maxv [NVMM_X64_MSR_TSC] = 0,
214 1.1 maxv },
215 1.1 maxv
216 1.6 maxv .intr = {
217 1.6 maxv .int_shadow = 0,
218 1.6 maxv .int_window_exiting = 0,
219 1.6 maxv .nmi_window_exiting = 0,
220 1.6 maxv .evt_pending = 0,
221 1.1 maxv },
222 1.1 maxv
223 1.1 maxv .fpu = {
224 1.1 maxv .fx_cw = 0x0040,
225 1.1 maxv .fx_sw = 0x0000,
226 1.1 maxv .fx_tw = 0x55,
227 1.1 maxv .fx_zero = 0x55,
228 1.1 maxv .fx_mxcsr = 0x1F80,
229 1.1 maxv }
230 1.1 maxv };
231 1.3 maxv
232 1.3 maxv const struct nvmm_x86_cpuid_mask nvmm_cpuid_00000001 = {
233 1.3 maxv .eax = ~0,
234 1.3 maxv .ebx = ~0,
235 1.3 maxv .ecx =
236 1.10 maxv CPUID2_SSE3 |
237 1.10 maxv CPUID2_PCLMUL |
238 1.10 maxv CPUID2_DTES64 |
239 1.10 maxv /* CPUID2_MONITOR excluded */
240 1.10 maxv CPUID2_DS_CPL |
241 1.10 maxv /* CPUID2_VMX excluded */
242 1.10 maxv /* CPUID2_SMX excluded */
243 1.10 maxv /* CPUID2_EST excluded */
244 1.10 maxv /* CPUID2_TM2 excluded */
245 1.10 maxv CPUID2_SSSE3 |
246 1.10 maxv CPUID2_CID |
247 1.10 maxv CPUID2_SDBG |
248 1.10 maxv CPUID2_FMA |
249 1.10 maxv CPUID2_CX16 |
250 1.10 maxv CPUID2_xTPR |
251 1.10 maxv /* CPUID2_PDCM excluded */
252 1.10 maxv /* CPUID2_PCID excluded, but re-included in VMX */
253 1.10 maxv /* CPUID2_DCA excluded */
254 1.10 maxv CPUID2_SSE41 |
255 1.10 maxv CPUID2_SSE42 |
256 1.10 maxv /* CPUID2_X2APIC excluded */
257 1.10 maxv CPUID2_MOVBE |
258 1.10 maxv CPUID2_POPCNT |
259 1.10 maxv /* CPUID2_DEADLINE excluded */
260 1.10 maxv CPUID2_AES |
261 1.10 maxv CPUID2_XSAVE |
262 1.10 maxv CPUID2_OSXSAVE |
263 1.10 maxv /* CPUID2_AVX excluded */
264 1.10 maxv CPUID2_F16C |
265 1.9 maxv CPUID2_RDRAND,
266 1.10 maxv /* CPUID2_RAZ excluded */
267 1.3 maxv .edx =
268 1.10 maxv CPUID_FPU |
269 1.10 maxv CPUID_VME |
270 1.10 maxv CPUID_DE |
271 1.10 maxv CPUID_PSE |
272 1.10 maxv CPUID_TSC |
273 1.10 maxv CPUID_MSR |
274 1.10 maxv CPUID_PAE |
275 1.10 maxv /* CPUID_MCE excluded */
276 1.10 maxv CPUID_CX8 |
277 1.10 maxv CPUID_APIC |
278 1.10 maxv CPUID_B10 |
279 1.10 maxv CPUID_SEP |
280 1.10 maxv /* CPUID_MTRR excluded */
281 1.10 maxv CPUID_PGE |
282 1.10 maxv /* CPUID_MCA excluded */
283 1.10 maxv CPUID_CMOV |
284 1.10 maxv CPUID_PAT |
285 1.10 maxv CPUID_PSE36 |
286 1.10 maxv CPUID_PN |
287 1.10 maxv CPUID_CFLUSH |
288 1.10 maxv CPUID_B20 |
289 1.10 maxv /* CPUID_DS excluded */
290 1.10 maxv /* CPUID_ACPI excluded */
291 1.10 maxv CPUID_MMX |
292 1.10 maxv CPUID_FXSR |
293 1.10 maxv CPUID_SSE |
294 1.10 maxv CPUID_SSE2 |
295 1.10 maxv CPUID_SS |
296 1.10 maxv CPUID_HTT |
297 1.10 maxv /* CPUID_TM excluded */
298 1.10 maxv CPUID_IA64 |
299 1.10 maxv CPUID_SBF
300 1.3 maxv };
301 1.3 maxv
302 1.3 maxv const struct nvmm_x86_cpuid_mask nvmm_cpuid_00000007 = {
303 1.3 maxv .eax = ~0,
304 1.3 maxv .ebx =
305 1.3 maxv CPUID_SEF_FSGSBASE |
306 1.10 maxv /* CPUID_SEF_TSC_ADJUST excluded */
307 1.11 maxv /* CPUID_SEF_SGX excluded */
308 1.10 maxv CPUID_SEF_BMI1 |
309 1.11 maxv /* CPUID_SEF_HLE excluded */
310 1.10 maxv /* CPUID_SEF_AVX2 excluded */
311 1.10 maxv CPUID_SEF_FDPEXONLY |
312 1.10 maxv CPUID_SEF_SMEP |
313 1.10 maxv CPUID_SEF_BMI2 |
314 1.10 maxv CPUID_SEF_ERMS |
315 1.10 maxv /* CPUID_SEF_INVPCID excluded, but re-included in VMX */
316 1.11 maxv /* CPUID_SEF_RTM excluded */
317 1.10 maxv /* CPUID_SEF_QM excluded */
318 1.10 maxv CPUID_SEF_FPUCSDS |
319 1.10 maxv /* CPUID_SEF_MPX excluded */
320 1.10 maxv CPUID_SEF_PQE |
321 1.10 maxv /* CPUID_SEF_AVX512F excluded */
322 1.10 maxv /* CPUID_SEF_AVX512DQ excluded */
323 1.10 maxv CPUID_SEF_RDSEED |
324 1.10 maxv CPUID_SEF_ADX |
325 1.10 maxv CPUID_SEF_SMAP |
326 1.10 maxv /* CPUID_SEF_AVX512_IFMA excluded */
327 1.10 maxv CPUID_SEF_CLFLUSHOPT |
328 1.9 maxv CPUID_SEF_CLWB,
329 1.10 maxv /* CPUID_SEF_PT excluded */
330 1.10 maxv /* CPUID_SEF_AVX512PF excluded */
331 1.10 maxv /* CPUID_SEF_AVX512ER excluded */
332 1.10 maxv /* CPUID_SEF_AVX512CD excluded */
333 1.10 maxv /* CPUID_SEF_SHA excluded */
334 1.10 maxv /* CPUID_SEF_AVX512BW excluded */
335 1.10 maxv /* CPUID_SEF_AVX512VL excluded */
336 1.3 maxv .ecx =
337 1.10 maxv CPUID_SEF_PREFETCHWT1 |
338 1.10 maxv /* CPUID_SEF_AVX512_VBMI excluded */
339 1.10 maxv CPUID_SEF_UMIP |
340 1.11 maxv /* CPUID_SEF_PKU excluded */
341 1.12 maxv /* CPUID_SEF_OSPKE excluded */
342 1.11 maxv /* CPUID_SEF_WAITPKG excluded */
343 1.10 maxv /* CPUID_SEF_AVX512_VBMI2 excluded */
344 1.10 maxv /* CPUID_SEF_CET_SS excluded */
345 1.10 maxv CPUID_SEF_GFNI |
346 1.10 maxv CPUID_SEF_VAES |
347 1.10 maxv CPUID_SEF_VPCLMULQDQ |
348 1.10 maxv /* CPUID_SEF_AVX512_VNNI excluded */
349 1.10 maxv /* CPUID_SEF_AVX512_BITALG excluded */
350 1.10 maxv /* CPUID_SEF_AVX512_VPOPCNTDQ excluded */
351 1.10 maxv /* CPUID_SEF_MAWAU excluded */
352 1.10 maxv /* CPUID_SEF_RDPID excluded */
353 1.10 maxv CPUID_SEF_CLDEMOTE |
354 1.10 maxv CPUID_SEF_MOVDIRI |
355 1.11 maxv CPUID_SEF_MOVDIR64B,
356 1.11 maxv /* CPUID_SEF_SGXLC excluded */
357 1.10 maxv /* CPUID_SEF_PKS excluded */
358 1.3 maxv .edx =
359 1.10 maxv /* CPUID_SEF_AVX512_4VNNIW excluded */
360 1.10 maxv /* CPUID_SEF_AVX512_4FMAPS excluded */
361 1.11 maxv CPUID_SEF_FSREP_MOV |
362 1.10 maxv /* CPUID_SEF_AVX512_VP2INTERSECT excluded */
363 1.10 maxv /* CPUID_SEF_SRBDS_CTRL excluded */
364 1.10 maxv CPUID_SEF_MD_CLEAR |
365 1.10 maxv /* CPUID_SEF_TSX_FORCE_ABORT excluded */
366 1.13 maxv CPUID_SEF_SERIALIZE |
367 1.10 maxv /* CPUID_SEF_HYBRID excluded */
368 1.10 maxv /* CPUID_SEF_TSXLDTRK excluded */
369 1.10 maxv /* CPUID_SEF_CET_IBT excluded */
370 1.10 maxv /* CPUID_SEF_IBRS excluded */
371 1.10 maxv /* CPUID_SEF_STIBP excluded */
372 1.10 maxv /* CPUID_SEF_L1D_FLUSH excluded */
373 1.10 maxv CPUID_SEF_ARCH_CAP
374 1.10 maxv /* CPUID_SEF_CORE_CAP excluded */
375 1.10 maxv /* CPUID_SEF_SSBD excluded */
376 1.3 maxv };
377 1.3 maxv
378 1.3 maxv const struct nvmm_x86_cpuid_mask nvmm_cpuid_80000001 = {
379 1.3 maxv .eax = ~0,
380 1.3 maxv .ebx = ~0,
381 1.3 maxv .ecx =
382 1.10 maxv CPUID_LAHF |
383 1.10 maxv CPUID_CMPLEGACY |
384 1.10 maxv /* CPUID_SVM excluded */
385 1.10 maxv /* CPUID_EAPIC excluded */
386 1.10 maxv CPUID_ALTMOVCR0 |
387 1.10 maxv CPUID_LZCNT |
388 1.10 maxv CPUID_SSE4A |
389 1.10 maxv CPUID_MISALIGNSSE |
390 1.10 maxv CPUID_3DNOWPF |
391 1.10 maxv /* CPUID_OSVW excluded */
392 1.10 maxv CPUID_IBS |
393 1.10 maxv CPUID_XOP |
394 1.11 maxv /* CPUID_SKINIT excluded */
395 1.10 maxv CPUID_WDT |
396 1.10 maxv CPUID_LWP |
397 1.10 maxv CPUID_FMA4 |
398 1.10 maxv CPUID_TCE |
399 1.10 maxv CPUID_NODEID |
400 1.10 maxv CPUID_TBM |
401 1.10 maxv CPUID_TOPOEXT |
402 1.10 maxv CPUID_PCEC |
403 1.10 maxv CPUID_PCENB |
404 1.10 maxv CPUID_SPM |
405 1.10 maxv CPUID_DBE |
406 1.10 maxv CPUID_PTSC |
407 1.8 maxv CPUID_L2IPERFC,
408 1.10 maxv /* CPUID_MWAITX excluded */
409 1.3 maxv .edx =
410 1.10 maxv CPUID_SYSCALL |
411 1.10 maxv CPUID_MPC |
412 1.10 maxv CPUID_XD |
413 1.10 maxv CPUID_MMXX |
414 1.10 maxv CPUID_MMX |
415 1.10 maxv CPUID_FXSR |
416 1.10 maxv CPUID_FFXSR |
417 1.10 maxv CPUID_P1GB |
418 1.10 maxv /* CPUID_RDTSCP excluded */
419 1.10 maxv CPUID_EM64T |
420 1.10 maxv CPUID_3DNOW2 |
421 1.3 maxv CPUID_3DNOW
422 1.3 maxv };
423 1.5 maxv
424 1.14 maxv const struct nvmm_x86_cpuid_mask nvmm_cpuid_80000007 = {
425 1.14 maxv .eax = 0,
426 1.14 maxv .ebx = 0,
427 1.14 maxv .ecx = 0,
428 1.14 maxv .edx = CPUID_APM_ITSC
429 1.14 maxv };
430 1.14 maxv
431 1.14 maxv const struct nvmm_x86_cpuid_mask nvmm_cpuid_80000008 = {
432 1.14 maxv .eax = ~0,
433 1.14 maxv .ebx =
434 1.14 maxv CPUID_CAPEX_CLZERO |
435 1.14 maxv /* CPUID_CAPEX_IRPERF excluded */
436 1.14 maxv CPUID_CAPEX_XSAVEERPTR |
437 1.14 maxv /* CPUID_CAPEX_RDPRU excluded */
438 1.14 maxv /* CPUID_CAPEX_MCOMMIT excluded */
439 1.14 maxv CPUID_CAPEX_WBNOINVD,
440 1.14 maxv .ecx = ~0, /* TODO? */
441 1.14 maxv .edx = 0
442 1.14 maxv };
443 1.14 maxv
444 1.5 maxv bool
445 1.5 maxv nvmm_x86_pat_validate(uint64_t val)
446 1.5 maxv {
447 1.5 maxv uint8_t *pat = (uint8_t *)&val;
448 1.5 maxv size_t i;
449 1.5 maxv
450 1.5 maxv for (i = 0; i < 8; i++) {
451 1.5 maxv if (__predict_false(pat[i] & ~__BITS(2,0)))
452 1.5 maxv return false;
453 1.5 maxv if (__predict_false(pat[i] == 2 || pat[i] == 3))
454 1.5 maxv return false;
455 1.5 maxv }
456 1.5 maxv
457 1.5 maxv return true;
458 1.5 maxv }
459