unsigned __get_FAULTMASK(void);
__get_FAULTMASK returns the value of the Cortex-M3/M4 FAULTMASK register.