diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/platform.texi | 3 |
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 |