From 231bf916ce9572776df0b5f197b57739c1ddc7ac Mon Sep 17 00:00:00 2001
From: "H.J. Lu" <hjl.tools@gmail.com>
Date: Wed, 5 Apr 2023 09:21:33 -0700
Subject: <sys/platform/x86.h>: Add RAO-INT support

Add RAO-INT 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 b72518e..a6e33b1 100644
--- a/manual/platform.texi
+++ b/manual/platform.texi
@@ -517,6 +517,9 @@ extended state management using XSAVE/XRSTOR.
 @code{PTWRITE} -- PTWRITE instruction.
 
 @item
+@code{RAO_INT} -- RAO-INT instructions.
+
+@item
 @code{RDPID} -- RDPID instruction.
 
 @item
-- 
cgit v1.1