<sys/platform/x86.h>: Add LA57 support

Add 57-bit linear addresses and five-level paging (LA57) support to
<sys/platform/x86.h>.
Reviewed-by: Noah Goldstein <goldstein.w.n@gmail.com>

diff --git a/manual/platform.texi b/manual/platform.texi
index c1cef57..9251b63 100644 (file)
--- a/manual/platform.texi
+++ b/manual/platform.texi
@@ -395,6 +395,9 @@ the indirect branch predictor barrier (IBPB).
 @code{L1D_FLUSH} -- IA32_FLUSH_CMD MSR.
 
 @item
+@code{LA57} -- 57-bit linear addresses and five-level paging.
+
+@item
 @code{LAHF64_SAHF64} -- LAHF/SAHF available in 64-bit mode.
 
 @item

diff --git a/sysdeps/x86/bits/platform/x86.h b/sysdeps/x86/bits/platform/x86.h
index 1ed24d7..c9189fa 100644 (file)
--- a/sysdeps/x86/bits/platform/x86.h
+++ b/sysdeps/x86/bits/platform/x86.h
@@ -182,7 +182,7 @@ enum
   x86_cpu_INDEX_7_ECX_13       = x86_cpu_index_7_ecx + 13,
   x86_cpu_AVX512_VPOPCNTDQ     = x86_cpu_index_7_ecx + 14,
   x86_cpu_INDEX_7_ECX_15       = x86_cpu_index_7_ecx + 15,
-  x86_cpu_INDEX_7_ECX_16       = x86_cpu_index_7_ecx + 16,
+  x86_cpu_LA57                 = x86_cpu_index_7_ecx + 16,
 /* Note: Bits 17-21: The value of MAWAU used by the BNDLDX and BNDSTX
    instructions in 64-bit mode.  */
   x86_cpu_RDPID                        = x86_cpu_index_7_ecx + 22,

diff --git a/sysdeps/x86/tst-get-cpu-features.c b/sysdeps/x86/tst-get-cpu-features.c
index 1954698..5f5cd3e 100644 (file)
--- a/sysdeps/x86/tst-get-cpu-features.c
+++ b/sysdeps/x86/tst-get-cpu-features.c
@@ -144,6 +144,7 @@ do_test (void)
   CHECK_CPU_FEATURE_PRESENT (AVX512_VNNI);
   CHECK_CPU_FEATURE_PRESENT (AVX512_BITALG);
   CHECK_CPU_FEATURE_PRESENT (AVX512_VPOPCNTDQ);
+  CHECK_CPU_FEATURE_PRESENT (LA57);
   CHECK_CPU_FEATURE_PRESENT (RDPID);
   CHECK_CPU_FEATURE_PRESENT (KL);
   CHECK_CPU_FEATURE_PRESENT (CLDEMOTE);