Index: src/trusted/validator_ragel/validator_x86_64.rl |
diff --git a/src/trusted/validator_ragel/validator_x86_64.rl b/src/trusted/validator_ragel/validator_x86_64.rl |
index f3bed8406e2b8507fc72765e6f8338f78a3bf095..efc421786f042d1e5b216ea90903ab183ea2ff71 100644 |
--- a/src/trusted/validator_ragel/validator_x86_64.rl |
+++ b/src/trusted/validator_ragel/validator_x86_64.rl |
@@ -70,6 +70,10 @@ |
&instruction_info_collected); |
} |
+ action forbid_or_rewrite_instruction { |
+ instruction_info_collected |= FORBID_OR_REWRITE_INSTRUCTION; |
+ } |
+ |
action modifiable_instruction { |
instruction_info_collected |= MODIFIABLE_INSTRUCTION; |
} |