diff --git a/chap-cheri-x86-64.tex b/chap-cheri-x86-64.tex index 0846a46c..a525025f 100644 --- a/chap-cheri-x86-64.tex +++ b/chap-cheri-x86-64.tex @@ -651,7 +651,7 @@ \subsection{New CHERI Instructions} Existing general-purpose x86 instructions support two operands rather than three operands. To avoid requiring a \VEX{} prefix for all new CHERI instructions, most instructions are defined with two operands -rather than three. New instructions thatrequire three operands must +rather than three. New instructions that require three operands must be encoded using a \VEX{} prefix. Note that all of these instructions would only be valid in 64-bit mode