http://www.nuttx.org/Documentation/nuttx-2-inviolables.pdf