Add AVX512 vpopcntdq information in xen-cpuid.c
Signed-off-by: He Chen <he.c...@linux.intel.com>
---
tools/misc/xen-cpuid.c | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/tools/misc/xen-cpuid.c b/tools/misc/xen-cpuid.c
index 5d66e94..106be0f 100644
--- a/tools/misc/xen-cpuid.c
+++ b/tools/misc/xen-cpuid.c
@@ -124,7 +124,11 @@ static const char *str_7c0[32] =
[ 2] = "REZ", [ 3] = "pku",
[ 4] = "ospke",
- [5 ... 31] = "REZ",
+ [5 ... 13] = "REZ",
+
+ [14] = "avx512_vpopcntdq",
+
+ [15 ... 31] = "REZ",
};
static const char *str_e7d[32] =
--
2.7.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
