http://nuttx.org/Documentation/Arm-151012.pdf