From 6332b148872675ae3907d51c0e3015067624bb37 Mon Sep 17 00:00:00 2001
From: Konstantin Belousov <kib@FreeBSD.org>
Date: Sat, 23 Dec 2017 21:32:50 +0000
Subject: [PATCH] Add missed AVX512VL (128 and 256 bit vector length) extension
 identification bit.

Sponsored by:	The FreeBSD Foundation
MFC after:	3 days
---
 sys/x86/include/specialreg.h | 1 +
 sys/x86/x86/identcpu.c       | 1 +
 2 files changed, 2 insertions(+)

diff --git a/sys/x86/include/specialreg.h b/sys/x86/include/specialreg.h
index 511056a362b9..0fa472f948aa 100644
--- a/sys/x86/include/specialreg.h
+++ b/sys/x86/include/specialreg.h
@@ -409,6 +409,7 @@
 #define	CPUID_STDEXT_AVX512CD	0x10000000
 #define	CPUID_STDEXT_SHA	0x20000000
 #define	CPUID_STDEXT_AVX512BW	0x40000000
+#define	CPUID_STDEXT_AVX512VL	0x80000000
 
 /*
  * CPUID instruction 7 Structured Extended Features, leaf 0 ecx info
diff --git a/sys/x86/x86/identcpu.c b/sys/x86/x86/identcpu.c
index 6a29ce26528f..8d4da42c83ac 100644
--- a/sys/x86/x86/identcpu.c
+++ b/sys/x86/x86/identcpu.c
@@ -963,6 +963,7 @@ printcpuinfo(void)
 				       "\035AVX512CD"
 				       "\036SHA"
 				       "\037AVX512BW"
+				       "\040AVX512VL"
 				       );
 			}