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