Index: src/trusted/validator_ragel/instruction_definitions/general_purpose_instructions.def |
diff --git a/src/trusted/validator_ragel/instruction_definitions/general_purpose_instructions.def b/src/trusted/validator_ragel/instruction_definitions/general_purpose_instructions.def |
index b1848841fe98e72fbae0cc7f98c7ba38ed85cd8a..80298da8dcd7b46f65fdd786cefefee5a4db8747 100644 |
--- a/src/trusted/validator_ragel/instruction_definitions/general_purpose_instructions.def |
+++ b/src/trusted/validator_ragel/instruction_definitions/general_purpose_instructions.def |
@@ -477,7 +477,7 @@ movmskpd Upd Gy, 0x66 0x0f 0x50, CPUFeature_SSE2 |
# for "Gy" and "Gd" operands. We use objdump's description. |
movmskps Ups Gy, 0x0f 0x50, CPUFeature_SSE |
######## MOVNTI ################################################################ |
-movnti Gy My, 0x0f 0xc3, CPUFeature_SSE2 |
+movnti Gy My, 0x0f 0xc3, CPUFeature_SSE2 nacl-forbid-or-rewrite |
######## MOVS/MOVSB/MOVSW/MOVSD/MOVSQ ########################################## |
movs X Y, 0xa4, rep nacl-amd64-forbidden |
######## MOVSX ################################################################# |