*TODO* Explain about ARM register naming, and the predefined names.
This document was generated by Build Daemon user on October, 25 2005 using texi2html 1.76.