From 8c8e39116604fcd1101658f31dd136754a4aca6e Mon Sep 17 00:00:00 2001
From: "H.J. Lu" <hjl.tools@gmail.com>
Date: Wed, 5 Apr 2023 09:21:28 -0700
Subject: <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>
---
 manual/platform.texi | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'manual')

diff --git a/manual/platform.texi b/manual/platform.texi
index c1cef57..9251b63 100644
--- 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
-- 
cgit v1.1