Nonstandard functions in mathlib

See the following topics for nonstandard mathlib functions:

Copyright © 2010-2012 ARM. All rights reserved.ARM DUI 0475H
Non-ConfidentialID070912