diff options
Diffstat (limited to 'manual/platform.texi')
| -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 9251b63e47..78ee39f650 100644 --- a/manual/platform.texi +++ b/manual/platform.texi @@ -277,6 +277,9 @@ extensions. @code{BMI2} -- BMI2 instructions. @item +@code{BUS_LOCK_DETECT} -- Bus lock debug exceptions. + +@item @code{CLDEMOTE} -- CLDEMOTE instruction. @item |