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

Add WRMSRNS 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 ecee3a7..af79f5e 100644
--- a/manual/platform.texi
+++ b/manual/platform.texi
@@ -680,6 +680,9 @@ using a TSC deadline value.
 @code{WIDE_KL} -- AES wide Key Locker instructions.
 
 @item
+@code{WRMSRNS} -- WRMSRNS instruction.
+
+@item
 @code{X2APIC} -- x2APIC.
 
 @item
-- 
cgit v1.1