Home | History | Annotate | Line # | Download | only in x86
nvmm_x86.c revision 1.7.4.8
      1  1.7.4.8  martin /*	$NetBSD: nvmm_x86.c,v 1.7.4.8 2022/10/15 10:08:40 martin Exp $	*/
      2      1.1    maxv 
      3      1.1    maxv /*
      4  1.7.4.3  martin  * 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.7.4.8  martin __KERNEL_RCSID(0, "$NetBSD: nvmm_x86.c,v 1.7.4.8 2022/10/15 10:08:40 martin 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.7.4.3  martin 	    CPUID2_SSE3 |
    237  1.7.4.7  martin 	    CPUID2_PCLMULQDQ |
    238  1.7.4.6  martin 	    /* CPUID2_DTES64 excluded */
    239  1.7.4.3  martin 	    /* CPUID2_MONITOR excluded */
    240  1.7.4.6  martin 	    /* CPUID2_DS_CPL excluded */
    241  1.7.4.3  martin 	    /* CPUID2_VMX excluded */
    242  1.7.4.3  martin 	    /* CPUID2_SMX excluded */
    243  1.7.4.3  martin 	    /* CPUID2_EST excluded */
    244  1.7.4.3  martin 	    /* CPUID2_TM2 excluded */
    245  1.7.4.3  martin 	    CPUID2_SSSE3 |
    246  1.7.4.7  martin 	    /* CPUID2_CNXTID excluded */
    247  1.7.4.6  martin 	    /* CPUID2_SDBG excluded */
    248  1.7.4.3  martin 	    CPUID2_FMA |
    249  1.7.4.3  martin 	    CPUID2_CX16 |
    250  1.7.4.7  martin 	    /* CPUID2_XTPR excluded */
    251  1.7.4.3  martin 	    /* CPUID2_PDCM excluded */
    252  1.7.4.3  martin 	    /* CPUID2_PCID excluded, but re-included in VMX */
    253  1.7.4.3  martin 	    /* CPUID2_DCA excluded */
    254  1.7.4.3  martin 	    CPUID2_SSE41 |
    255  1.7.4.3  martin 	    CPUID2_SSE42 |
    256  1.7.4.3  martin 	    /* CPUID2_X2APIC excluded */
    257  1.7.4.3  martin 	    CPUID2_MOVBE |
    258  1.7.4.3  martin 	    CPUID2_POPCNT |
    259  1.7.4.3  martin 	    /* CPUID2_DEADLINE excluded */
    260  1.7.4.7  martin 	    CPUID2_AESNI |
    261  1.7.4.3  martin 	    CPUID2_XSAVE |
    262  1.7.4.3  martin 	    CPUID2_OSXSAVE |
    263  1.7.4.3  martin 	    /* CPUID2_AVX excluded */
    264  1.7.4.3  martin 	    CPUID2_F16C |
    265  1.7.4.2  martin 	    CPUID2_RDRAND,
    266  1.7.4.3  martin 	    /* CPUID2_RAZ excluded */
    267      1.3    maxv 	.edx =
    268  1.7.4.3  martin 	    CPUID_FPU |
    269  1.7.4.3  martin 	    CPUID_VME |
    270  1.7.4.3  martin 	    CPUID_DE |
    271  1.7.4.3  martin 	    CPUID_PSE |
    272  1.7.4.3  martin 	    CPUID_TSC |
    273  1.7.4.3  martin 	    CPUID_MSR |
    274  1.7.4.3  martin 	    CPUID_PAE |
    275  1.7.4.3  martin 	    /* CPUID_MCE excluded */
    276  1.7.4.3  martin 	    CPUID_CX8 |
    277  1.7.4.3  martin 	    CPUID_APIC |
    278  1.7.4.3  martin 	    CPUID_SEP |
    279  1.7.4.3  martin 	    /* CPUID_MTRR excluded */
    280  1.7.4.3  martin 	    CPUID_PGE |
    281  1.7.4.3  martin 	    /* CPUID_MCA excluded */
    282  1.7.4.3  martin 	    CPUID_CMOV |
    283  1.7.4.3  martin 	    CPUID_PAT |
    284  1.7.4.3  martin 	    CPUID_PSE36 |
    285  1.7.4.7  martin 	    /* CPUID_PSN excluded */
    286  1.7.4.7  martin 	    CPUID_CLFSH |
    287  1.7.4.3  martin 	    /* CPUID_DS excluded */
    288  1.7.4.3  martin 	    /* CPUID_ACPI excluded */
    289  1.7.4.3  martin 	    CPUID_MMX |
    290  1.7.4.3  martin 	    CPUID_FXSR |
    291  1.7.4.3  martin 	    CPUID_SSE |
    292  1.7.4.3  martin 	    CPUID_SSE2 |
    293  1.7.4.3  martin 	    CPUID_SS |
    294  1.7.4.3  martin 	    CPUID_HTT |
    295  1.7.4.3  martin 	    /* CPUID_TM excluded */
    296  1.7.4.7  martin 	    CPUID_PBE
    297      1.3    maxv };
    298      1.3    maxv 
    299      1.3    maxv const struct nvmm_x86_cpuid_mask nvmm_cpuid_00000007 = {
    300      1.3    maxv 	.eax = ~0,
    301      1.3    maxv 	.ebx =
    302      1.3    maxv 	    CPUID_SEF_FSGSBASE |
    303  1.7.4.3  martin 	    /* CPUID_SEF_TSC_ADJUST excluded */
    304  1.7.4.4  martin 	    /* CPUID_SEF_SGX excluded */
    305  1.7.4.3  martin 	    CPUID_SEF_BMI1 |
    306  1.7.4.4  martin 	    /* CPUID_SEF_HLE excluded */
    307  1.7.4.3  martin 	    /* CPUID_SEF_AVX2 excluded */
    308  1.7.4.3  martin 	    CPUID_SEF_FDPEXONLY |
    309  1.7.4.3  martin 	    CPUID_SEF_SMEP |
    310  1.7.4.3  martin 	    CPUID_SEF_BMI2 |
    311  1.7.4.3  martin 	    CPUID_SEF_ERMS |
    312  1.7.4.3  martin 	    /* CPUID_SEF_INVPCID excluded, but re-included in VMX */
    313  1.7.4.4  martin 	    /* CPUID_SEF_RTM excluded */
    314  1.7.4.3  martin 	    /* CPUID_SEF_QM excluded */
    315  1.7.4.3  martin 	    CPUID_SEF_FPUCSDS |
    316  1.7.4.3  martin 	    /* CPUID_SEF_MPX excluded */
    317  1.7.4.3  martin 	    CPUID_SEF_PQE |
    318  1.7.4.3  martin 	    /* CPUID_SEF_AVX512F excluded */
    319  1.7.4.3  martin 	    /* CPUID_SEF_AVX512DQ excluded */
    320  1.7.4.3  martin 	    CPUID_SEF_RDSEED |
    321  1.7.4.3  martin 	    CPUID_SEF_ADX |
    322  1.7.4.3  martin 	    CPUID_SEF_SMAP |
    323  1.7.4.3  martin 	    /* CPUID_SEF_AVX512_IFMA excluded */
    324  1.7.4.3  martin 	    CPUID_SEF_CLFLUSHOPT |
    325  1.7.4.2  martin 	    CPUID_SEF_CLWB,
    326  1.7.4.3  martin 	    /* CPUID_SEF_PT excluded */
    327  1.7.4.3  martin 	    /* CPUID_SEF_AVX512PF excluded */
    328  1.7.4.3  martin 	    /* CPUID_SEF_AVX512ER excluded */
    329  1.7.4.3  martin 	    /* CPUID_SEF_AVX512CD excluded */
    330  1.7.4.3  martin 	    /* CPUID_SEF_SHA excluded */
    331  1.7.4.3  martin 	    /* CPUID_SEF_AVX512BW excluded */
    332  1.7.4.3  martin 	    /* CPUID_SEF_AVX512VL excluded */
    333      1.3    maxv 	.ecx =
    334  1.7.4.3  martin 	    CPUID_SEF_PREFETCHWT1 |
    335  1.7.4.3  martin 	    /* CPUID_SEF_AVX512_VBMI excluded */
    336  1.7.4.3  martin 	    CPUID_SEF_UMIP |
    337  1.7.4.4  martin 	    /* CPUID_SEF_PKU excluded */
    338  1.7.4.4  martin 	    /* CPUID_SEF_OSPKE excluded */
    339  1.7.4.4  martin 	    /* CPUID_SEF_WAITPKG excluded */
    340  1.7.4.3  martin 	    /* CPUID_SEF_AVX512_VBMI2 excluded */
    341  1.7.4.3  martin 	    /* CPUID_SEF_CET_SS excluded */
    342  1.7.4.3  martin 	    CPUID_SEF_GFNI |
    343  1.7.4.3  martin 	    CPUID_SEF_VAES |
    344  1.7.4.3  martin 	    CPUID_SEF_VPCLMULQDQ |
    345  1.7.4.3  martin 	    /* CPUID_SEF_AVX512_VNNI excluded */
    346  1.7.4.3  martin 	    /* CPUID_SEF_AVX512_BITALG excluded */
    347  1.7.4.3  martin 	    /* CPUID_SEF_AVX512_VPOPCNTDQ excluded */
    348  1.7.4.3  martin 	    /* CPUID_SEF_MAWAU excluded */
    349  1.7.4.3  martin 	    /* CPUID_SEF_RDPID excluded */
    350  1.7.4.3  martin 	    CPUID_SEF_CLDEMOTE |
    351  1.7.4.3  martin 	    CPUID_SEF_MOVDIRI |
    352  1.7.4.4  martin 	    CPUID_SEF_MOVDIR64B,
    353  1.7.4.4  martin 	    /* CPUID_SEF_SGXLC excluded */
    354  1.7.4.3  martin 	    /* CPUID_SEF_PKS excluded */
    355      1.3    maxv 	.edx =
    356  1.7.4.3  martin 	    /* CPUID_SEF_AVX512_4VNNIW excluded */
    357  1.7.4.3  martin 	    /* CPUID_SEF_AVX512_4FMAPS excluded */
    358  1.7.4.8  martin 	    CPUID_SEF_FSRM |
    359  1.7.4.3  martin 	    /* CPUID_SEF_AVX512_VP2INTERSECT excluded */
    360  1.7.4.3  martin 	    /* CPUID_SEF_SRBDS_CTRL excluded */
    361  1.7.4.3  martin 	    CPUID_SEF_MD_CLEAR |
    362  1.7.4.3  martin 	    /* CPUID_SEF_TSX_FORCE_ABORT excluded */
    363  1.7.4.4  martin 	    CPUID_SEF_SERIALIZE |
    364  1.7.4.3  martin 	    /* CPUID_SEF_HYBRID excluded */
    365  1.7.4.3  martin 	    /* CPUID_SEF_TSXLDTRK excluded */
    366  1.7.4.3  martin 	    /* CPUID_SEF_CET_IBT excluded */
    367  1.7.4.3  martin 	    /* CPUID_SEF_IBRS excluded */
    368  1.7.4.3  martin 	    /* CPUID_SEF_STIBP excluded */
    369  1.7.4.3  martin 	    /* CPUID_SEF_L1D_FLUSH excluded */
    370  1.7.4.3  martin 	    CPUID_SEF_ARCH_CAP
    371  1.7.4.3  martin 	    /* CPUID_SEF_CORE_CAP excluded */
    372  1.7.4.3  martin 	    /* CPUID_SEF_SSBD excluded */
    373      1.3    maxv };
    374      1.3    maxv 
    375      1.3    maxv const struct nvmm_x86_cpuid_mask nvmm_cpuid_80000001 = {
    376      1.3    maxv 	.eax = ~0,
    377      1.3    maxv 	.ebx = ~0,
    378      1.3    maxv 	.ecx =
    379  1.7.4.3  martin 	    CPUID_LAHF |
    380  1.7.4.3  martin 	    CPUID_CMPLEGACY |
    381  1.7.4.3  martin 	    /* CPUID_SVM excluded */
    382  1.7.4.3  martin 	    /* CPUID_EAPIC excluded */
    383  1.7.4.3  martin 	    CPUID_ALTMOVCR0 |
    384  1.7.4.7  martin 	    CPUID_ABM |
    385  1.7.4.3  martin 	    CPUID_SSE4A |
    386  1.7.4.3  martin 	    CPUID_MISALIGNSSE |
    387  1.7.4.3  martin 	    CPUID_3DNOWPF |
    388  1.7.4.3  martin 	    /* CPUID_OSVW excluded */
    389  1.7.4.5  martin 	    /* CPUID_IBS excluded */
    390  1.7.4.3  martin 	    CPUID_XOP |
    391  1.7.4.4  martin 	    /* CPUID_SKINIT excluded */
    392  1.7.4.5  martin 	    /* CPUID_WDT excluded */
    393  1.7.4.5  martin 	    /* CPUID_LWP excluded */
    394  1.7.4.3  martin 	    CPUID_FMA4 |
    395  1.7.4.3  martin 	    CPUID_TCE |
    396  1.7.4.5  martin 	    /* CPUID_NODEID excluded */
    397  1.7.4.3  martin 	    CPUID_TBM |
    398  1.7.4.5  martin 	    CPUID_TOPOEXT,
    399  1.7.4.5  martin 	    /* CPUID_PCEC excluded */
    400  1.7.4.5  martin 	    /* CPUID_PCENB excluded */
    401  1.7.4.5  martin 	    /* CPUID_SPM excluded */
    402  1.7.4.5  martin 	    /* CPUID_DBE excluded */
    403  1.7.4.5  martin 	    /* CPUID_PTSC excluded */
    404  1.7.4.5  martin 	    /* CPUID_L2IPERFC excluded */
    405  1.7.4.3  martin 	    /* CPUID_MWAITX excluded */
    406      1.3    maxv 	.edx =
    407  1.7.4.3  martin 	    CPUID_SYSCALL |
    408  1.7.4.3  martin 	    CPUID_MPC |
    409  1.7.4.3  martin 	    CPUID_XD |
    410  1.7.4.3  martin 	    CPUID_MMXX |
    411  1.7.4.7  martin 	    CPUID_MMX |
    412  1.7.4.3  martin 	    CPUID_FXSR |
    413  1.7.4.3  martin 	    CPUID_FFXSR |
    414  1.7.4.7  martin 	    CPUID_PAGE1GB |
    415  1.7.4.3  martin 	    /* CPUID_RDTSCP excluded */
    416  1.7.4.3  martin 	    CPUID_EM64T |
    417  1.7.4.3  martin 	    CPUID_3DNOW2 |
    418      1.3    maxv 	    CPUID_3DNOW
    419      1.3    maxv };
    420      1.5    maxv 
    421  1.7.4.4  martin const struct nvmm_x86_cpuid_mask nvmm_cpuid_80000007 = {
    422  1.7.4.4  martin 	.eax = 0,
    423  1.7.4.4  martin 	.ebx = 0,
    424  1.7.4.4  martin 	.ecx = 0,
    425  1.7.4.4  martin 	.edx = CPUID_APM_ITSC
    426  1.7.4.4  martin };
    427  1.7.4.4  martin 
    428  1.7.4.4  martin const struct nvmm_x86_cpuid_mask nvmm_cpuid_80000008 = {
    429  1.7.4.4  martin 	.eax = ~0,
    430  1.7.4.4  martin 	.ebx =
    431  1.7.4.4  martin 	    CPUID_CAPEX_CLZERO |
    432  1.7.4.4  martin 	    /* CPUID_CAPEX_IRPERF excluded */
    433  1.7.4.4  martin 	    CPUID_CAPEX_XSAVEERPTR |
    434  1.7.4.4  martin 	    /* CPUID_CAPEX_RDPRU excluded */
    435  1.7.4.4  martin 	    /* CPUID_CAPEX_MCOMMIT excluded */
    436  1.7.4.4  martin 	    CPUID_CAPEX_WBNOINVD,
    437  1.7.4.4  martin 	.ecx = ~0, /* TODO? */
    438  1.7.4.4  martin 	.edx = 0
    439  1.7.4.4  martin };
    440  1.7.4.4  martin 
    441      1.5    maxv bool
    442      1.5    maxv nvmm_x86_pat_validate(uint64_t val)
    443      1.5    maxv {
    444      1.5    maxv 	uint8_t *pat = (uint8_t *)&val;
    445      1.5    maxv 	size_t i;
    446      1.5    maxv 
    447      1.5    maxv 	for (i = 0; i < 8; i++) {
    448      1.5    maxv 		if (__predict_false(pat[i] & ~__BITS(2,0)))
    449      1.5    maxv 			return false;
    450      1.5    maxv 		if (__predict_false(pat[i] == 2 || pat[i] == 3))
    451      1.5    maxv 			return false;
    452      1.5    maxv 	}
    453      1.5    maxv 
    454      1.5    maxv 	return true;
    455      1.5    maxv }
    456