Home | History | Annotate | Line # | Download | only in x86
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