* Instructions of Book I added to Section 3.3.9.1
----------------
+[[!tag opf_rfc]]
\newpage{}
divmod2du r4, r0, r1, r2
```
-[[!tag opf_rfc]]
+# VA2-Form
+
+Add the following to Book I, 1.6.21.1, VA2-Form
+
+```
+|0 |6 |11 |16 |21 |24|26 |31 |
+| PO | RT | RA | RB | RC | XO | Rc |
+```
+
+Add `RA` to `XO` Field in Book I, 1.6.2
+
+```
+RA (11:15)
+ Field used to specify a GPR to be used as a
+ source or as a target.
+ Formats: A, BM2, D, DQ, DQE, DS, M, MD, MDS, TX, VA, VA2,
+ VX, X, XO, XS, SVL, XB, TLI, Z23
+```
+
+*TODO* other fields `RT, RB, RC, XO, and Rc`, see
+<https://git.libre-soc.org/?p=openpower-isa.git;a=blob;f=openpower/isatables/fields.text;hb=HEAD>
# Appendices