diff options
| author | Konstantin Belousov <kib@FreeBSD.org> | 2019-02-04 23:57:59 +0000 |
|---|---|---|
| committer | Konstantin Belousov <kib@FreeBSD.org> | 2019-02-04 23:57:59 +0000 |
| commit | ccc2d07e776d1d014b27d01cc5eaf4e0d4fd811c (patch) | |
| tree | 96691dc0068e3cb3646a20df5d70b0dccf3d9586 | |
| parent | 52467047aa7dd6d21f6303b28e4278cab2d8fe48 (diff) | |
| download | src-test2-ccc2d07e776d1d014b27d01cc5eaf4e0d4fd811c.tar.gz src-test2-ccc2d07e776d1d014b27d01cc5eaf4e0d4fd811c.zip | |
Notes
| -rw-r--r-- | sys/x86/include/specialreg.h | 6 | ||||
| -rw-r--r-- | sys/x86/x86/identcpu.c | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/sys/x86/include/specialreg.h b/sys/x86/include/specialreg.h index 2ccffee6ddfd..5e223fa60de6 100644 --- a/sys/x86/include/specialreg.h +++ b/sys/x86/include/specialreg.h @@ -436,7 +436,12 @@ #define CPUID_STDEXT2_UMIP 0x00000004 #define CPUID_STDEXT2_PKU 0x00000008 #define CPUID_STDEXT2_OSPKE 0x00000010 +#define CPUID_STDEXT2_WAITPKG 0x00000020 +#define CPUID_STDEXT2_GFNI 0x00000100 #define CPUID_STDEXT2_RDPID 0x00400000 +#define CPUID_STDEXT2_CLDEMOTE 0x02000000 +#define CPUID_STDEXT2_MOVDIRI 0x08000000 +#define CPUID_STDEXT2_MOVDIRI64B 0x10000000 #define CPUID_STDEXT2_SGXLC 0x40000000 /* @@ -446,6 +451,7 @@ #define CPUID_STDEXT3_STIBP 0x08000000 #define CPUID_STDEXT3_L1D_FLUSH 0x10000000 #define CPUID_STDEXT3_ARCH_CAP 0x20000000 +#define CPUID_STDEXT3_CORE_CAP 0x40000000 #define CPUID_STDEXT3_SSBD 0x80000000 /* MSR IA32_ARCH_CAP(ABILITIES) bits */ diff --git a/sys/x86/x86/identcpu.c b/sys/x86/x86/identcpu.c index b46f7cdcd630..f38cc2688804 100644 --- a/sys/x86/x86/identcpu.c +++ b/sys/x86/x86/identcpu.c @@ -981,7 +981,12 @@ printcpuinfo(void) "\003UMIP" "\004PKU" "\005OSPKE" + "\006WAITPKG" + "\011GFNI" "\027RDPID" + "\032CLDEMOTE" + "\034MOVDIRI" + "\035MOVDIRI64B" "\037SGXLC" ); } @@ -994,6 +999,7 @@ printcpuinfo(void) "\034STIBP" "\035L1DFL" "\036ARCH_CAP" + "\037CORE_CAP" "\040SSBD" ); } |