For detailed information on the IA-64 machine instruction set, see the IA-64 Architecture Handbook.
The text of the Arduino reference is licensed under a Creative Commons Attribution-ShareAlike 3.0 License. Code samples in the reference are released into the public domain.