about summary refs log tree commit diff
path: root/manual
diff options
context:
space:
mode:
Diffstat (limited to 'manual')
-rw-r--r--manual/platform.texi3
1 files changed, 3 insertions, 0 deletions
diff --git a/manual/platform.texi b/manual/platform.texi
index 95b0ed0642..0dd12a4353 100644
--- a/manual/platform.texi
+++ b/manual/platform.texi
@@ -584,6 +584,9 @@ using a TSC deadline value.
 @code{TSXLDTRK} -- TSXLDTRK instructions.
 
 @item
+@code{UINTR} -- User interrupts.
+
+@item
 @code{UMIP} -- User-mode instruction prevention.
 
 @item