A mechanism to identify/forbid/"rewrite" non-temporal instructions (and other)

src/trusted/validator_ragel/validator_x86_64.rl

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;
   }