Add documentation for the dynamic code modifications.

src/trusted/validator_ragel/unreviewed/files64.dot

Index: src/trusted/validator_ragel/unreviewed/files64.dot
===================================================================
--- src/trusted/validator_ragel/unreviewed/files64.dot	(revision 0)
+++ src/trusted/validator_ragel/unreviewed/files64.dot	(revision 0)
@@ -0,0 +1,41 @@
+digraph files64 {
+	node [shape=tab];
+	def_files [label=<
+	  <table border="0">
+	    <tr><td align="left">general_purpose_instructions.def</td></tr>
+	    <tr><td align="left">mmx_instructions.def</td></tr>
+	    <tr><td align="left">nops.def</td></tr>
+	    <tr><td align="left">system_instructions.def</td></tr>
+	    <tr><td align="left">x87_instructions.def</td></tr>
+	    <tr><td align="left">xmm_instructions.def</td></tr></table>
+	> style="filled" fillcolor="lightgray"];
+	gen_dfa_cc [label="gen_dfa.cc" style="filled" fillcolor="lightgray"];
+	byte_machines_py [label="byte_machines.py" style="filled" fillcolor="lightgray"];
+	parse_instruction_rl [label="parse_instruction.rl" style="filled" fillcolor="lightgray"];
+	validator_x86_64_rl [label="validator_x86_64.rl" style="filled" fillcolor="lightgray"];
+	validator_internal_h [label="validator_internal.h" style="filled" fillcolor="lightgray"];
+	node [shape="invtrapezium"];
+	gen_dfa [label="gen_dfa" style="filled" fillcolor="gray"];
+	ragel [label="ragel" style="filled" fillcolor="gray"];
+	gcc [label="gcc" style="filled" fillcolor="gray"];
+	node [shape=rect];
+	validator_x86_64_c [label="validator_x86_64.c"];
+	validator_x86_64_instruction_rl [label="validator_x86_64_instruction.rl"];
+	validator_x86_64_instruction_consts_c [label="validator_x86_64_instruction_consts.c"];
+	byte_machines_rl [label="byte_machines.rl"];
+	validator_x86_64_o [label="validator_x86_64.o"];
+	def_files -> gen_dfa [color="black:black"];
+	gen_dfa_cc -> gen_dfa [label="g++" weight="0"];
+	gen_dfa -> validator_x86_64_instruction_rl [color="black:black"];
+	gen_dfa -> validator_x86_64_instruction_consts_c [color="black:black" weight="2"];
+	byte_machines_py -> byte_machines_rl [label="python" weight="0"];
+	byte_machines_rl -> ragel [color="black:black"];
+	parse_instruction_rl -> ragel [color="black:black" weight="0"];
+	validator_x86_64_rl -> ragel [color="black:black" weight="0"];
+	validator_x86_64_instruction_rl -> ragel [color="black:black"];
+	ragel -> validator_x86_64_c [color="black:black"];
+	validator_x86_64_instruction_consts_c -> gcc [color="black:black" weight="2"];
+	validator_x86_64_c -> gcc [color="black:black"];
+	validator_internal_h -> gcc [color="black:black"];
+	gcc -> validator_x86_64_o [color="black:black"];
+}